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.

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)

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.