Decidability of SHIQ with Complex Role Inclusion Axioms

I. HorrocksI. Horrocks, U. SattlerU. Sattler

Download

I. Horrocks, U. 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},
}