Query answering in description logics with transitive roles (2009)

by T Eiter, C Lutz, M Ortiz, M Simkus
Venue:In Proc. of IJCAI 2009