Software

Realizing Default Logic Over Description Logic Knowledge Bases

Free registration required

Executive Summary

The authors consider a realization of Reiter-style default logic on top of Description Logic Knowledge Bases (DL-KBs). To this end, they 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 the knowledge, no comparable implementation is available.

  • Format: PDF
  • Size: 280.1 KB