Reasoning in expressive description logics (0)

by D Calvanese, G De Giacomo, M Lenzerini, D Nardi
Venue:Handbook of Automated Reasoning. Elsevier Science Publishers (North-Holland