Integration of Rule Inferences into a Terminological Component
Peter Forster, Bernd Novotny
Proceedings of the Eighth International Symposium
on Methodologies for Intelligent Systems, October 16-19, 1994, Charlotte, North Carolina, USA
PS-File (186 KB, 17 pages)
Abstract
In this paper, we address the problem of integrating rule
inferences into a terminological representation system. In contrast to
other approaches, we use backward chaining rules to retrieve
additional knowledge on demand. The rule component allows the
use of n-ary relationships by introducing arbitrary n-ary predicates.
In order to get a well-defined semantics, we restrict the form of our
rules to Horn clauses. Our approach of integrating rules into a
terminological representation system leads to inconsistencies. We
propose a solution which allows to detect some of the
inconsistencies.
B. Novotny / novotny@informatik.uni-stuttgart.de