4 Treffer
1
1. |
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles
Haarslev, Volker ; Möller, Ralf |
2000 |
2. |
The Description Logic ALCNHR+ Extended with Concrete Domains
Haarslev, Volker ; Möller, Ralf ; Wessel, Michael |
2000 |
3. |
Entwicklung von Visualisierungswerkzeugen in objektorientierten Systemen unter Verwendung von KI-Programmiermethoden
Möller, Ralf |
1990 |
4. |
Gestaltung und Implementation einer graphischen Dialogschnittstelle auf einer Lisp-Maschine nach dem Vorbild eines datenfluß- und objektorientierten Bildfolgeanalysesystems
Möller, Ralf |
1988 |
1