Semantic Web technologies reasoning technology is a hot topic of research. In protege commonly used OWL inference engine has three main
HermiT
HermiT [1] supports all the features of OWL 2 ontology language [2] 4, including all data types of OWL 2 [3] 26, and it is performed correctly classify objects and data attributes - as far as we know, reasoning task is not OWL reasoning is fully supported by the other device.
references
[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]
