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

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) [arm64]

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

Biblioteka wspomagająca GCC

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

Standardowa biblioteka GNU C++, wersja 3

Pobieranie fact++

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	332,5 KiB	1 194,0 KiB	[lista plików]
arm64	297,9 KiB	1 118,0 KiB	[lista plików]
armhf	277,1 KiB	663,0 KiB	[lista plików]
i386	361,2 KiB	1 249,0 KiB	[lista plików]