A Concept Language for an engeneering application with part-whole relations

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

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
  • 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},
}