Integrität dieses Dokuments

Haarslev, Volker ; Möller, Ralf

Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles

Fehler.