Skip to main content

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