Pacote: fact++ (1.6.5~dfsg-3 e outros)

Links para fact++

Rastreador de patch eLxr

Baixe o pacote-fonte fact++:

Mantenedor(a):

Jonas Smedegaard

Fontes externas:

Pagina principal [owl.man.ac.uk]

Pacotes similares:

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.

Outros pacotes relacionados a fact++

depende

recomenda

sugere

melhora

dep: libc6 (>= 2.14) [amd64]

GNU C Library: Shared libraries
também um pacote virtual fornecido por 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]

Download de fact++

Baixe para todas as arquiteturas disponíveis
Arquitetura	Versão	Tamanho do pacote	Tamanho instalado	Arquivos
amd64	1.6.5~dfsg-3	332.5 kB	1,194.0 kB	[lista de arquivos]
arm64	1.6.5~dfsg-3+b1	315.7 kB	1,234.0 kB	[lista de arquivos]