Description Logics (IEEE IS article)
From korrekt.org
Markus Krötzsch, František Simančík, Ian Horrocks
Description Logics
Abstract. This introduction to description logics (DLs) explains the main concepts
and features, and offers examples before the syntax and semantics of the DL SROIQ are defined in detail.
Published at IEEE Intelligent Systems (Journal paper)
Download PDF (last update: Apr 19 2014)
Citation details
- Markus Krötzsch, František Simančík, Ian Horrocks. Description Logics. In IEEE Intelligent Systems, volume 29:1, pp. 12–19. IEEEProperty "Publisher" has a restricted application area and cannot be used as annotation property by a user. 2014.
@article{KSH14:DLintro,
author = {Markus Kr{\"o}tzsch and
Franti\v{s}ek Siman\v{c}\'{i}k and
Ian Horrocks},
title = {Description Logics},
journal = {IEEE Intelligent Systems},
publisher = {IEEE},
volume = {29},
issue = {1},
pages = {12--19},
year = {2014}
}
author = {Markus Kr{\"o}tzsch and
Franti\v{s}ek Siman\v{c}\'{i}k and
Ian Horrocks},
title = {Description Logics},
journal = {IEEE Intelligent Systems},
publisher = {IEEE},
volume = {29},
issue = {1},
pages = {12--19},
year = {2014}
}
Remarks
This article is a contribution to the IEEE Int. Sys. special issue on Representation and Reasoning. It is a peer-reviewed version of the material in the Description Logic Primer, and might thus be preferable for citations. The above PDF is a preprint. In general, those without access to IEEE Int. Sys. can safely consult the freely available DL Primer to learn about DLs.
