tüm seçenekler
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Kaynak: fact++  ]

Paket: fact++ (1.6.5~dfsg-2)

fact++ için bağlantılar

Screenshot

Debian Kaynakları:

fact++ Kaynak Paketini İndir:

Geliştirici:

Dış Kaynaklar:

Benzer paketler:

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++ ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

fact++ indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
amd64 349,9 kB1.372,0 kB [dosya listesi]
arm64 308,8 kB1.184,0 kB [dosya listesi]
armel 264,1 kB1.005,0 kB [dosya listesi]
armhf 275,4 kB689,0 kB [dosya listesi]
i386 363,5 kB1.327,0 kB [dosya listesi]
mips 299,5 kB1.544,0 kB [dosya listesi]
mips64el 325,0 kB1.794,0 kB [dosya listesi]
mipsel 305,4 kB1.544,0 kB [dosya listesi]
ppc64el 365,7 kB1.616,0 kB [dosya listesi]
s390x 296,5 kB1.336,0 kB [dosya listesi]