JFact 4.0.0

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

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!
report
malware
send us
an update
LICENSE TYPE:
LGPL 
FILE SIZE:
826 KB
USER RATING:
UNRATED
  0.0/5
DEVELOPED BY:
Ignazio Palmisano
CATEGORY:
Home \ Developer Tools
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).

Last updated on November 21st, 2014

Runs on: Mac OS X (-)

requirements

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

Add your review!

SUBMIT