Sciweavers

Share
SEMWEB
2010
Springer

Justification Oriented Proofs in OWL

8 years 6 months ago
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.
Matthew Horridge, Bijan Parsia, Ulrike Sattler
Added 15 Feb 2011
Updated 15 Feb 2011
Type Journal
Year 2010
Where SEMWEB
Authors Matthew Horridge, Bijan Parsia, Ulrike Sattler
Comments (0)
books