Expressive description logics (2003)

by D Calvanese, G De Giacomo
Venue:In