Description Logics

From International Center for Computational Logic

Toggle side column

Description Logics

Markus KrötzschMarkus Krötzsch,  František SimančíkFrantišek Simančík,  Ian HorrocksIan Horrocks
Description Logics


Markus Krötzsch, František Simančík, Ian Horrocks
Description Logics
IEEE Intelligent Systems, 29(1):12-19, 2014
  • KurzfassungAbstract
    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.
  • Bemerkung: Note: 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. In general, those without access to IEEE Int. Sys. can safely consult the freely available DL Primer to learn about DLs.
  • Projekt:Project: DIAMOND
  • Forschungsgruppe:Research Group: Wissensbasierte Systeme
@article{KSH2014,
  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},
  volume  = {29},
  number  = {1},
  year    = {2014},
  pages   = {12-19},
  doi     = {10.1109/MIS.2013.123}
}