Skip to content
This repository has been archived by the owner on Jan 23, 2024. It is now read-only.
/ libfactplusplus Public archive

FaCT++ is an efficient Description Logic reasoner compatible with OWL DL and OWL 2.

License

Notifications You must be signed in to change notification settings

ethz-asl/libfactplusplus

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

FaCT++

Summary

FaCT++ is a DL reasoner. It supports OWL DL and (partially) OWL 2 DL

FaCT++ is moved to BitBucket

All further development will be performed at

https://bitbucket.org/dtsarkov/factplusplus

Versions

The latest version available form here is 1.6.3, released 30 May 2014.

FaCT++ is implemented in C++ and uses optimised tableaux algorithms.

Download

Important

Since January 2014 it is not possible to use Download option in Google Code sites. You can download FaCT++ from Google Drive site instead.

Detailed description and future plans

FaCT++ is partially supporting OWL 2 DL. The missing bits are:

  • No support for keys

  • Partial datatype support. At the moment, the only supported datatypes are Literal, string, anyURI, boolean, float, double, integer, int, nonNegativeInteger, dateTime.

The 1.4.0 release is the last one that support DIG interface.

The 1.4.0 release is the last one that supports OWL API v2 interface.

The 1.4.1 release is the last one that supports OWL API v3.0 interface

If you are lost in all the FaCT++ and/or APIs versions supported please check the WhichVersionDoINeed page.

Related Projects

About

FaCT++ is an efficient Description Logic reasoner compatible with OWL DL and OWL 2.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages