Talks and Poster Presentations (with Proceedings-Entry):
M. Dao-Tran, T. Eiter, T. Krennwallner:
"Realizing Default Logic over Description Logic Knowledge Bases";
Talk: 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009),
Verona, Italy;
2009-07-01
- 2009-07-03; in: "European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009)",
C. Sossai, G. Chemello (ed.);
Springer,
5590
(2009),
ISBN: 978-3-642-02905-9;
602
- 613.
English abstract:
We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default theories to conjunctive query (cq-)programs that combine rules and ontologies, based on different methods to find extensions of default theories. The transformations, which are implemented in a front-end to a DL-reasoner, exploit additional constraints to prune the search space via relations between default conclusions and justifications. The front-end is a flexible tool for customizing the realization, allowing to develop alternative or refined default semantics. To our knowledge, no comparable implementation is available.
Keywords:
Default Logic, Description Logics, Integration of Default Logic and Description Logic, Hybrid Reasoning
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-02906-6_52
Related Projects:
Project Head Thomas Eiter:
Modulare HEX-Programme
Project Head Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs
Project Head Thomas Eiter:
Schließen in hybriden Wissensbasen
Created from the Publication Database of the Vienna University of Technology.