Justification oriented proofs in OWL

Authors:
Matthew Horridge;Bijan Parsia;Ulrike Sattler
Affiliations:
School of Computer Science, The University of Manchester;School of Computer Science, The University of Manchester;School of Computer Science, The University of Manchester
Venue:
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Year:
2010

Citing 8
Cited 9

A Structure-preserving Clause Form Translation

Journal of Symbolic Computation
Reconstruction Proofs at the Assertion Level

CADE-12 Proceedings of the 12th International Conference on Automated Deduction
The Role of Cognitive Science in Knowledge Engineering

Proceedings of the First Joint Workshop on Contemporary Knowledge Engineering and Cognition
Debugging and repair of owl ontologies

Debugging and repair of owl ontologies
The Description Logic Handbook

The Description Logic Handbook
Optimized Reasoning in Description Logics Using Hypertableaux

CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Laconic and Precise Justifications in OWL

ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Finding all justifications of OWL DL entailments

ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference

Quality assurance of the content of a large DL-based terminology using mixed lexical and semantic criteria: experience with SNOMED CT

Proceedings of the sixth international conference on Knowledge capture
The cognitive complexity of OWL justifications

ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Comparison of reasoners for large ontologies in the OWL 2 EL profile

Semantic Web
The logical difference for the lightweight description logic EL

Journal of Artificial Intelligence Research
Planning accessible explanations for entailments in OWL ontologies

INLG '12 Proceedings of the Seventh International Natural Language Generation Conference
OWL RL in logic programming: querying, reasoning and inconsistency explanations

RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Arguing with justifications between collaborating agents

ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
Axioms & templates: distinctions & transformationsamongst ontologies, frames, & information models

Proceedings of the seventh international conference on Knowledge capture
Toward cognitive support for OWL justifications

Knowledge-Based Systems

Quantified Score

Hi-index	0.00

Visualization

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.