wszystkie opcje
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Pakiet źródłowy: fact++  ]

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

Odnośniki dla fact++

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego fact++:

Opiekun:

Zasoby zewnętrzne:

Podobne pakiety:

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.

Inne pakiety związane z fact++

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie fact++

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 349,9 KiB1 372,0 KiB [lista plików]
arm64 308,8 KiB1 184,0 KiB [lista plików]
armel 264,1 KiB1 005,0 KiB [lista plików]
armhf 275,4 KiB689,0 KiB [lista plików]
i386 363,5 KiB1 327,0 KiB [lista plików]
mips 299,5 KiB1 544,0 KiB [lista plików]
mips64el 325,0 KiB1 794,0 KiB [lista plików]
mipsel 305,4 KiB1 544,0 KiB [lista plików]
ppc64el 365,7 KiB1 616,0 KiB [lista plików]
s390x 296,5 KiB1 336,0 KiB [lista plików]