A Description Logic Primer
Markus Kr\"otzsch, Frantisek Simancik, Ian Horrocks
TL;DR
This paper offers a comprehensive introduction to description logics, covering core concepts, syntax, semantics, and their relation to OWL, aimed at readers new to the field.
Contribution
It provides a self-contained, detailed primer on DLs, including examples, formal definitions, and connections to web ontology standards.
Findings
Explains core DL concepts with examples
Details the syntax and semantics of SROIQ
Discusses lightweight DLs and OWL relationship
Abstract
This paper provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before syntax and semantics of the DL SROIQ are defined in detail. Additional sections review light-weight DL languages, discuss the relationship to the Web Ontology Language OWL and give pointers to further reading.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSemantic Web and Ontologies · Service-Oriented Architecture and Web Services · Biomedical Text Mining and Ontologies