Pakiet: fact++ (1.6.5~dfsg-3 i inne)

Odnośniki dla fact++

Zasoby systemu Debian:

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

Opiekun:

Jonas Smedegaard (Strona QA)

Zasoby zewnętrzne:

Strona internetowa [owl.man.ac.uk]

Podobne pakiety:

Wnioskowanie logiki opisowej dla sieci semantycznej

FaCT++ to wnioskowanie oparte na logice opisowej (DL). Obsługuje OWL DL, a także nadchodzący standard OWL 1.1.FaCT++ jest zaimplementowany w C++ i wykorzystuje zoptymalizowane algorytmy tablicowe. Narzędzie to jest prawdopodobnie najbardziej znane ze względu na swoją zgodność z narzędziem Protege, które pomaga w formalnej reprezentacji semantyki.

Inne pakiety związane z fact++

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.14) [amd64]

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb

dep: libc6 (>= 2.17) [ppc64el]

dep: libc6 (>= 2.34) [riscv64]

dep: libc6 (>= 2.38) [arm64]

dep: libc6 (>= 2.4) [armhf, i386, s390x]
dep: libgcc-s1 (>= 3.0) [nie armhf, riscv64]

Biblioteka wspomagająca GCC

dep: libgcc-s1 (>= 3.4) [riscv64]

dep: libgcc-s1 (>= 3.5) [armhf]
dep: libstdc++6 (>= 13.1) [arm64, riscv64]

Standardowa biblioteka GNU C++, wersja 3

dep: libstdc++6 (>= 5.2) [nie arm64, riscv64]

Pobieranie fact++

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	1.6.5~dfsg-3	332,5 KiB	1 194,0 KiB	[lista plików]
arm64	1.6.5~dfsg-3+b1	315,7 KiB	1 234,0 KiB	[lista plików]
armhf	1.6.5~dfsg-3	277,1 KiB	663,0 KiB	[lista plików]
i386	1.6.5~dfsg-3	361,2 KiB	1 249,0 KiB	[lista plików]
ppc64el	1.6.5~dfsg-3	345,6 KiB	1 490,0 KiB	[lista plików]
riscv64	1.6.5~dfsg-3+b1	361,4 KiB	1 022,0 KiB	[lista plików]
s390x	1.6.5~dfsg-3	306,0 KiB	1 290,0 KiB	[lista plików]