DeepAI AI Chat

A Description Logic Primer

01/19/2012

∙

by Markus Krötzsch, et al.

∙

University of Oxford

∙

∙

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.

Markus Krötzsch
15 publications
František Simančík
2 publications
Ian Horrocks
38 publications

page 1

page 2

page 3

page 4

∙ 09/10/2020

Defeasible reasoning in Description Logics: an overview on DL^N

DL^N is a recent approach that extends description logics with defeasibl...

0 Piero A. Bonatti, et al. ∙

∙ 09/28/2020

The Probabilistic Description Logic ℬ𝒜ℒ𝒞

Description logics (DLs) are well-known knowledge representation formali...

0 Leonard Botha, et al. ∙

∙ 12/12/2012

Modeling in OWL 2 without Restrictions

The Semantic Web ontology language OWL 2 DL comes with a variety of lang...

0 Michael Schneider, et al. ∙

∙ 09/22/2021

A formalisation of BPMN in Description Logics

In this paper we present a textual description, in terms of Description ...

0 Chiara Ghidini, et al. ∙

∙ 09/06/2023

Using the Shapes Constraint Language for modelling regulatory requirements

Ontologies are traditionally expressed in the Web Ontology Language (OWL...

0 Veronika Heimsbakk, et al. ∙

∙ 12/18/2018

The positivication of coalgebraic logics

We present positive coalgebraic logic in full generality, and show how t...

0 Fredrik Dahlqvist, et al. ∙

∙ 11/07/2011

Embedding Description Logic Programs into Default Logic

Description logic programs (dl-programs) under the answer set semantics ...

0 Yisong Wang, et al. ∙

Code Repositories

logical-juggling

describe periodic (juggling) patterns in first-order logic and find models via constraint programming

view repo