FaCT++ 1.6.2

A Description Logic reasoner for with OWL DL and OWL 2
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, 11:16 GMT
file size:
1.2 MB
price:
FREE!
developed by:
Dmitry Tsarkov
license type:
LGPL 
operating system(s):
Mac OS X
binary format:
-
category:
Home \ Developer Tools

FREE!

In a hurry? Add it to your Download Basket!

user rating

UNRATED
0.0/5
 

0/5

Rate it!
What's New in This Release:
  • Bug-fix release
read full changelog

Add your review!

SUBMIT