Optimised Reasoning for SHIQ
Ian Horrocks and Ulrike Sattler
Book Title
Proc. of the 15th Eur. Conf. on Artificial Intelligence (ECAI 2002)
ISBN
1−58603−257−7
Month
JUL
Pages
277–281
Year
2002
Ian Horrocks and Ulrike Sattler