Explaining ALC Subsumption
Alex Borgida‚ Enrico Franconi‚ Ian Horrocks‚ Deborah L. McGuinness and Peter F. Patel−Schneider
Annote
AKA: Horrocks99i
Book Title
Proc. of the 1999 Description Logic Workshop (DL'99)
Pages
37–40
Series
CEUR (http://ceur-ws.org/)
Volume
22
Year
1999