Laconic and Precise Justifications in OWL
Published on Nov 24, 20087634 Views
A justification for an entailment in an OWL ontology is a minimal subset of the ontology that is sufficient for that entailment to hold. Since justifications respect the syntactic form of axioms in an