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

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

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,372.0 kt [tiedostoluettelo]
arm64 308.8 kt1,184.0 kt [tiedostoluettelo]
armel 264.1 kt1,005.0 kt [tiedostoluettelo]
armhf 275.4 kt689.0 kt [tiedostoluettelo]
i386 363.5 kt1,327.0 kt [tiedostoluettelo]
mips 299.5 kt1,544.0 kt [tiedostoluettelo]
mips64el 325.0 kt1,794.0 kt [tiedostoluettelo]
mipsel 305.4 kt1,544.0 kt [tiedostoluettelo]
ppc64el 365.7 kt1,616.0 kt [tiedostoluettelo]
s390x 296.5 kt1,336.0 kt [tiedostoluettelo]