套件：fact++（1.6.5~dfsg-3 以及其他的）

fact++ 的相關連結

eLxr 補丁追蹤網站

下載原始碼套件 fact++：

維護者：

Jonas Smedegaard

外部的資源：

主頁 [owl.man.ac.uk]

相似套件：

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.

其他與 fact++ 有關的套件

依賴

推薦

建議

增強

dep: libc6 (>= 2.14) [amd64]

GNU C Library: Shared libraries
同時作為一個虛擬套件由這些套件填實： libc6-udeb

dep: libc6 (>= 2.38) [arm64]
dep: libgcc-s1 (>= 3.0)

GCC support library
dep: libstdc++6 (>= 13.1) [arm64]

GNU Standard C++ Library v3

dep: libstdc++6 (>= 5.2) [amd64]

下載 fact++

下載可用於所有硬體架構的
硬體架構	版本	套件大小	安裝後大小	檔案
amd64	1.6.5~dfsg-3	332。5 kB	1，194。0 kB	[檔案列表]
arm64	1.6.5~dfsg-3+b1	315。7 kB	1，234。0 kB	[檔案列表]