Optimised Reasoning for SHIQ

From International Center for Computational Logic

Toggle side column

Optimised Reasoning for SHIQ

Ian HorrocksIan Horrocks,  Ulrike SattlerUlrike Sattler
Ian Horrocks, Ulrike Sattler
Optimised Reasoning for SHIQ
Proc. of the 15th European Conference on Artificial Intelligence, 2002
@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},
}