Debugging Incoherent Terminologies
TL;DR: This paper 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.
read more
Abstract: 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.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Description Logics
Franz Baader
- 01 Sep 2009
TL;DR: Approaches for reasoning in expressive DLs, which are the foundation for Reasoning in the Web ontology language OWL DL, are presented and tractable reasoning in the more light-weight DL $\mathcal{EL}$, which is employed in bio-medical ontologies, is considered.
447
Ontology Engineering in a Networked World
Mari Carmen Suárez-Figueroa,Asunción Gómez-Pérez,Enrico Motta,Aldo Gangemi +3 more
- 24 Mar 2012
TL;DR: This book by Surez-Figueroa et al. provides the necessary methodological and technological support for the development and use of ontology networks, which ontology developers need in this distributed environment.
396
Finding all justifications of OWL DL entailments
Aditya Kalyanpur,Bijan Parsia,Matthew Horridge,Evren Sirin +3 more
- 11 Nov 2007
TL;DR: This paper presents several algorithms for computing all the justifications of an entailment in an OWL-DL Ontology and shows, by an empirical evaluation, that even a reasoner independent approach works well on real ontologies.
•Proceedings Article
On the complexity of consistent query answering in the presence of simple ontologies
Meghyn Bienvenu
- 22 Jul 2012
TL;DR: In order to be able to handle arbitrary conjunctive queries, a novel inconsistency-tolerant semantics is proposed and it is shown that under this semantics, first-order expressibility is always guaranteed.
Minimal sets over monotone predicates in boolean formulae
Joao Marques-Silva,Mikoláš Janota,Anton Belov +2 more
- 13 Jul 2013
TL;DR: All computational problems related with Boolean formulas can be viewed as computing a minimal set subject to a monotone predicate, i.e. the MSMP problem, and a new algorithm is developed, that is asymptotically optimal, for this problem.
References
The Description Logic Handbook: Theory, Implementation and Applications
Franz Baader,Diego Calvanese,Deborah L. McGuinness,Daniele Nardi,Peter F. Patel-Schneider +4 more
- 01 Jan 2003
TL;DR: The Description Logic Handbook as mentioned in this paper provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications, and can also be used for self-study or as a reference for knowledge representation and artificial intelligence courses.
6.3K
The Description Logic Handbook – Theory, Implementation and Applications
TL;DR: Description logics are embodied in several knowledge-based systems and are used to develop various real-life applications.
4.9K
A theory of diagnosis from first principles
TL;DR: The theory accommodates diagnostic reasoning in a wide variety of practical settings, including digital and analogue circuits, medicine, and database updates, and reveals close connections between diagnostic reasoning and nonmonotonic reasoning.
3.2K
The Problem of Simplifying Truth Functions
TL;DR: The Problem of Simplifying Truth Functions is concerned with the problem of reducing the number of operations on a graph to a simple number.
963
•Proceedings Article
Non-standard reasoning services for the debugging of description logic terminologies
K.S. Schlobach,Ronald Cornet +1 more
- 01 Jan 2003
TL;DR: New non-standard reasoning services are designed and implemented to pinpoint logical contradictions when developing the medical terminology DICE to provide complete algorithms for unfoldable ACC-TBoxes based on minimisation of axioms using Boolean methods for minimal unsatisfiability-presening sub-T boxes.
420