Description Logics (IEEE IS article)


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.


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.


Description logics