Reasoning in expressive description logics. (2001)

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