A Structure-preserving Clause Form Translation
Journal of Symbolic Computation
Debugging and repair of owl ontologies
Debugging and repair of owl ontologies
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Measuring Inconsistencies in Ontologies
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Optimized Reasoning in Description Logics Using Hypertableaux
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Pinpointing in the Description Logic $\mathcal {EL}^+$
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Finding maximally satisfiable terminologies for the description logic ALC
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Embedding Knowledge Patterns into OWL
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Semantically-Aided Business Process Modeling
ISWC '09 Proceedings of the 8th International Semantic Web Conference
GeoS '09 Proceedings of the 3rd International Conference on GeoSpatial Semantics
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
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
Dependencies between ontology design parameters
International Journal of Metadata, Semantics and Ontologies
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Supporting concurrent ontology development: Framework, algorithms and tool
Data & Knowledge Engineering
ABox Abduction in the Description Logic $\boldsymbol{\mathcal{ALC}}$
Journal of Automated Reasoning
Traceability and change in legal requirements engineering
AICOL-I/IVR-XXIV'09 Proceedings of the 2009 international conference on AI approaches to the complexity of legal systems: complex systems, the semantic web, ontologies, argumentation, and dialogue
The consistency of the CADIAG-2 knowledge base: a probabilistic approach
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Justification oriented proofs in OWL
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
Reasoning by analogy in the generation of domain acceptable ontology refinements
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
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
Foundations of description logics
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
The justificatory structure of the NCBO bioportal ontologies
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
The cognitive complexity of OWL justifications
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Inspecting regularities in ontology design using clustering
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Interactive ontology debugging: Two query strategies for efficient fault localization
Web Semantics: Science, Services and Agents on the World Wide Web
Linking justifications in the collaborative semantic web applications
Proceedings of the 21st international conference companion on World Wide Web
An efficient approach to debugging ontologies based on patterns
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
Planning accessible explanations for entailments in OWL ontologies
INLG '12 Proceedings of the Seventh International Natural Language Generation Conference
Detecting and revising flaws in OWL object property expressions
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
ONTOarg: A decision support framework for ontology integration based on argumentation
Expert Systems with Applications: An International Journal
Extracting justifications from bioportal ontologies
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
The Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach
Journal of Information Technology Research
OWL-based reasoning methods for validating archetypes
Journal of Biomedical Informatics
RIO: minimizing user interaction in ontology debugging
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
Toward cognitive support for OWL justifications
Knowledge-Based Systems
Reasoning about explanations for negative query answers in DL-lite
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
A justification for an entailment in an OWL ontology is a minimal subset of the ontology that is sufficient for that entailment to hold. Since justifications respect the syntactic form of axioms in an ontology, they are usually neither syntactically nor semantically minimal. This paper presents two new subclasses of justifications--laconic justifications and precise justifications . Laconic justifications only consist of axioms that do not contain any superfluous "parts". Precise justifications can be derived from laconic justifications and are characterised by the fact that they consist of flat, small axioms, which facilitate the generation of semantically minimal repairs. Formal definitions for both types of justification are presented. In contrast to previous work in this area, these definitions make it clear as to what exactly "parts of axioms" are. In order to demonstrate the practicability of computing laconic, and hence precise justifications, an algorithm is provided and results from an empirical evaluation carried out on several published ontologies are presented. The evaluation showed that laconic/precise justifications can be computed in a reasonable time for entailments in a range of ontologies that vary in size and complexity. It was found that in half of the ontologies sampled there were entailments that had more laconic/precise justifications than regular justifications. More surprisingly it was observed that for some ontologies there were fewer laconic justifications than regular justifications.