Abstract
Justifications - that is, minimal entailing subsets of an ontology - are currently the dominant form of explanation provided by ontology engineering environments, especially those focused on the Web Ontology Language (OWL). Despite this, there are naturally occurring justifications that can be very difficult to understand. In essence, justifications are merely the premises of a proof and, as such, do not articulate the (often non-obvious) reasoning which connect those premises with the conclusion. This paper presents justification oriented proofs as a potential solution to this problem. © 2010 Springer-Verlag.
Cite
CITATION STYLE
Horridge, M., Parsia, B., & Sattler, U. (2010). Justification oriented proofs in OWL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6496 LNCS, pp. 354–369). Springer Verlag. https://doi.org/10.1007/978-3-642-17746-0_23
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
