Reasoning with Expressive Description Logics: Theory and Practice
Ian Horrocks
Details
| Book Title |
Proc. of the 19th Int. Conf. on Automated Deduction (CADE 2002) |
| Editor |
Andrei Voronkov |
| ISBN |
3−540−43931−5 |
| Number |
2392 |
| Pages |
1–15 |
| Publisher |
Springer |
| Series |
Lecture Notes in Artificial Intelligence |
| Year |
2002 |