JFact for Mac

4.0.0 LGPL    
  UNRATED
DOWNLOAD NOW 826 KB

  220 downloads

A clone of the Java based FaCT++ OWL DL reasoner that enables developers to infer logical consequences for a set of alleged axioms

description

download

specs

JFact is a Java port of the FaCT++ OWL DL reasoner. JFact's design matches FaCT++ design very closely, except for the low level details where Java offers different ways of doing things.

Therefore, if you are knowledgeable of FaCT++ internals you'll find that many of the JFact classes and methods look familiar.

However, JFact does not include some parts of FaCT++: the DIG interface and the command line support are absent.

Also, JFact is a cross-platform utility capable of running on any operating system that comes with Java support (e.g. Mac OS X, Windows, Linux).
read more   
Last updated on November 21st, 2014

#OWL DL reasoner #DL reasoner #Description Logic reasoner #reasoner #DL #OWL #Description Logic

top FREE alternatives

0 User reviews so far.

SUBMIT