Ralf Molitor
Werke:
- 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