LATPub256

PublikationenPublications

• Nach AutorBy Author
  • Ulrike SattlerUlrike Sattler
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

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},
}