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.

• Type: Conference
• Year: 2009
• Where: ECSQARU
• Authors: Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner
• Keywords: Artificial Intelligence, Default Theories, ECSQARU 2009, Logic Knowledge Bases, Reiter-style Default Logic