Query Answering in Description Logics with Transitive Roles.

Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus

Browse the full IJCAI paper archive.