Editing Description logic (section)

==Further reading==
* F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, P. F. Patel-Schneider: ''The Description Logic Handbook: Theory, Implementation, Applications''. Cambridge University Press, Cambridge, UK, 2003. {{ISBN|0-521-78176-0}}
* Ian Horrocks, Ulrike Sattler: [https://web.archive.org/web/20120218092244/http://lat.inf.tu-dresden.de/research/papers-2001.html#HorrocksSattler-IJCAI ''Ontology Reasoning in the SHOQ(D) Description Logic''], in  ''Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence'', 2001.
* D. Fensel, F. van Harmelen, I. Horrocks, D. McGuinness, and P. F. Patel-Schneider: [http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2001/IEEE-IS01.pdf ''OIL: An Ontology Infrastructure for the Semantic Web'']. IEEE Intelligent Systems, 16(2):38-45, 2001.
* Ian Horrocks and Peter F. Patel-Schneider: [http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2001/HoPa01.pdf  ''The Generation of DAML+OIL'']. In ''Proceedings of the 2001 Description Logic Workshop (DL 2001)'', volume 49 of CEUR <http://ceur-ws.org/>, pages 30–35, 2001.
* Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen: [http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2003/HoPH03a.pdf ''From SHIQ and RDF to OWL: The Making of a Web Ontology Language'']. Journal of Web Semantics, 1(1):7-26, 2003.
* Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter Patel-Schneider, and Ulrike Sattler: [http://web.comlab.ox.ac.uk/people/Ian.Horrocks/Publications/download/2008/CHMP+08.pdf ''OWL 2: The next step for OWL'']. Journal of Web Semantics, 6(4):309–322, November 2008.
* Franz Baader, Ian Horrocks, and Ulrike Sattler: [http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2007/BaHS07a.pdf ''Chapter 3 Description Logics'']. In Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter, editors, ''Handbook of Knowledge Representation''. Elsevier, 2007.
* Alessandro Artale and Enrico Franconi: [http://www.inf.unibz.it/~franconi/papers/time-handbook.ps.gz Temporal Description Logics]. In Handbook of Temporal Reasoning in Artificial Intelligence, 2005.
* [http://www.w3.org/2001/sw/WebOnt/charter Web Ontology (WebONT) Working Group Charter]. W3C, 2003
* [http://www.w3.org/2004/01/sws-pressrelease World Wide Web Consortium Issues RDF and OWL Recommendations]. Press Release. W3C, 2004.
* [http://www.w3.org/2007/06/OWLCharter.html OWL Working Group Charter]. W3C, 2007.
* [http://www.w3.org/2009/10/owl2-pr OWL 2 Connects the Web of Knowledge with the Web of Data]. Press Release. W3C, 2009.
* [[Markus Krötzsch]], [[František Simančík]], [[Ian Horrocks]]: A Description Logic Primer. CoRR {{ArXiv|1201.4089}}. 2012. ''A very first introduction for readers without a formal logic background.''
* [[Sebastian Rudolph]]: [http://www.aifb.kit.edu/images/1/19/DL-Intro.pdf Foundations of Description Logics]. In ''Reasoning Web: Semantic Technologies for the Web of Data, 7th International Summer School,'' volume 6848 of [[Lecture Notes in Computer Science]], pages 76–136. Springer, 2011. ([https://doi.org/10.1007%2F978-3-642-23032-5_2 springerlink])''Introductory text with a focus on modelling and formal semantics. There are also [http://www.semantic-web-book.org/w/images/a/a9/DL-Foundations-RW2011.pdf slides].''
* [[Jens Lehmann (scientist)|Jens Lehmann]]: DL-Learner: Learning concepts in description logics, Journal of Machine Learning Research, 2009.
* Stefan Heindorf, Lukas Blübaum, Nick Düsterhus, Till Werner, Varun Nandkumar Golani, Caglar Demir, and Axel-Cyrille Ngonga Ngomo. Evolearner: Learning description logics with evolutionary algorithms. In ''Proceedings of the ACM Web Conference 2022'', pp. 818-828. 2022.
* [[Franz Baader]]: [https://web.archive.org/web/20120301231310/http://lat.inf.tu-dresden.de/research/papers-2009.html#Baader09 Description Logics]. In ''Reasoning Web: Semantic Technologies for Information Systems, 5th International Summer School,'' volume 5689 of Lecture Notes in Computer Science, pages 1–39. Springer, 2009. ([https://doi.org/10.1007%2F978-3-642-03754-2_1 springerlink]) ''Introductory text with a focus on reasoning and language design, and an extended historical overview.''
* [[Enrico Franconi]]: [http://www.inf.unibz.it/~franconi/dl/course/ Introduction to Description Logics]. Course materials. Faculty of Computer Science, Free University of Bolzano, Italy, 2002. ''Lecture slides and many literature pointers, somewhat dated.''
* [[Ian Horrocks]]: [http://web.comlab.ox.ac.uk/people/Ian.Horrocks/Publications/download/2008/Horr08a.pdf Ontologies and the Semantic Web]. ''Communications of the ACM'', 51(12):58-67, December 2008. ''A general overview of knowledge representation in Semantic Web technologies.''