Paquet : konclude (0.6.2~dfsg-6)

Liens pour konclude

Ressources Debian :

Télécharger le paquet source konclude :

Responsable :

Jonas Smedegaard (Page QA)

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.

Étiquettes: Boîte à outils d'interface utilisateur: Qt

Autres paquets associés à konclude

dépendances

recommandations

suggestions

enhances

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

ou dbus-x11

système simple de messages inter-processus — dépendances X11
dep: libc6 (>= 2.14) [amd64]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb

dep: libc6 (>= 2.17) [arm64]

dep: libc6 (>= 2.4) [armhf, i386]
dep: libgcc1 (>= 1:3.0) [amd64, arm64]

bibliothèque de prise en charge de GCC

dep: libgcc1 (>= 1:3.5) [armhf]

dep: libgcc1 (>= 1:4.2) [i386]
dep: libgl1 [non armhf]

bibliothèque de transport GL indépendante du fournisseur – prise en charge de l’ancienne GL
dep: libgles2 [armhf]

bibliothèque indépendante du fournisseur pour l’acheminement GL – prise en charge de GLESv2
un paquet virtuel est également fourni par 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.11.0~rc1) [amd64, i386]

module principal de QT⋅5

dep: libqt5core5a (>= 5.5.0) [arm64, armhf]
dep: libqt5gui5 (>= 5.0.2)

module Qt⋅5 d'interface graphique
dep: libqt5network5 (>= 5.0.2)

module réseau de Qt⋅5
dep: libqt5xml5 (>= 5.1.0)

Qt 5 XML module
dep: libstdc++6 (>= 5.2)

bibliothèque standard C++ de GNU v3

Télécharger konclude

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	1 817,8 ko	8 790,0 ko	[liste des fichiers]
arm64	1 625,3 ko	8 762,0 ko	[liste des fichiers]
armhf	1 478,4 ko	5 910,0 ko	[liste des fichiers]
i386	2 056,7 ko	9 342,0 ko	[liste des fichiers]