Pakiet: konclude (0.7.0+1137~dfsg-1)

Odnośniki dla konclude

Zasoby systemu Debian:

Pobieranie pakietu źródłowego konclude:

Opiekun:

Jonas Smedegaard (Strona QA)

Zasoby zewnętrzne:

Strona internetowa [www.konclude.com]

Podobne pakiety:

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.

Znaczniki: Pakiet narzędziowy interfejsu: Qt

Inne pakiety związane z konclude

wymaga

poleca

sugeruje

enhances

dep: default-dbus-session-bus

pakiet wirtualny udostępniany przez dbus-user-session

lub dbus-session-bus

pakiet wirtualny udostępniany przez dbus-user-session, dbus-x11

lub dbus-x11

Prosty system komunikacji międzyprocesowej (zależności X11)
dep: libatomic1 (>= 4.8) [armel, mipsel]

Biblioteka wsparcia zapewniająca wbudowane funkcje __atomic
dep: libc6 (>= 2.29)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libgcc-s1 (>= 3.0) [nie armel, armhf, i386, mipsel]

Biblioteka wspomagająca GCC

dep: libgcc-s1 (>= 3.5) [armel, armhf]

dep: libgcc-s1 (>= 4.2) [i386, mipsel]
dep: libjemalloc2 (>= 5.0.0)

general-purpose scalable concurrent malloc(3) implementation
dep: libqt5concurrent5 (>= 5.6.0~rc)

Qt 5 concurrent module
dep: libqt5core5a (>= 5.15.1)

Qt 5 core module
dep: libqt5network5 (>= 5.0.2)

Qt 5 network module
dep: libqt5xml5 (>= 5.1.0)

Qt 5 XML module
dep: libraptor2-0 (>= 2.0.14)

Raptor 2 RDF syntax library
dep: librasqal3 (>= 0.9.31)

Rasqal RDF query library
dep: librdf0 (>= 1.0.17)

Redland Resource Description Framework (RDF) library
dep: libstdc++6 (>= 5.2)

Standardowa biblioteka GNU C++, wersja 3

Pobieranie konclude

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	3 192,7 KiB	22 636,0 KiB	[lista plików]
arm64	2 860,1 KiB	22 585,0 KiB	[lista plików]
armel	2 702,5 KiB	21 033,0 KiB	[lista plików]
armhf	2 777,0 KiB	18 561,0 KiB	[lista plików]
i386	3 545,8 KiB	23 330,0 KiB	[lista plików]
mips64el	3 195,0 KiB	30 696,0 KiB	[lista plików]
mipsel	3 330,4 KiB	29 185,0 KiB	[lista plików]
ppc64el	3 153,2 KiB	25 711,0 KiB	[lista plików]
s390x	2 917,7 KiB	23 879,0 KiB	[lista plików]