Optimised Reasoning for SHIQ

PublikationenPublications

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

Toggle side column

Optimised Reasoning for SHIQ

Ian HorrocksIan Horrocks,  Ulrike SattlerUlrike Sattler

• Download

Ian Horrocks, Ulrike Sattler
Optimised Reasoning for SHIQ
Proc. of the 15th European Conference on Artificial Intelligence, 2002

• Details
• Bibtex

• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ HorrocksSattler-ECAI2002,
  author = {I. {Horrocks} and U. {Sattler}},
  booktitle = {Proc. of the 15th European Conference on Artificial Intelligence},
  title = {Optimised Reasoning for SHIQ},
  year = {2002},
}