WORKSHOP ON COMPARING DESCRIPTION AND FRAME LOGICS

The specification of reusable terminological knowledge is one of the k ey issues in today's knowledge engineering. Providing formal languages with precise semantics and inference support can significantly suppor t this activity. The aim of the workshop was to understand and to comp are existing approaches developed in other research communities. We in vestigated research on description languages and research on object-or iented databases. Both provide the combination of rich terminological modeling primitives with well studied semantics and inference support. To better understand and compare them as well as to highlight common aspects and differences were the goals of the workshop.