Decidability of SHIQ with Complex Role Inclusion Axioms

Ian HorrocksIan Horrocks, Ulrike SattlerUlrike Sattler

Download

Ian Horrocks, Ulrike Sattler
Decidability of SHIQ with Complex Role Inclusion Axioms
Proc. of the International Joint Conference on Artificial Intelligence (IJCAI-2003), 2003. Morgan-Kaufmann Publishers

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ HorrocksSattler-IJCAI2003,
  author = {I. {Horrocks} and U. {Sattler}},
  booktitle = {Proc. of the International Joint Conference on Artificial Intelligence (IJCAI-2003)},
  publisher = {Morgan-Kaufmann Publishers},
  title = {Decidability of SHIQ with Complex Role Inclusion Axioms},
  year = {2003},
}