Title :
Description Logics
Author :
Krotzsch, Markus ; Simancik, Frantisek ; Horrocks, Ian
Abstract :
This article provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before the syntax and semantics of the DL SROIQ are defined in detail. Additional sections review lightweight DL languages, discuss the relationship to the Web Ontology Language (OWL), and give pointers to further reading.
Keywords :
description logic; knowledge representation languages; OWL; Web ontology language; description logics; lightweight DL languages; Cognition; Computational modeling; Intelligent systems; Knowledge based systems; OWL; Ontologies; Semantics; Syntactics; Unified modeling language; intelligent systems; knowledge representation; ontologies; tutorial;
Journal_Title :
Intelligent Systems, IEEE
DOI :
10.1109/MIS.2013.123
