New Generation Computing, 24(2006)29-51
Ohmsha, Ltd. and Springer

A Hybrid Reasoning System for Terminologies and First-order Clauses in Knowledge

Ken KANEIWA
National Institute of Informatics
2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan
kaneiwa@nii.ac.jp

Received 25 March 2004
Revised manuscript received 7 December 2004

Abstract

Description Logics (DLs) theoretically explore knowledge representation and reasoning in concept languages. However, since they are conceptually oriented, they are not equipped with rule-based reasoning mechanisms for assertional knowledge bases ? specifically, rules and facts in Logic Programming (LP), or the interaction of rules and facts with terminological knowledge. To combine rule-based reasoning with terminological knowledge, this paper presents a hybrid reasoning system for DL knowledge base (TBox and ABox) and first-order clause sets. The primary result of this study involves the design of a sound and complete resolution method for the composed knowledge bases, and this method possesses features of an effective deduction procedure such as Robinson's Resolution Principle.

Keywords:Resolution, Logic Programming, Description Logic, Knowledge Representation, Rule-based Reasoning.

[Back]