常见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)

[2] Cuenca Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P.F., Sattler, U.: OWL 2: The next step for OWL. J. Web Semant. 6(4), 309–322 (2008)

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]