Description Logics as Ontology Languages for the Semantic Web

Franz BaaderFranz Baader, Ian HorrocksIan Horrocks, Ulrike SattlerUlrike Sattler

Download

Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics as Ontology Languages for the Semantic Web
In D. Hutter and W. Stephan, eds., Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, volume 2605 of Lecture Notes in Artificial Intelligence, 228-248. Springer, 2005

Details
Bibtex

KurzfassungAbstract
The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can support the Semantic Web and thus help to make this vision reality. In this paper, we describe what description logics are and what they can do for the Semantic Web. Descriptions logics are very useful for defining, integrating, and maintaining ontologies, which provide the SemanticWeb with a common understanding of the basic semantic concepts used to annotate Web pages. We also argue that, without the last decade of basic research in this area, description logics could not play such an important role in this domain.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@incollection{ BaSaJS60,
  author = {F. {Baader} and I. {Horrocks} and U. {Sattler}},
  booktitle = {Mechanizing Mathematical Reasoning: Essays in Honor of J{\"o}rg H. Siekmann on the Occasion of His 60th Birthday},
  editor = {D. {Hutter} and W. {Stephan}},
  pages = {228--248},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Description Logics as Ontology Languages for the Semantic Web},
  volume = {2605},
  year = {2005},
}