A Description Logic Primer
Artificial Intelligence
2013-06-04 v3 Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.1201.4089,
title = {A Description Logic Primer},
author = {Markus Krötzsch and Frantisek Simancik and Ian Horrocks},
journal= {arXiv preprint arXiv:1201.4089},
year = {2013}
}