Optimised Reasoning for SHIQ
Ian Horrocks and Ulrike Sattler
Details
| Book Title |
Proc. of the 15th Eur. Conf. on Artificial Intelligence (ECAI 2002) |
| ISBN |
1−58603−257−7 |
| Month |
JUL |
| Pages |
277–281 |
| Year |
2002 |