Decidability of SHIQ with Complex Role Inclusion Axioms
Ian Horrocks and Ulrike Sattler
Details
| Book Title |
Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003) |
| ISBN |
0−92705−663−7 |
| Pages |
343–348 |
| Publisher |
Morgan Kaufmann‚ Los Altos |
| Year |
2003 |