{"id":{"repo_id":"aachen","oai_identifier":"oai:publications.rwth-aachen.de:59449"},"canonical_url":"https://search.dev.ndltd.org/etd/aachen/oai:publications.rwth-aachen.de:59449","repository":{"repo_id":"aachen","name":"RWTH Aachen University","base_url":"https://publications.rwth-aachen.de/oai2d"},"display":{"title":"Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken","abstract":"In 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.","abstract_html":"In 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.","abstract_has_math":false,"creators":["Molitor, Ralf"],"institution":"Publikationsserver der RWTH Aachen University","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":["Baader, Franz"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2000,"date_issued":"2000","date_published":"2000","updated_at":"2026-07-30T19:42:39Z","subjects":["info:eu-repo/classification/ddc/004","Verfahrenstechnik","Prozessmodell","Wissensbasis","Formale Begriffsanalyse","Terminologische Logik","Termersetzungssystem","Informatik","Modellierung","Wissensrepäsentationssprache","Klasse"],"languages":["ger"],"rights":["info:eu-repo/semantics/openAccess"],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["https://publications.rwth-aachen.de/search?p=id:%22RWTH-CONV-121234%22"],"render_values":[{"text":"https://publications.rwth-aachen.de/search?p=id:%22RWTH-CONV-121234%22","href":"https://publications.rwth-aachen.de/search?p=id:%22RWTH-CONV-121234%22","code":true}]}]},"links":{"outbound_url":"https://publications.rwth-aachen.de/record/59449","outbound_label":"Repository record","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Baader, Franz"]},{"key":"dc:creator","label":"Author","values":["Molitor, Ralf"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:coverage","label":"Dc Coverage","values":["DE"]},{"key":"dc:date","label":"Dc Date","values":["2000"]},{"key":"dc:publisher","label":"Institution","values":["Publikationsserver der RWTH Aachen University"]},{"key":"dc:relation","label":"Dc Relation","values":["info:eu-repo/semantics/altIdentifier/urn/urn:nbn:de:hbz:82-opus-755"]},{"key":"dc:type","label":"Dc Type","values":["info:eu-repo/semantics/doctoralThesis","info:eu-repo/semantics/publishedVersion"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["info:eu-repo/classification/ddc/004","Verfahrenstechnik","Prozessmodell","Wissensbasis","Formale Begriffsanalyse","Terminologische Logik","Termersetzungssystem","Informatik","Modellierung","Wissensrepäsentationssprache","Klasse"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["ger"]},{"key":"dc:rights","label":"Dc Rights","values":["info:eu-repo/semantics/openAccess"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://publications.rwth-aachen.de/record/59449","https://publications.rwth-aachen.de/search?p=id:%22RWTH-CONV-121234%22"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["In 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."]},{"key":"dc:source","label":"Dc Source","values":["Aachen : Publikationsserver der RWTH Aachen University II, 210 S. : graph. Darst. (2000). = Aachen, Techn. Hochsch., Diss., 2000"]},{"key":"dc:title","label":"Title","values":["Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken"]}]}],"canonical_facts":{"dc:contributor":["Baader, Franz"],"dc:coverage":["DE"],"dc:creator":["Molitor, Ralf"],"dc:date":["2000"],"dc:description":["In 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."],"dc:identifier":["https://publications.rwth-aachen.de/record/59449","https://publications.rwth-aachen.de/search?p=id:%22RWTH-CONV-121234%22"],"dc:language":["ger"],"dc:publisher":["Publikationsserver der RWTH Aachen University"],"dc:relation":["info:eu-repo/semantics/altIdentifier/urn/urn:nbn:de:hbz:82-opus-755"],"dc:rights":["info:eu-repo/semantics/openAccess"],"dc:source":["Aachen : Publikationsserver der RWTH Aachen University II, 210 S. : graph. Darst. (2000). = Aachen, Techn. Hochsch., Diss., 2000"],"dc:subject":["info:eu-repo/classification/ddc/004","Verfahrenstechnik","Prozessmodell","Wissensbasis","Formale Begriffsanalyse","Terminologische Logik","Termersetzungssystem","Informatik","Modellierung","Wissensrepäsentationssprache","Klasse"],"dc:title":["Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken"],"dc:type":["info:eu-repo/semantics/doctoralThesis","info:eu-repo/semantics/publishedVersion"]},"updated_at":"2026-07-30T19:42:39Z"}