使用一阶自动定理证明在OWL 2 Full本体语言中进行推理
人工智能
2011-08-02 v1
摘要
OWL 2已被万维网联盟（W3C）标准化为用于语义网的本体语言家族。这些语言中表达力最强的是OWL 2 Full，但迄今为止尚未为该语言实现任何推理机。已知OWL 2 Full的一致性和蕴涵检查是不可判定的。我们将OWL 2 Full语义的一个大片段翻译成一阶逻辑，并利用自动定理证明系统基于该理论进行推理。结果令人鼓舞，表明该方法可实际应用于有效的OWL推理，超越了当前语义网推理器的能力。本文是同一标题论文的扩展版本，该论文已发表于CADE 2011，LNAI 6803，第446-460页。扩展版本提供了附录，其中包含报告评估中使用的额外资源。
引用
@article{arxiv.1108.0155,
title = {Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving},
author = {Michael Schneider and Geoff Sutcliffe},
journal= {arXiv preprint arXiv:1108.0155},
year = {2011}
}