MIN-Fakultät Fachbereich Informatik Bibliothek
Haarslev, Volker ; Möller, Ralf
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles