Description Logics as Ontology Languages for the Semantic Web
Franz Baader‚ Ian Horrocks and Ulrike Sattler
Details
| 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 |