Decidability of SHIQ with Complex Role Inclusion Axioms
Ian Horrocks and Ulrike Sattler
Details
| ISSN |
09401121 |
| Journal |
Artificial Intelligence |
| Month |
DEC |
| Number |
1–2 |
| Pages |
79–104 |
| Publisher |
Elsevier |
| Volume |
160 |
| Year |
2004 |