FaCT++

A Description Logic reasoner for with OWL DL and OWL 2
Download

FaCT++ Ranking & Summary

Advertisement

  • Rating:
  • License:
  • LGPL
  • Publisher Name:
  • Dmitry Tsarkov
  • Publisher web site:
  • http://code.google.com/u/113216336987078983266/
  • Operating Systems:
  • Mac OS X
  • File Size:
  • 1.7 MB

FaCT++ Tags


FaCT++ Description

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 optimised 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.


FaCT++ Related Software

About SoftwareSea