Explaining ALC Subsumption.

Alexander Borgida, Enrico Franconi, Ian Horrocks

Browse the full ECAI paper archive.