Source: fact++
Section: x11
Priority: optional
Maintainer: Jonas Smedegaard <dr@jones.dk>
Build-Depends: cdbs,
 devscripts,
 debhelper,
 dh-buildinfo,
 cloog-ppl
Standards-Version: 3.9.4
Homepage: http://owl.man.ac.uk/factplusplus/
Vcs-Git: git://anonscm.debian.org/git/collab-maint/fact++.git
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=collab-maint/fact++.git

Package: fact++
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}, dbus-x11
Suggests: antiword, catdoc, catdvi, djvulibre-bin,
 poppler-utils | xpdf-utils, rpm, unrtf, unzip
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.
