deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
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: '1234'
Maintainer: Jonas Smedegaard <dr@jones.dk>
Package: fact++
Priority: optional
Section: science
Source: fact++ (1.6.5~dfsg-3)
Version: 1.6.5~dfsg-3+b1
srcpkg_name: fact++
srcpkg_version: 1.6.5~dfsg-3