Description Logics
Aus International Center for Computational Logic
Description Logics
Markus KrötzschMarkus Krötzsch, František SimančíkFrantišek Simančík, Ian HorrocksIan Horrocks
- ISSN: 1541-1672
- DOI Link
Markus Krötzsch, František Simančík, Ian Horrocks
Description Logics
IEEE Intelligent Systems, 29(1):12-19, 2014
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 SystemeKnowledge-Based Systems
@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}
}