Explaining alc subsumption (1999)

by A Borgida, E Franconi, I Horrocks, D L McGuinness, P F Patel-Schneider
Venue:in Description Logics, ser. CEUR Workshop Proceedings