Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Decidability of SHIQ with Complex Role Inclusion Axioms

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

Links

Back to Top