Practical Reasoning for Expressive Description Logics
I. Horrocks‚ U. Sattler and S. Tobies
Details
| Annote |
AKA: Horrocks99j |
| Book Title |
Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR'99) |
| Editor |
H. Ganzinger and D. McAllester and A. Voronkov |
| ISBN |
3−540−66492−0 |
| Number |
1705 |
| Pages |
161–180 |
| Publisher |
Springer |
| Series |
Lecture Notes in Artificial Intelligence |
| Year |
1999 |