A theory of diagnosis from first principles
Artificial Intelligence
A correction to the algorithm in Reiter's theory of diagnosis
Artificial Intelligence
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Consistency-based diagnosis of configuration knowledge bases
Artificial Intelligence
WWW '05 Proceedings of the 14th international conference on World Wide Web
QUICKXPLAIN: preferred explanations and relaxations for over-constrained problems
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
IJCAI'93 Proceedings of the 13th international joint conference on Artifical 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
High performance reasoning with very large knowledge bases: a practical case study
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Reducing OWL entailment to description logic satisfiability
Web Semantics: Science, Services and Agents on the World Wide Web
An algorithm based on counterfactuals for concept learning in the Semantic Web
Applied Intelligence
Debugging Incoherent Terminologies
Journal of Automated Reasoning
A revision-based approach to handling inconsistency in description logics
Artificial Intelligence Review
Ontology change: Classification and survey
The Knowledge Engineering Review
Measuring Inconsistencies in Ontologies
ESWC '07 Proceedings of the 4th European 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
Automated ontology instantiation from tabular web sources-The AllRight system
Web Semantics: Science, Services and Agents on the World Wide Web
Plausible repairs for inconsistent requirements
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Approaches to inconsistency handling in description-logic based ontologies
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
ALLRIGHT: automatic ontology instantiation from tabular web documents
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Diagnosis discrimination for ontology debugging
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Query strategy for sequential ontology debugging
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
An algorithm for axiom pinpointing in EL+ and its incremental variant
Proceedings of the 20th ACM international conference on Information and knowledge management
An efficient diagnosis algorithm for inconsistent constraint sets
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Automated error localization and correction for imperative programs
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
Interactive ontology debugging: Two query strategies for efficient fault localization
Web Semantics: Science, Services and Agents on the World Wide Web
RIO: minimizing user interaction in ontology debugging
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Personalized diagnosis for over-constrained problems
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
The effective debugging of ontologies is an important prerequisite for their successful application and impact on the semantic web. The heart of this debugging process is the diagnosis of faulty knowledge bases. In this paper we define general concepts for the diagnosis of ontologies. Based on these concepts, we provide correct and complete algorithms for the computation of minimal diagnoses of knowledge bases. These concepts and algorithms are broadly applicable since they are independent of a particular variant of an underlying logic (with monotonic semantics) and independent of a particular reasoning system. The practical feasibility of our method is shown by extensive test evaluations.