Reasoning and Query Answering in Description Logics
Reasoning and Query Answering in Description Logics
复制标题
描述逻辑中的推理和查询回答
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
M. Šimkus
中科院分区：
文献类型：
--
作者：
Magdalena Ortiz;M. Šimkus
描述逻辑 (DL) 作为表示本体和推理本体的形式主义发挥着核心作用。本讲座介绍 DL 的基础知识。我们讨论了一些最著名的深度学习的知识建模功能，包括表达性深度学习，并介绍了一些深度学习推理服务。特别关注查询回答问题，以及通过深度学习本体查询数据存储库的日益流行的框架。我们概述了这种情况下出现的主要挑战，调查了一些轻量级和表达性深度学习的查询回答技术，并概述了计算复杂性情况。
Description Logics (DLs) play a central role as formalisms for representing ontologies and reasoning about them. This lecture introduces the basics of DLs. We discuss the knowledge modeling capabilities of some of the most prominent DLs, including expressive ones, and present some DL reasoning services. Particular attention is devoted to the query answering problem, and to the increasingly popular framework in which data repositories are queried through DL ontologies. We give an overview of the main challenges that arise in this setting, survey some query answering techniques for both lightweight and expressive DLs, and give an overview of the computational complexity landscape.
影响因子：
2.5
作者：
Grau, Bernardo Cuenca;Horrocks, Ian;Sattler, Ulrike
通讯作者：
Sattler, Ulrike
影响因子：
5
作者：
Glimm, Birte;Horrocks, Ian;Sattler, Ulrike
通讯作者：
Sattler, Ulrike