DFKI Research Report-91-15
by Bernhard Nebel, Gert Smolka
Attributive Description Formalisms ... and the Rest of the World
Research in knowledge representation has led to the development of so-called terminological logics, which have the purpose to support the representation of the conceptual and terminological part of Artificial Intelligence applications. Independently, in Computational Linguistics so-called feature logics have been developed, which are aimed at representing the semantic and syntactic information natural language sentences convey. Since both of these logics rely mainly on attributes as the primary notational primitives for representing knowledge, they can be jointly characterized as attributive description formalisms.
Although the intended applications for terminological logics and feature logics are not identical, and the computational services of systems based on the respective formalisms are quite different for this reason, the logical foundations turn out to be very similar -- as we pointed out elsewhere. In this paper, we will show how attributive description formalisms relate to "the rest of the world." Recently, a number of formal results in the area of attributive description formalisms have been obtained by exploiting other research fields, such as formal language theory, automata theory, and modal logics. This connection between different fields of formal research will be highlighted in the sequel.
This document is available as Postscript.
The next abstract is here, and the previous abstract is here.
Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.