A theory of diagnosis from first principles
Artificial Intelligence
A correction to the algorithm in Reiter's theory of diagnosis
Artificial Intelligence
Terminological reasoning is inherently intractable (research note)
Artificial Intelligence
A Textbook of Belief Dynamics: Solutions to Exercises
A Textbook of Belief Dynamics: Solutions to Exercises
Model-based Diagnosis in the Real World: Lessons Learned and Challenges Remaining
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Finding all minimal unsatisfiable subsets
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Debugging and repair of owl ontologies
Debugging and repair of owl ontologies
Finding maximally satisfiable terminologies for the description logic ALC
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Knowledge integration for description logics
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Reasoning with inconsistent ontologies
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Debugging unsatisfiable classes in OWL ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
A general diagnosis method for ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Debugging and semantic clarification by pinpointing
ESWC'05 Proceedings of the Second 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
Automated comparative auditing of NCIT genomic roles using NCBI
Journal of Biomedical Informatics
A Survey of Revision Approaches in Description Logics
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
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
Exploring the Semantic Web as Background Knowledge for Ontology Matching
Journal on Data Semantics XI
Structural group auditing of a UMLS semantic type's extent
Journal of Biomedical Informatics
Structural group-based auditing of missing hierarchical relationships in UMLS
Journal of Biomedical Informatics
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
Dealing with Inconsistencies in DL-Lite Ontologies
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Model-based revision operators for terminologies in description logics
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Semantic oriented ontology cohesion metrics for ontology-based systems
Journal of Systems and Software
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
A framework for handling revisions in distributed ontologies
Proceedings of the 2010 ACM Symposium on Applied Computing
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
Inconsistent ontology revision based on ontology constructs
Expert Systems with Applications: An International Journal
Automata-Based Axiom Pinpointing
Journal of Automated Reasoning
Supporting concurrent ontology development: Framework, algorithms and tool
Data & Knowledge Engineering
ABox Abduction in the Description Logic $\boldsymbol{\mathcal{ALC}}$
Journal of Automated Reasoning
Query strategy for sequential ontology debugging
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
FastXplain: conflict detection for constraint-based recommendation problems
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
Reasoning with noisy semantic data
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Coherent top-k ontology alignment for OWL EL
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Auditing complex concepts of SNOMED using a refined hierarchical abstraction network
Journal of Biomedical Informatics
Interactive ontology debugging: Two query strategies for efficient fault localization
Web Semantics: Science, Services and Agents on the World Wide Web
ReAction: personalized minimal repair adaptations for customer requests
FQAS'11 Proceedings of the 9th international conference on Flexible Query Answering Systems
Extracting justifications from bioportal ontologies
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
On The Potential Integration of an Ontology-Based Data Access Approach in NoSQL Stores
International Journal of Distributed Systems and Technologies
Minimal sets over monotone predicates in boolean formulae
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
RIO: minimizing user interaction in ontology debugging
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
A RELATIONSHIP-CENTRIC HYBRID INTERFACE FOR BROWSING AND AUDITING THE UMLS
Journal of Integrated Design & Process Science
Hi-index | 0.00 |
In this paper we study the diagnosis and repair of incoherent terminologies. We define a number of new nonstandard reasoning services to explain incoherence through pinpointing, and we present algorithms for all of these services. For one of the core tasks of debugging, the calculation of minimal unsatisfiability preserving subterminologies, we developed two different algorithms, one implementing a bottom-up approach using support of an external description logic reasoner, the other implementing a specialized tableau-based calculus. Both algorithms have been prototypically implemented. We study the effectiveness of our algorithms in two ways: we present a realistic case study where we diagnose a terminology used in a practical application, and we perform controlled benchmark experiments to get a better understanding of the computational properties of our algorithms in particular and the debugging problem in general.