Reasoning with Individuals for the Description Logic SHIQ
Ian Horrocks‚ Ulrike Sattler and Stephan Tobies
Details
| Annote |
AKA: Horrocks00b |
| Book Title |
Proc. of the 17th Int. Conf. on Automated Deduction (CADE 2000) |
| Editor |
David McAllester |
| Pages |
482–496 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
1831 |
| Year |
2000 |