Package: konclude (0.6.2~dfsg-6)
Links for konclude
Debian Resources:
Download Source Package konclude:
Maintainer:
External Resources:
- Homepage [www.konclude.com]
Similar packages:
ragionatore per logica descrittiva basata su tavole per il web semantico
Konclude è un ragionatore ad alte prestazioni per ontologie vaste ed espressive. Il linguaggio di ontologia gestito è caratterizzato formalmente dalla logica descrittiva (DL) SROIQV(D). In altre parole, Konclude può gestire tutto OWL 2 (Web Ontology Language) con quasi tutti i tipi di dato. In aggiunta Konclude gestisce schemi nominali che permettono di esprimere regole arbitrarie sicure per la logica descrittiva semplicemente usando la sintassi di ontologia fornita estesa con variabili.
Konclude può essere usato tramite OWLlink come server OWLlink, così come dalla riga di comando. Per applicazioni che utilizzano l'API OWL, può essere usato l'adattatore per l'API OWL OWLlink per il link con un server Konclude.
Other Packages Related to konclude
|
|
|
|
-
- dep: default-dbus-session-bus
- virtual package provided by dbus-user-session
- or dbus-session-bus
- virtual package provided by dbus-user-session, dbus-x11
- or dbus-x11
- semplice sistema di scambio messaggi tra processi (dipendenze per X11)
-
- dep: libc6 (>= 2.4)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libgcc1 (>= 1:3.5)
- libreria di supporto a GCC
-
- dep: libgles2
- libreria di dispatch GL indipendente dal produttore -- gestione GLESv2
also a virtual package provided by mali-t62x-fbdev-driver, mali-t62x-wayland-driver, mali-t62x-x11-driver, mali-t76x-fbdev-driver, mali-t76x-wayland-driver, mali-t76x-x11-driver
-
- dep: libqt5core5a (>= 5.5.0)
- modulo principale di Qt 5
-
- dep: libqt5gui5 (>= 5.0.2)
- modulo GUI di Qt 5
-
- dep: libqt5network5 (>= 5.0.2)
- modulo di rete di Qt 5
-
- dep: libqt5xml5 (>= 5.1.0)
- modulo XML di Qt 5
-
- dep: libstdc++6 (>= 5.2)
- libreria GNU Standard C++, versione 3
Download konclude
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
armhf | 1,478.4 kB | 5,910.0 kB | [list of files] |