Goal-Directed Tracing of Inferences in EL Ontologies
Goal-Directed Tracing of Inferences in EL Ontologies
复制标题
EL 本体中的目标导向推理追踪
DOI：
10.1007/978-3-319-11915-1_13
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Pavel Klinov
中科院分区：
文献类型：
--
作者：
Yevgeny Kazakov;Pavel Klinov
是一个易于处理的描述逻辑（DL）家族，它是OWL 2 EL概要文件的基础。与许多表达性DL不同，推理可以通过计算某种特定形式的逻辑结果的演绎闭合集来执行。在一些基于本体的应用中，例如，对于本体调试，知道本体公理的逻辑结果通常是不够的。用户还需要知道从哪些公理以及如何导出结果。虽然在应用规则的过程中可以记录所有的推理步骤，但在实践中通常不会这样做，以避免开销。在本文中，我们提出了一个目标导向的方法，可以生成推理的演绎闭包中选择的后果，而无需从头开始重新应用所有的规则。我们提供了一个实证评估表明，该方法是快速和经济的大型本体。虽然证明forreasoning的主要好处，该方法可以潜在地应用到许多其他程序的基础上演绎闭包计算使用固定的规则集。
is a family of tractable Description Logics (DLs) that is the basis of the OWL 2 EL profile. Unlike for many expressive DLs, reasoning incan be performed by computing a deductively-closed set of logical consequences of some specific form. In some ontology-based applications, e.g., for ontology debugging, knowing the logical consequences of the ontology axioms is often not sufficient. The user also needs to know from which axioms and how the consequences were derived. Although it is possible to record all inference steps during the application of rules, this is usually not done in practice to avoid the overheads. In this paper, we present a goal-directed method that can generate inferences for selected consequences in the deductive closure without re-applying all rules from scratch. We provide an empirical evaluation demonstrating that the method is fast and economical for largeontologies. Although the main benefits are demonstrated forreasoning, the method can be potentially applied to many other procedures based on deductive closure computation using fixed sets of rules.
登录
查看更多内容
影响因子：
5
作者：
Grau, Bernardo Cuenca;Horrocks, Ian;Sattler, Ulrike
通讯作者：
Sattler, Ulrike
通过 Horn-SAT 编码和冲突分析在轻量级描述逻辑中进行 Axiom 精确定位
影响因子：
4.4
作者：
R. Sebastiani;M. Vescovi
通讯作者：
M. Vescovi
影响因子：
5
作者：
Motik, Boris;Shearer, Rob;Horrocks, Ian
通讯作者：
Horrocks, Ian
DOI：
10.1007/s10817-013-9296-3
发表时间：
2014-06-01
期刊：
JOURNAL OF AUTOMATED REASONING
影响因子：
--
作者：
Kazakov，Yevgeny;Kroetzsch，Markus;Simancik，Frantisek
通讯作者：
Simancik，Frantisek