Journal: Data and Knowledge Engineering
The specification of reusable and sharable terminological knowledge is one of the key issues in now-a-day knowledge engineering. Proving formal languages with precise semantics and inference support can significantly support this activity. The aim of the workshop was to understand and to compare existing approaches developed in other research communities. We investigated research on description languages and research on object-oriented databases. Both provide the combination of rich terminological modelling primitives with well studied semantics and inference support. Their better understanding and their comparison that should highlight common aspects and differences were the goals of the workshop.