JFact

JFact (http://jfact.sourceforge.net/) is a port of FaCT++ to Java. FaCT++ reasoner, successor of Fact reasoner, is implemented in C++ and supports full OWL 2 with reasoning based on a tableaux algorithm.

Versions

• JFact 1.2.1: Can be converted to Dalvik without any modifications and imported into an Android project directly. Note: the reasoner can be imported but the reasoning can be incomplete/wrong!
• JFact 0.9.1: Can be converted to Dalvik without any modifications and imported into an Android project directly.