Pushing the Boundaries of Tractable Ontology Reasoning
Pushing the Boundaries of Tractable Ontology Reasoning
复制标题
突破易于处理的本体推理的界限
DOI：
10.1007/978-3-319-11915-1_10
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Ian Horrocks
中科院分区：
文献类型：
--
作者：
David Carral;C. Feier;B. C. Grau;P. Hitzler;Ian Horrocks
我们确定了一类Horn本体，其标准推理任务（如实例检查和分类）是可处理的。该类足够通用，可以包含owl2 EL、QL和RL配置文件。验证霍恩本体是否属于该类可以在多项式时间内完成。我们通过经验证明，该类包含许多没有包含在任何owl2配置文件中的现实世界本体，因此对这些本体进行多项式时间推理是可能的。
We identify a class of Horn ontologies for which standard reasoning tasks such as instance checking and classification are tractable. The class is general enough to include the OWL 2 EL, QL, and RL profiles. Verifying whether a Horn ontology belongs to the class can be done in polynomial time. We show empirically that the class includes many real-world ontologies that are not included in any OWL 2 profile, and thus that polynomial time reasoning is possible for these ontologies.
DOI：
10.1613/jair.3949
发表时间：
2013-05
期刊：
J. Artif. Intell. Res.
影响因子：
--
作者：
B. C. Grau;Ian Horrocks;M. Krötzsch;C. Kupke;Despoina Magka;B. Motik;Zhe Wang
通讯作者：
B. C. Grau;Ian Horrocks;M. Krötzsch;C. Kupke;Despoina Magka;B. Motik;Zhe Wang
DOI：
10.1007/s10817-013-9296-3
发表时间：
2014-06-01
期刊：
JOURNAL OF AUTOMATED REASONING
影响因子：
--
作者：
Kazakov，Yevgeny;Kroetzsch，Markus;Simancik，Frantisek
通讯作者：
Simancik，Frantisek