A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken
2000
Jahrestagung der Gesellschaft für Informatik
Im Rahmen einer Kooperation zwischen dem Lehrstuhl für Prozesstechnik und dem Lehr-und Forschungsgebiet Theoretische Informatik an der RWTH Aachen wurde nachgewiesen, dass sich Beschreibungslogiken aufgrund ihrer hohen Ausdrucksstärke und mächtigen Inferenzalgorithmen sehr gut für die strukturierte Darstellung und Speicherung anwendungsspezifischen Wissens eignen. Die standardmäßig von Beschreibungslogik-Systemen bereitgestellten Inferenzdienste reichen jedoch für eine umfassende Unterstützung
dblp:conf/gi/Molitor00
fatcat:jwi5vxbflraijf44tuwf2h2ij4