Optimisation of Terminological Reasoning
I. Horrocks and S. Tobies
Details
| Book Title |
Proc. of the 2000 Description Logic Workshop (DL 2000) |
| ISBN |
3−86073−726−0 |
| ISSN |
1437−8396 |
| Pages |
183–192 |
| Year |
2000 |