在语义网技术中推理技术是当前研究的热点。在protege中常用的OWL推理机主要有三个
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]
