%0 Book Section %1 Turhan13RW %A Turhan, Anni-Yasmin %B Reasoning Web: Semantic Technologies for Intelligent Data Access %C Heidelberg %D 2013 %E Rudolph, Sebastian %E Gottlob, Georg %E Horrocks, Ian %E van Harmelen, Frank %I Springer %K 01624 springer paper ai semantic web knowledge processing ontology logic theory zzz.sw %P 150--161 %R 10.1007/978-3-642-39784-4_3 %T Introductions to Description Logics -- A Guided Tour %V 8067 %X 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. %@ 978-3-642-39783-7

@incollection{Turhan13RW, abstract = {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.}, added-at = {2017-04-09T10:31:33.000+0200}, address = {Heidelberg}, author = {Turhan, Anni-Yasmin}, biburl = {https://www.bibsonomy.org/bibtex/2d9118e95a4996c31d1336fcb3709ebde/flint63}, booktitle = {Reasoning Web: Semantic Technologies for Intelligent Data Access}, crossref = {RW2013}, doi = {10.1007/978-3-642-39784-4_3}, editor = {Rudolph, Sebastian and Gottlob, Georg and Horrocks, Ian and van Harmelen, Frank}, file = {SpringerLink:2013/Turhan13RW.pdf:PDF}, groups = {public}, interhash = {5c6bea9459ef52a33c601646af54465b}, intrahash = {d9118e95a4996c31d1336fcb3709ebde}, isbn = {978-3-642-39783-7}, keywords = {01624 springer paper ai semantic web knowledge processing ontology logic theory zzz.sw}, pages = {150--161}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-07-13T18:16:29.000+0200}, title = {Introductions to Description Logics -- A Guided Tour}, username = {flint63}, volume = 8067, year = 2013 }