Talks and Poster Presentations (with Proceedings-Entry):
D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni:
"The Complexity of Conjunctive Query Abduction in DL-Lite";
Talk: International Workshop on Description Logics (DL),
Barcelon, Spain;
07-13-2011
- 07-16-2011; in: "CEUR Workshop Proceedings",
R. Rosati, S. Rudolph, M. Zakharyaschev (ed.);
CEUR Workshop Proceedings,
745
(2011),
ISSN: 1613-0073;
Paper ID 49,
11 pages.
English abstract:
In order to meet usability requirements, most logic-based applications
provide explanation facilities for reasoning services. This holds also for DLs, where research focused on the explanation of both TBox reasoning and, more recently, query answering. Besides explaining the presence of a tuple in a query answer, it is important to explain also why a given tuple is missing. We address this latter problem for (conjunctive) query answering over DL-Lite ontologies, by adopting abductive reasoning, that is, we look for additions to the ABox that
force a given tuple to be in the result. As reasoning tasks, we consider existence and recognition of an explanation, and relevance and necessity of a certain assertion for an explanation. We characterize the computational complexity of these problems for subset minimal and cardinality minimal solutions.
Electronic version of the publication:
http://ceur-ws.org/Vol-745/paper_49.pdf
Created from the Publication Database of the Vienna University of Technology.