Ontology Reasoning in the SHOQ(D) Description Logic
Ian Horrocks and Ulrike Sattler
Details
| Annote |
AKA: Horrocks01b |
| Book Title |
Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001) |
| Pages |
199–204 |
| Publisher |
Morgan Kaufmann‚ Los Altos |
| Year |
2001 |