Explaining ALC Subsumption
Alex Borgida‚ Enrico Franconi‚ Ian Horrocks‚ Deborah L. McGuinness and Peter F. Patel−Schneider
Details
| 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 |