Description Logics in Ontology Applications
Ian Horrocks
Book Title
Proc. of the 9th Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005)
Editor
B. Beckert
ISBN
3−540−28931−3
Number
3702
Pages
2–13
Publisher
Springer
Series
Lecture Notes in Artificial Intelligence
Year
2005