EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies.

Rajeev Gor, Linh Anh Nguyen

Browse the full TABLEAUX paper archive.