всички настройки
stretch  ] [  buster  ] [  sid  ]
[ Източник: konclude  ]

Пакет: konclude (0.6.2~dfsg-5 и други)

Връзки за konclude


Ресурси за Debian:

Изтегляне на пакет-източник konclude.


Външни препратки:

Подобни пакети:

tableau-based description logic reasoner for the semantic web

Konclude is a high-performance reasoner for large and expressive ontologies. The supported ontology language is formally characterised by the Description Logic (DL) SROIQV(D). In other words, Konclude can handle all of the Web Ontology Language (OWL 2) with almost all datatypes. In addition, Konclude supports nominal schemas which allow for expressing arbitrary DL-safe rules simply by using given ontology syntax extended with variables.

Konclude can be used via OWLlink as an OWLlink server as well as via command line. For applications that use the OWL API, the OWLlink OWL API Adapter can be used to link with a Konclude server.

Етикети: Interface Toolkit: Qt

Други пакети, свързани с konclude

  • зависимости
  • препоръчани
  • предложени
  • enhances

Изтегляне на konclude

Изтегляне за всички налични архитектури
Архитектура Версия Големина на пакета Големина след инсталиране Файлове
alpha (неофициална архитектура) 0.6.2~dfsg-5 1 748,8 кБ10 582,0 кБ [списък на файловете]
amd64 0.6.2~dfsg-5 1 819,0 кБ8 790,0 кБ [списък на файловете]
arm64 0.6.2~dfsg-5 1 627,1 кБ8 758,0 кБ [списък на файловете]
armel 0.6.2~dfsg-5 1 430,5 кБ7 326,0 кБ [списък на файловете]
armhf 0.6.2~dfsg-5 1 482,1 кБ5 906,0 кБ [списък на файловете]
hppa (неофициална архитектура) 0.6.2~dfsg-5 1 884,0 кБ10 279,0 кБ [списък на файловете]
hurd-i386 0.6.2~dfsg-4 2 056,5 кБ9 334,0 кБ [списък на файловете]
i386 0.6.2~dfsg-5 2 056,5 кБ9 338,0 кБ [списък на файловете]
kfreebsd-amd64 0.6.2~dfsg-5 1 817,7 кБ8 786,0 кБ [списък на файловете]
kfreebsd-i386 0.6.2~dfsg-5 2 055,1 кБ9 334,0 кБ [списък на файловете]
m68k (неофициална архитектура) 0.6.2~dfsg-5 1 864,2 кБ9 151,0 кБ [списък на файловете]
mips 0.6.2~dfsg-5 1 865,6 кБ12 955,0 кБ [списък на файловете]
mips64el 0.6.2~dfsg-5 1 851,3 кБ13 939,0 кБ [списък на файловете]
mipsel 0.6.2~dfsg-5 1 915,6 кБ12 959,0 кБ [списък на файловете]
powerpcspe (неофициална архитектура) 0.6.2~dfsg-5 1 618,8 кБ9 328,0 кБ [списък на файловете]
ppc64 (неофициална архитектура) 0.6.2~dfsg-5 1 814,4 кБ12 471,0 кБ [списък на файловете]
ppc64el 0.6.2~dfsg-5 1 811,2 кБ10 929,0 кБ [списък на файловете]
riscv64 (неофициална архитектура) 0.6.2~dfsg-5 1 819,2 кБ8 520,0 кБ [списък на файловете]
s390x 0.6.2~dfsg-5 1 630,1 кБ9 604,0 кБ [списък на файловете]
sh4 (неофициална архитектура) 0.6.2~dfsg-5 2 132,3 кБ8 666,0 кБ [списък на файловете]
sparc64 (неофициална архитектура) 0.6.2~dfsg-5 1 422,0 кБ8 922,0 кБ [списък на файловете]
x32 (неофициална архитектура) 0.6.2~dfsg-5 1 791,9 кБ8 065,0 кБ [списък на файловете]