Pakket: fact++ (1.6.5~dfsg-3)

Verwijzigingen voor fact++

Debian bronnen:

Het bronpakket fact++ downloaden:

Beheerder:

Jonas Smedegaard (QA-pagina)

Externe bronnen:

Homepage [owl.man.ac.uk]

Vergelijkbare pakketten:

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.

Andere aan fact++ gerelateerde pakketten

depends

recommends

suggests

enhances

dep: libc6 (>= 2.14) [amd64]

GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6-udeb

dep: libc6 (>= 2.17) [arm64, ppc64el]

dep: libc6 (>= 2.4) [niet amd64, arm64, ppc64el]
dep: libgcc-s1 (>= 3.0) [niet armel, armhf]

GCC support bibliotheek

dep: libgcc-s1 (>= 3.5) [armel, armhf]
dep: libstdc++6 (>= 5.2)

GNU Standard C++ Library v3

fact++ downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
amd64	332,5 kB	1.194,0 kB	[overzicht]
arm64	297,9 kB	1.118,0 kB	[overzicht]
armel	263,5 kB	963,0 kB	[overzicht]
armhf	277,1 kB	663,0 kB	[overzicht]
i386	361,2 kB	1.249,0 kB	[overzicht]
mips64el	315,6 kB	1.638,0 kB	[overzicht]
mipsel	315,2 kB	1.471,0 kB	[overzicht]
ppc64el	345,6 kB	1.490,0 kB	[overzicht]
s390x	306,0 kB	1.290,0 kB	[overzicht]