发帖
雷达卡
摘要翻译：
OWL2已经被万维网联盟(W3C)标准化为语义网的本体语言家族。这些语言中表达能力最强的是OWL2 Full，但迄今为止还没有为该语言实现推理器。一致性和内含检查是已知的OWL2完全不可判定的。我们将OWL2完整语义的一大部分转换为一阶逻辑，并使用自动定理证明系统进行基于该理论的推理。结果表明，该方法可以在实际中应用于有效的OWL推理，超出了现有语义Web推理器的能力。这是发表在CADE 2011,LNAI 6803,pp.446-460上的一篇相同标题的论文的扩展版本。扩展版本提供了附录，其中附有在报告的评价中使用的额外资源。
---
英文标题：
《Reasoning in the OWL 2 Full Ontology Language using First-Order
Automated Theorem Proving》
---
作者：
Michael Schneider, Geoff Sutcliffe
---
最新提交年份：
2011
---
分类信息：
一级分类：Computer Science 计算机科学
二级分类：Artificial Intelligence 人工智能
分类描述：Covers all areas of AI except Vision, Robotics, Machine Learning, Multiagent Systems, and Computation and Language (Natural Language Processing), which have separate subject areas. In particular, includes Expert Systems, Theorem Proving (although this may overlap with Logic in Computer Science), Knowledge Representation, Planning, and Uncertainty in AI. Roughly includes material in ACM Subject Classes I.2.0, I.2.1, I.2.3, I.2.4, I.2.8, and I.2.11.
涵盖了人工智能的所有领域，除了视觉、机器人、机器学习、多智能体系统以及计算和语言（自然语言处理），这些领域有独立的学科领域。特别地，包括专家系统，定理证明（尽管这可能与计算机科学中的逻辑重叠），知识表示，规划，和人工智能中的不确定性。大致包括ACM学科类I.2.0、I.2.1、I.2.3、I.2.4、I.2.8和I.2.11中的材料。
--
---
英文摘要：
OWL 2 has been standardized by the World Wide Web Consortium (W3C) as a family of ontology languages for the Semantic Web. The most expressive of these languages is OWL 2 Full, but to date no reasoner has been implemented for this language. Consistency and entailment checking are known to be undecidable for OWL 2 Full. We have translated a large fragment of the OWL 2 Full semantics into first-order logic, and used automated theorem proving systems to do reasoning based on this theory. The results are promising, and indicate that this approach can be applied in practice for effective OWL reasoning, beyond the capabilities of current Semantic Web reasoners. This is an extended version of a paper with the same title that has been published at CADE 2011, LNAI 6803, pp. 446-460. The extended version provides appendices with additional resources that were used in the reported evaluation.
---
PDF链接：
https://arxiv.org/pdf/1108.0155
京公网安备 11010802022788号
