A Concept Language for an engeneering application with part-whole relations
From International Center for Computational Logic
A Concept Language for an engeneering application with part-whole relations
Ulrike SattlerUlrike Sattler
Ulrike Sattler
A Concept Language for an engeneering application with part-whole relations
In A. Borgida and M. Lenzerini and D. Nardi and B. Nebel, eds., Proceedings of the International Workshop on Description Logics, 119-123, 1995
A Concept Language for an engeneering application with part-whole relations
In A. Borgida and M. Lenzerini and D. Nardi and B. Nebel, eds., Proceedings of the International Workshop on Description Logics, 119-123, 1995
- KurzfassungAbstract
We investigate how terminological knowledge representation systems can be used to support modeling in an engeneering application. Because of the high complexity of the application, support of top--down modeling is a quite ambitious, but useful task for TKR Systems. An interesting problem to solve in this context is the handling of composite objects. Therefor, not only different part-whole relations have to be represented (some of them are transitive) but also their transitivity-like interaction as well as local properties of these relations. Hence this application calls for a concept language with powerful role forming operators. A concept language P with the expressive power to represent part-whole relations is defined, but it turns out that satisfiability of concept terms in P is undecidable. Hence it is necessary to drop some (but not many) of the demands made for the benefit of decidability. Several ways to handle the high complexity of inference algorithms of P are discussed. - Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ Sa95,
address = {Rome},
author = {Ulrike {Sattler}},
booktitle = {Proceedings of the International Workshop on Description Logics},
editor = {A. {Borgida} and M. {Lenzerini} and D. {Nardi} and B. {Nebel}},
pages = {119--123},
title = {A Concept Language for an engeneering application with part-whole relations},
year = {1995},
}
