Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken - Molitor, Ralf 1973- (2000)
Aachen, Techn. Hochsch., Diss., 2000