Reasoning in expressive description logics (2001)

by D Calvanese, G De Giacomo, M Lenzerini, D Nardi
Venue:In Handbook of Automated Reasoning