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

Volker Haarslev, Ralf Mller

Browse the full KR paper archive.