Logo Grupo SID Logo Grupo SID Logo Grupo SID Logo Grupo SID

ANDROID GOES SEMANTIC!



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