CLASSES=none
PSTAMP=q20160221001640
LICFILE=gpl.txt
LICURL=http://www.gnu.org/copyleft/gpl.html
LICINFO=GNU General Public License, Version 2, June 1991
DESC=FaCT++ (FAst Classification of Terminologies) is a DL (Description Logic) reasoner written in C++. It supports OWL-DL and (partially) OWL2-DL. The missing bits are: a) No support for keys and b) Partial datatype support. At the moment, the only supported datatypes are Literal, string, anyURI, boolean, float, double, integer, int, nonNegativeInteger, dateTime. This package contains the standalone binary with a lisp-like interface as well as the FaCT++ java plugin for Protege 4, which contains all Java related things provided by FaCT++.
BASEDIR=/usr
VENDOR=LINOFEE, http://www.linofee.org
EMAIL=developers@linofee.org
CATEGORY=develop,application
NAME=DL reasoner FaCT++
SERIALNUM=001
VERSION=1.6.4
ARCH=i386
PKG=LNFfactplusplus