Explaining ALC subsumption (1999)

by Alex Borgida , Enrico Franconi , Ian Horrocks
Venue:In Proc. of DL’99
Citations:55 - 15 self