Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity.

Fabio Massacci

Browse the full IJCAI paper archive.