DeepAI AI Chat
Log In Sign Up

A Description Logic Primer

01/19/2012
by   Markus Krötzsch, et al.
University of Oxford
0

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.

READ FULL TEXT

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...
09/28/2020

The Probabilistic Description Logic ℬ𝒜ℒ𝒞

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

Modeling in OWL 2 without Restrictions

The Semantic Web ontology language OWL 2 DL comes with a variety of lang...
09/22/2021

A formalisation of BPMN in Description Logics

In this paper we present a textual description, in terms of Description ...
09/06/2023

Using the Shapes Constraint Language for modelling regulatory requirements

Ontologies are traditionally expressed in the Web Ontology Language (OWL...
12/18/2018

The positivication of coalgebraic logics

We present positive coalgebraic logic in full generality, and show how t...
11/07/2011

Embedding Description Logic Programs into Default Logic

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

Code Repositories

logical-juggling

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


view repo