Introductions to Description Logics - A Guided Tour

Anni-Yasmin TurhanAnni-Yasmin Turhan

Anni-Yasmin Turhan
Introductions to Description Logics - A Guided Tour
In Sebastian Rudolph and Georg Gottlob and Ian Horrocks and Frank van Harmelen, eds., In Proceedings of Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School, volume 8067 of Lecture Notes in Computer Science, 150-161, 2013. Springer

Details
Bibtex

KurzfassungAbstract
Description Logics (DLs) are the logical formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for many powerful reasoning services. This paper provides an overview of basic topics in the field of Description Logics by surveying the introductory literature and course material with a focus on DL reasoning services. The resulting compilation also gives a historical perspective on DLs as a research area.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ Tu-RW-13,
  author = {Anni-Yasmin {Turhan}},
  booktitle = {In Proceedings of Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School},
  editor = {Sebastian {Rudolph} and Georg {Gottlob} and Ian {Horrocks} and Frank van {Harmelen}},
  pages = {150--161},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Introductions to Description Logics - A Guided Tour},
  volume = {8067},
  year = {2013},
}