Reasoning with Individuals for the Description Logic SHIQ
Ian Horrocks‚ Ulrike Sattler and Stephan Tobies
Annote
AKA: Horrocks00b
Book Title
Proc. of the 17th Int. Conf. on Automated Deduction (CADE 2000)
Editor
David McAllester
Pages
482–496
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
1831
Year
2000