Reasoning with Expressive Description Logics: Theory and Practice
Ian Horrocks
Book Title
Proc. of the 19th Int. Conf. on Automated Deduction (CADE 2002)
Editor
Andrei Voronkov
ISBN
3−540−43931−5
Number
2392
Pages
1–15
Publisher
Springer
Series
Lecture Notes in Artificial Intelligence
Year
2002