Causes for events: their computation and applications
Proc. of the 8th international conference on Automated deduction
Seeking explanations: abduction in logic, philosophy of science and artificial intelligence
Seeking explanations: abduction in logic, philosophy of science and artificial intelligence
Theorem Proving via General Matings
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Goal-directed proof theory
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
The description logic handbook
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Debugging Incoherent Terminologies
Journal of Automated Reasoning
A Resolution-Based Decision Procedure for $\boldsymbol{\mathcal{SHOIQ}}$
Journal of Automated Reasoning
Optimized Reasoning in Description Logics Using Hypertableaux
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Laconic and Precise Justifications in OWL
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A correspondence theory for terminological logics: preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
ABox abduction in ALC using a DL tableau
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Reasoning about explanations for negative query answers in DL-lite
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
Due to the growing popularity of Description Logics-based knowledge representation systems, predominantly in the context of Semantic Web applications, there is a rising demand for tools offering non-standard reasoning services. One particularly interesting form of reasoning, both from the user as well as the ontology engineering perspective, is abduction. In this paper we introduce two novel reasoning calculi for solving ABox abduction problems in the Description Logic $\mathcal{ALC}$ , i.e. problems of finding minimal sets of ABox axioms, which when added to the knowledge base enforce entailment of a requested set of assertions. The algorithms are based on regular connection tableaux and resolution with set-of-support and are proven to be sound and complete. We elaborate on a number of technical issues involved and discuss some practical aspects of reasoning with the methods.