Tarkennettu haku
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Source: fact++  ]

Paketti: fact++ (1.6.5~dfsg-1)

Links for fact++

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti fact++:

Ylläpitäjä:

External Resources:

Samankaltaisia paketteja:

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.

Muut pakettiin fact++ liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi fact++

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 349.9 kt1,239.0 kt [tiedostoluettelo]
arm64 307.5 kt1,135.0 kt [tiedostoluettelo]
armel 272.0 kt952.0 kt [tiedostoluettelo]
armhf 286.0 kt672.0 kt [tiedostoluettelo]
i386 373.3 kt1,234.0 kt [tiedostoluettelo]
mips 305.7 kt1,418.0 kt [tiedostoluettelo]
mips64el 327.2 kt1,658.0 kt [tiedostoluettelo]
mipsel 311.4 kt1,418.0 kt [tiedostoluettelo]
ppc64el 326.8 kt1,427.0 kt [tiedostoluettelo]
s390x 315.6 kt1,331.0 kt [tiedostoluettelo]