FaCT++ 1.6.2

A Description Logic reasoner for with OWL DL and OWL 2

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!

What's new in FaCT++ 1.6.2:

  • Bug-fix release
Read full changelog
report
malware
send us
an update
LICENSE TYPE:
LGPL 
FILE SIZE:
1.2 MB
USER RATING:
UNRATED
  0.0/5
DEVELOPED BY:
Dmitry Tsarkov
CATEGORY:
Home \ Developer Tools
FaCT++ is a free and open-source DL reasoner that supports OWL DL and (partially) OWL 2.

FaCT++ is was written in the C++ language and uses optimized tableaux algorithms.

Detailed instructions on how to use the FaCT++ utility on your Mac are available HERE.

FaCT++ is cross-platform and it works on Mac OS X, Windows and Linux. Binaries for the Windows and Linux platforms are available on the project's homepage.

Last updated on February 27th, 2013

Runs on: Mac OS X (-)

#Description Logic reasoner #DL reasoner #optimised tableaux algorithm #Description Logic #reasoner #DL #optimise

Add your review!

SUBMIT