2 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 |
1