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
