Knowledge Management with OWL and F-Logic: A Combination of Description Logic Reasoning with F-Logic Rules
Heiko Kattenstroth · 2007
This thesis proposes an approach to combine the abilities of Description Logic reasoning with the expressiveness of F-Logic rules. Description Logics (DL) play a key role in ontology modeling for the Semantic Web, most notably as the underlying logic of OWL DL. However, their expressiveness is limited, in particular in conjunction with efficient reasoning. Furthermore, the logic programming paradigms such as F-Logic have been researched extensively in the past and powerful tools and systems are available. The approach developed in this thesis utilizes a DL reasoner (Pellet) and an F-Logic system (Florid) for an alternating reasoning process with an OWL DL ontology backed by the Jena Semantic Web Framework. The DL reasoner and a set of F-Logic rules are applied iteratively to the ontology in order to combine the advantages of both worlds. For this process, the ontology has to be exchanged between both systems. Hence, the translation of a subset of an OWL DL ontology into F-Logic and reverse is provided. Furthermore, the system is prototypically implemented as part of this thesis. Moreover, the benefits of the combination are shown by some examples.