Publikationsserver der RWTH Aachen University
Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken
Abstract
dc:descriptionIn chemical process engineering, as in many other application domains, one is interested in a structured representation and storage of domain specific knowledge. As shown in a cooperation between the Department for Process Engineering and the Teaching and Research Area for Theoreticel Computer Science, terminological knowledge representation systems based on description logics can be used for that purpose. Such systems are based on description logics, a highly expressive formalism with well-defined semantics, and provide powerful inference services like computing subconcept-/superconcept relationships. It has turned out, however, that these standard inference services are not sufficient for effectively supporting the maintenance of the knowledge base. In this work the non-standard inference services least common subsumer, most specific concept, and rewriting are investigated. Interacting in a certain way, these services provide a more comprehensive support for the definition of new concepts and thus support the extension and maintenance of the knowledge base. Results on existence, computability, and complexity are presented as well as algorithms for solving these inference problems for description logics that have already been successfully applied in the chemical process engineering application.
Degree
thesis:*- Grantor dc:publisher
- Publikationsserver der RWTH Aachen University
- Year dc:date
- 2000
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Molitor, Ralf
- Contributors dc:contributor
-
- Baader, Franz
Subjects
dc:subject × 11Rights
dc:rights- Statement dc:rights
-
- info:eu-repo/semantics/openAccess
- Language dc:language
- ger
Identifiers
dc:identifier.*- OAI identifier oai:identifier
- oai:publications.rwth-aachen.de:59449