Skip to main content

Decidability of SHIQ with Complex Role Inclusion Axioms

Ian Horrocks and Ulrike Sattler

ISSN
09401121
Journal
Artificial Intelligence
Month
DEC
Number
1–2
Pages
79–104
Publisher
Elsevier
Volume
160
Year
2004