OWL推理机简述常见类型及工作原理

该领域已成为当前研究热点。在Protege中常用的OWL推理引擎包括但不限于三个主要的。

HermiT

FaCT

Pellet

HermiT

HermiT[1]涵盖OWL 2本体语言[2]4的所有特性，并包含OWL 2所有数据类型[3]26。它能够准确地执行对象和数据属性分类——据我们的了解，在大多数情况下，推理任务主要依赖于其他一些特定的OWL推理器来完成。

参考文献

[1] Motik, B., Horrocks, I.: OWL Datatypes: design and implementation. In: Proc. of the 7th Int. Semantic Web Conference (ISWC 2008), Lecture Notes in Computer Science, vol. 5318, pp. 307–322. Springer (2008)

此文献阐述了Web Ontology Language的核心概念及其在Web环境中的应用价值。作者包括Cuenca Grau等六位知名学者共同探讨了OWL的发展方向，并对其提供的框架进行了详细阐述

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19