Paquet : konclude (0.7.0+1138+git20220514~dfsg-1 et autres)
Liens pour konclude
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source 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]
Responsable :
Ressources externes :
- Page d'accueil [www.konclude.com]
Paquets similaires :
raisonneur de logique descriptive basé sur les tableaux pour le web sémantique
Konclude est un raisonneur de haute performance pour des ontologies complètes et démonstratives. Le langage ontologique pris en charge est de manière formelle caractérisé par la logique descriptive (Description Logic — DL) SROIQV(D). En d’autres mots, Konclude peut gérer tout le langage ontologique du web (Web Ontology Language — OWL 2) avec presque tous les types de données. De plus, Konclude prend en charge les schémas nominaux qui permettent d’exprimer des règles arbitraires DL-safe de manière simple en utilisant une syntaxe d’ontologie donnée, étendue avec des variables.
Konclude peut être utilisé à l’aide d’OWLlink en tant que serveur OWLlink, ainsi qu’à partir de la ligne de commande. Pour les applications qui utilisent l’API OWL, l’adaptateur d’API OWL OWLlink peut être utilisé pour une liaison avec le serveur Konclude.
Autres paquets associés à konclude
|
|
|
|
-
- dep: default-dbus-session-bus
- paquet virtuel fourni par dbus-user-session
- ou dbus-session-bus
- paquet virtuel fourni par dbus-user-session, dbus-x11
-
- dep: libc6 (>= 2.34)
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
-
- dep: libgcc-s1 (>= 3.0)
- bibliothèque de prise en charge de GCC
-
- dep: libjemalloc2 (>= 5.0.0)
- general-purpose scalable concurrent malloc(3) implementation
-
- dep: libqt5concurrent5t64 (>= 5.6.0~rc)
- module Concurrent de Qt⋅5
-
- dep: libqt5core5t64 (>= 5.15.1)
- module principal de QT⋅5
-
- dep: libqt5network5t64 (>= 5.0.2)
- module réseau de Qt⋅5
-
- dep: libqt5xml5t64 (>= 5.1.0)
- Qt 5 XML module
-
- dep: libraptor2-0 (>= 2.0.15)
- bibliothèque Raptor 2 pour la syntaxe RDF
-
- dep: librasqal3t64 (>= 0.9.31)
- Rasqal RDF query library
-
- dep: librdf0t64 (>= 1.0.17)
- Redland Resource Description Framework (RDF) library
-
- dep: libstdc++6 (>= 13.1)
- bibliothèque standard C++ de GNU v3
Télécharger konclude
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| arm64 | 0.7.0+1138+git20220514~dfsg-1+b1 | 3 073,9 ko | 23 880,0 ko | [liste des fichiers] |