[ Source: konclude ]
Package: konclude (0.7.0 1138 git20220514~dfsg-1)
Links for konclude
Debian Resources:
Download Source Package konclude:
- [konclude_0.7.0 1138 git20220514~dfsg-1.dsc]
- [konclude_0.7.0 1138 git20220514~dfsg.orig.tar.xz]
- [konclude_0.7.0 1138 git20220514~dfsg-1.debian.tar.xz]
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
-
- dep: libatomic1 (>= 4.8)
- libreria ausiliaria che fornisce funzioni __atomic incorporate
-
- dep: libc6 (>= 2.34)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 4.2)
- libreria di supporto a GCC
-
- dep: libjemalloc2 (>= 5.0.0)
- implementazione generica scalabile concorrente di malloc(3)
-
- dep: libqt5concurrent5 (>= 5.6.0~rc)
- modulo concorrente per Qt 5
-
- dep: libqt5core5a (>= 5.15.1)
- modulo principale 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: libraptor2-0 (>= 2.0.15)
- libreria Raptor 2 per sintassi RDF
-
- dep: librasqal3 (>= 0.9.31)
- libreria per interrogazione di Rasqal RDF
-
- dep: librdf0 (>= 1.0.17)
- Redland, libreria RDF (Resource Description Framework)
-
- dep: libstdc 6 (>= 5.2)
- libreria GNU Standard C , versione 3
Download konclude
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| mipsel | 3,494.1 kB | 30,418.0 kB | [list of files] |