A Description Logic Primer

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 in corpus (12)

• EvoLearner: Learning Description Logics with Evolutionary Algorithms
• Knowledge Representation in Bicategories of Relations
• Satisfiability and Containment of Recursive SHACL
• RDF Validation Requirements - Evaluation and Logical Underpinning
• Semantic Reasoning for Context-aware Internet of Things Applications
• Constraints to Validate RDF Data Quality on Common Vocabularies in the Social, Behavioral, and Economic Sciences
• Descriptions of Objectives and Processes of Mechanical Learning
• Application of an ontology for model cards to generate computable artifacts for linking machine learning information from biomedical research
• Why Settle for Just One? Extending EL++ Ontology Embeddings with Many-to-Many Relationships
• Semantic Reasoning with Differentiable Graph Transformations
• The Optics of Language-Integrated Query
• Towards a new paradigm for assistive technology at home: research challenges, design issues and performance assessment