Ralf Molitor
Has participated in:
-
Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken
-
Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken
-
Structural Subsumption for ALN
-
A Description Logic for Vague Knowledge