Terminological Reasoning by Query Evaluation: A Formal Mapping of a Terminological Logic to an Object Data Model.
Ulrich Reimer, Peter Lippuner, Moira C. Norrie, Michael Rys · 1995
. This paper is concerned with defining a formal mapping from a terminological logic to an object data model which preserves as much of the semantics of the terminological logic as possible. To this end, the paper gives concise introductions into the terminological logic FRM and the object data model COCOON. It then briefly outlines a mapping from FRM class descriptions to COCOON types and classes and shows how the terminological inference of classification is mapped to a set of equivalent COCOON queries. Since these queries can (mostly) be submitted as a whole to the underlying database system we can take full advantage of all the results on query optimisation, on providing efficient physical access structures, as well as on parallelisation that are available in the database area to make terminological inferences more efficient. This can play a crucial role in realising knowledge base systems capable of dealing with very large knowledge bases. 1 Introduction The fields of knowledge r...