all options
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Source: fact++  ]

Package: fact++ (1.6.5~dfsg-2)

Links for fact++


Debian Resources:

Download Source Package fact++:


External Resources:

Similar packages:

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.

Other Packages Related to fact++

  • depends
  • recommends
  • suggests
  • enhances

Download fact++

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 349.9 kB1,372.0 kB [list of files]
arm64 308.8 kB1,184.0 kB [list of files]
armel 264.1 kB1,005.0 kB [list of files]
armhf 275.4 kB689.0 kB [list of files]
i386 363.5 kB1,327.0 kB [list of files]
mips 299.5 kB1,544.0 kB [list of files]
mips64el 325.0 kB1,794.0 kB [list of files]
mipsel 305.4 kB1,544.0 kB [list of files]
ppc64el 365.7 kB1,616.0 kB [list of files]
s390x 296.5 kB1,336.0 kB [list of files]