Reasoning in expressive description logics (2001)

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