Artifact fact++_1.6.5~dfsg-3_amd64

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