Integration of Terminological and Logical Knowledge Representation Languages

摘要

The syntax and semantics is described of two knowledge representation languages:A first-order logic language and a terminological language. The adopted first-order logic language allows the calculation of a decidable entailment relation between logic formulas, and the terminological language provides the efficient calculation of subsumption between concept and relation descriptions. A hybrid inference mechanism is defined that takes into account the knowledge represented in logical and in terminological form. The semantics of both languages and of the hybrid inference mechanism is defined in a four-valued logic framework. The resulting inference algorithm is sound and complete with respect to the adopted four-valued semantics and also computationally tractable.