A Hybrid Reasoning System for Terminologies and Clause Sets

K. Kaneiwa (Japan)


Logic Programming, Knowledge Representation, Rule based Reasoning


Description logics (DLs) theoretically explore knowledge representation and its reasoning in concept languages. However, due to the concept-oriented notion, these logics are not equipped with rule-based reasoning mechanisms for assertional knowledge bases; specifically, rules and facts in logic programming, or the interaction of rules and facts with terminology. In order to deal with the enriched reason ing, this paper presents a hybrid reasoning system for com bining DL-knowledge bases (TBox and ABox) and first order clause sets. The main result of this study is that a sound and complete resolution method for the composed knowledge bases is designed, and it has the feature of an effective deduction procedure such as Robinson's resolu tion principle.

Important Links:

Go Back