Explaining ALC Subsumption
Alex Borgida‚ Enrico Franconi and Ian Horrocks
Annote
AKA: Horrocks00e
Book Title
Proc. of the 14th Eur. Conf. on Artificial Intelligence (ECAI 2000)
ISBN
1−58603−013−2
ISSN
0922−6389
Pages
209–213
Publisher
IOS Press
Year
2000