Finding all justifications of OWL DL entailments

Authors:
Aditya Kalyanpur;Bijan Parsia;Matthew Horridge;Evren Sirin
Affiliations:
IBM Watson Research Center, Hawthorne, NY;School of Computer Science, University of Manchester, UK;School of Computer Science, University of Manchester, UK;Clark & Parsia LLC, Washington, DC
Venue:
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Year:
2007

Citing 7
Cited 46

A theory of diagnosis from first principles

Artificial Intelligence
Creating Semantic Web Contents with Protégé-2000

IEEE Intelligent Systems
Debugging Incoherent Terminologies

Journal of Automated Reasoning
Non-standard reasoning services for the debugging of description logic terminologies

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Debugging unsatisfiable classes in OWL ontologies

Web Semantics: Science, Services and Agents on the World Wide Web
Swoop: A Web Ontology Editing Browser

Web Semantics: Science, Services and Agents on the World Wide Web
Repairing unsatisfiable concepts in OWL ontologies

ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications

Learning Disjointness for Debugging Mappings between Lightweight Ontologies

EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach

ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A Kernel Revision Operator for Terminologies -- Algorithms and Evaluation

ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments

ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Dynamic Change Evaluation for Ontology Evolution in the Semantic Web

WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences

ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
RaDON -- Repair and Diagnosis in Ontology Networks

ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Explaining Inconsistencies in OWL Ontologies

SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Scalable highly expressive reasoner (SHER)

Web Semantics: Science, Services and Agents on the World Wide Web
A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms

ISWC '09 Proceedings of the 8th International Semantic Web Conference
Goal-Directed Module Extraction for Explaining OWL DL Entailments

ISWC '09 Proceedings of the 8th International Semantic Web Conference
Ontology Evaluation through Assessment of Inferred Statements: Study of a Prototypical Implementation of an Ontology Questionnaire for OWL DL Ontologies

KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
A Relevance-Directed Algorithm for Finding Justifications of DL Entailments

ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Incremental Classification of Description Logics Ontologies

Journal of Automated Reasoning
Evidential reasoning for the treatment of incoherent terminologies

Proceedings of the 2010 ACM Symposium on Applied Computing
Automata-Based Axiom Pinpointing

Journal of Automated Reasoning
Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Reasoning and explanation in EL and in expressive description logics

ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Model driven engineering with ontology technologies

ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Query-based access control for ontologies

RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Supporting concurrent ontology development: Framework, algorithms and tool

Data & Knowledge Engineering
Justification oriented proofs in OWL

ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Query strategy for sequential ontology debugging

ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Completeness guarantees for incomplete reasoners

ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
ORE - a tool for repairing and enriching knowledge bases

ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
Elimination of redundancy in ontologies

ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
Using provenance to debug changing ontologies

Web Semantics: Science, Services and Agents on the World Wide Web
The justificatory structure of the NCBO bioportal ontologies

ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Finding all justifications of OWL entailments using TMS and MapReduce

Proceedings of the 20th ACM international conference on Information and knowledge management
Categorising logical differences between OWL ontologies

Proceedings of the 20th ACM international conference on Information and knowledge management
An algorithm for axiom pinpointing in EL+ and its incremental variant

Proceedings of the 20th ACM international conference on Information and knowledge management
Context-dependent views to axioms and consequences of Semantic Web ontologies

Web Semantics: Science, Services and Agents on the World Wide Web
Interactive ontology debugging: Two query strategies for efficient fault localization

Web Semantics: Science, Services and Agents on the World Wide Web
A generic approach for correcting access restrictions to a consequence

ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
An algorithm for adapting cases represented in ALC

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Logical invalidations of semantic annotations

CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
A method of contrastive reasoning with inconsistent ontologies

JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
An efficient approach to debugging ontologies based on patterns

JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
The logical difference for the lightweight description logic EL

Journal of Artificial Intelligence Research
Performance heterogeneity and approximate reasoning in description logic ontologies

ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Extracting justifications from bioportal ontologies

ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Towards Practical ABox Abduction in Large Description Logic Ontologies

International Journal on Semantic Web & Information Systems
Computing incoherence explanations for learned ontologies

RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
RIO: minimizing user interaction in ontology debugging

RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
BUNDLE: a reasoner for probabilistic ontologies

RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Introductions to description logics: a guided tour

RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access

Quantified Score

Hi-index	0.00

Visualization

Abstract

Finding the justifications of an entailment (that is, all the minimal set of axioms sufficient to produce an entailment) has emerged as a key inference service for the Web Ontology Language (OWL). Justifications are essential for debugging unsatisfiable classes and contradictions. The availability of justifications as explanations of entailments improves the understandability of large and complex ontologies. In this paper, we present several algorithms for computing all the justifications of an entailment in an OWL-DL Ontology and show, by an empirical evaluation, that even a reasoner independent approach works well on real ontologies.