软件包：fact++（1.6.5~dfsg-3）

fact++ 的相关链接

Debian 的资源：

下载源码包 fact++：

维护者：

Jonas Smedegaard (QA 页面)

外部的资源：

主页 [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 语言运行库：共享库
同时作为一个虚包由这些包填实： libc6-udeb

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

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

GCC 支持库

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

GNU 标准 C++ 库，第3版

下载 fact++

下载可用于所有硬件架构的
硬件架构	软件包大小	安装后大小	文件
amd64	332.5 kB	1,194.0 kB	[文件列表]
arm64	297.9 kB	1,118.0 kB	[文件列表]
armel	263.5 kB	963.0 kB	[文件列表]
armhf	277.1 kB	663.0 kB	[文件列表]
i386	361.2 kB	1,249.0 kB	[文件列表]
mips64el	315.6 kB	1,638.0 kB	[文件列表]
mipsel	315.2 kB	1,471.0 kB	[文件列表]
ppc64el	345.6 kB	1,490.0 kB	[文件列表]
s390x	306.0 kB	1,290.0 kB	[文件列表]