Sciweavers

Share
ECSQARU
2009
Springer

Realizing Default Logic over Description Logic Knowledge Bases

10 years 2 months ago
Realizing Default Logic over Description Logic Knowledge Bases
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.
Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where ECSQARU
Authors Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner
Comments (0)
books