A Description Logic Primer

2012/01/19 by Markus Krötzsch, Krötzsch, Markus, Frantisek Simancik +3 · 1 voice · 5 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #Biomedical Text Mining and Ontologies #F.4.1 #FOS: Computer and information sciences #I.2.4 #Logic in Computer Science (cs.LO) #Semantic Web and Ontologies #Service-Oriented Architecture and Web Services #cs.AI #cs.LO

paper · pdf · doi:10.48550/arxiv.1201.4089

openalex publication_date 2012/01/19 · arxiv published 2012/01/19 · arxiv created 2013/06/03 · arxiv updated 2013/06/04 · openalex created_date 2016/06/24 · openalex updated_date 2026/07/28

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.

Cited by

• Why Settle for Just One? Extending EL++ Ontology Embeddings with Many-to-Many Relationships
• Descriptions of Objectives and Processes of Mechanical Learning
• Constraints to Validate RDF Data Quality on Common Vocabularies in the Social, Behavioral, and Economic Sciences
• RDF Validation Requirements - Evaluation and Logical Underpinning
• OntoURL: A Benchmark for Evaluating Large Language Models on Symbolic Ontological Understanding, Reasoning and Learning

Discussions

• A Description Logic Primer [hn, 2 points, 0 comments]

Related

• An Experiment on the Connection between the DLs' Family DL<ForAllPiZero> and the Real World
• Description Logic Programs: A Practical Choice For the Modelling of Ontologies
• Efficient Description Logic Reasoning in Prolog: The DLog system
• Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs
• Description Logic TBoxes: Model-theoretic Characterizations and Rewritability