Reasoning with terminological logics has been investigated in the area of knowledge representation. The key idea is to automatically determine the location of a new concept description (or object description) in a partially ordered set of given concepts. A promising approach appears to be the application of the techniques developed in this area to the development of new object-based database models. The main advantages are a uniform query and database definition language and the utilization of an indexing technique, which we call semantic indexing. The paper gives a compact introduction to terminological reasoning, sketches some aspects of implementing an information system following this approach, and finally surveys the interdependencies between the related work in knowledge representation and advanced information systems.
['Bernhard Nebel', 'Christof Peltason']
Terminological Reasoning and Information Management