Optimised Reasoning for SHIQ
From International Center for Computational Logic
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
Optimised Reasoning for SHIQ
Proc. of the 15th European Conference on Artificial Intelligence, 2002
- 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},
}
