Hybrid reasoning with simple conceptual logic programs

Abstract

Integrating ontologies in the form of Description Logic (DL) theories with the rules of Logic Programming (LP) in the context of Semantic Web Technologies has received considerable attention over the past few years. We introduce a hybrid framework where the knowledge bases consist of simple CoLPs and the DL ALCH knowledge bases. We also define a formal translation of ALCH concept expressions to rules under the syntax and semantics of simple CoLPs in order to show that reasoning with such hybrid knowledge bases can be reduced to reasoning with simple CoLPs only. In addition, we provide a Java implementation that accepts the ALCH knowledge base and simple CoLP as input, and perform hybrid reasoning using the tableaux-based method.<br />Finally, we present our experimental results and discuss the strengths and weaknesses of the implemented algorithm.