Justification Oriented Proofs in OWL

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.

• Type: Journal
• Year: 2010
• Where: SEMWEB
• Authors: Matthew Horridge, Bijan Parsia, Ulrike Sattler
• Keywords: Internet Technology, Minimal Entailing Subsets, Ontology, SEMWEB 2010, Web Ontology Language