deb_control_files:
- control
- md5sums
deb_fields:
Architecture: amd64
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libstdc++6 (>= 5.2)
Description: |-
description logic reasoner for the semantic web
FaCT++ is a DL reasoner.
It supports OWL DL
as well as the forthcoming standard OWL 1.1.
FaCT++ is implemented in C++
and uses optimised tableaux algorithms.
The tool is probably best known
for its compatibility with the tool Protege
that helps to formally represent semantics.
Homepage: http://owl.man.ac.uk/factplusplus/
Installed-Size: '1194'
Maintainer: Jonas Smedegaard <dr@jones.dk>
Package: fact++
Priority: optional
Section: science
Version: 1.6.5~dfsg-3
srcpkg_name: fact++
srcpkg_version: 1.6.5~dfsg-3