Description Logics as Ontology Languages for the Semantic Web
Franz Baader‚ Ian Horrocks and Ulrike Sattler
Book Title
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday
Editor
Dieter Hutter and Werner Stephan
ISBN
3−540−25051−4
Number
2605
Pages
228–248
Publisher
Springer
Series
Lecture Notes in Artificial Intelligence
Year
2005