Reasoning with Axioms: Theory and Practice
I. Horrocks and S. Tobies
Details
| Annote |
AKA: Horrocks00a |
| Book Title |
Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2000) |
| ISBN |
1−55860−690−4 |
| Pages |
285–296 |
| Year |
2000 |