Paquet : konclude (0.7.0+1138+git20220514~dfsg-1 et autres)

[ Paquet source : konclude  ]

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

• 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: libatomic1 (>= 4.8) [armel, m68k, sh4]

  bibliothèque de prise en charge fournissant des fonctions internes __atomic

• dep: libc6 (>= 2.34) [non alpha, ia64, sh4]

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

  dep: libc6 (>= 2.37) [sh4]

• dep: libc6.1 (>= 2.34) [alpha]

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

  dep: libc6.1 (>= 2.37) [ia64]

• dep: libgcc-s1 (>= 3.0) [non armel, armhf, hppa, i386, ia64, m68k, sh4]

  bibliothèque de prise en charge de GCC

  dep: libgcc-s1 (>= 3.3.4) [sh4]

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

  dep: libgcc-s1 (>= 4.2) [i386, ia64]

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  bibliothèque de prise en charge de GCC

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  bibliothèque de prise en charge de GCC

• dep: libjemalloc2 (>= 5.0.0)

  general-purpose scalable concurrent malloc(3) implementation

• dep: libqt5concurrent5 (>= 5.6.0~rc) [alpha]

  module Concurrent de Qt⋅5

• dep: libqt5concurrent5t64 (>= 5.6.0~rc) [non alpha]

  module Concurrent de Qt⋅5

• dep: libqt5core5a (>= 5.15.1) [alpha]

  module principal de QT⋅5

• dep: libqt5core5t64 (>= 5.15.1) [non alpha]

  module principal de QT⋅5

• dep: libqt5network5 (>= 5.0.2) [alpha]

  module réseau de Qt⋅5

• dep: libqt5network5t64 (>= 5.0.2) [non alpha]

  module réseau de Qt⋅5

• dep: libqt5xml5 (>= 5.1.0) [alpha]

  Qt 5 XML module

• dep: libqt5xml5t64 (>= 5.1.0) [non alpha]

  Qt 5 XML module

• dep: libraptor2-0 (>= 2.0.15)

  bibliothèque Raptor 2 pour la syntaxe RDF

• dep: librasqal3 (>= 0.9.31) [alpha]

  Rasqal RDF query library

• dep: librasqal3t64 (>= 0.9.31) [non alpha]

  Rasqal RDF query library

• dep: librdf0 (>= 1.0.17) [alpha]

  Redland Resource Description Framework (RDF) library

• dep: librdf0t64 (>= 1.0.17) [non alpha]

  Redland Resource Description Framework (RDF) library

• dep: libstdc++6 (>= 13.1) [non alpha]

  bibliothèque standard C++ de GNU v3

  dep: libstdc++6 (>= 5.2) [alpha]

• dep: libunwind8 [ia64]

  bibliothèque pour déterminer la chaîne d'appel d'un programme –⋅exécutable

Télécharger konclude

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	0.7.0+1138+git20220514~dfsg-1	3 212,2 ko	26 527,0 ko	[liste des fichiers]
amd64	0.7.0+1138+git20220514~dfsg-1+b1	3 400,8 ko	23 627,0 ko	[liste des fichiers]
arm64	0.7.0+1138+git20220514~dfsg-1+b1	3 073,9 ko	23 880,0 ko	[liste des fichiers]
armel	0.7.0+1138+git20220514~dfsg-1+b1	2 781,9 ko	21 576,0 ko	[liste des fichiers]
armhf	0.7.0+1138+git20220514~dfsg-1+b1	2 847,0 ko	18 904,0 ko	[liste des fichiers]
hppa (portage non officiel)	0.7.0+1138+git20220514~dfsg-1+b1	3 430,8 ko	25 970,0 ko	[liste des fichiers]
i386	0.7.0+1138+git20220514~dfsg-1+b1	3 729,8 ko	24 085,0 ko	[liste des fichiers]
ia64 (portage non officiel)	0.7.0+1138+git20220514~dfsg-1+b1	3 541,1 ko	35 725,0 ko	[liste des fichiers]
m68k (portage non officiel)	0.7.0+1138+git20220514~dfsg-1+b1	3 396,2 ko	23 772,0 ko	[liste des fichiers]
mips64el	0.7.0+1138+git20220514~dfsg-1+b1	3 340,7 ko	31 522,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	0.7.0+1138+git20220514~dfsg-1+b1	3 281,2 ko	29 054,0 ko	[liste des fichiers]
ppc64el	0.7.0+1138+git20220514~dfsg-1+b1	3 304,4 ko	26 695,0 ko	[liste des fichiers]
riscv64	0.7.0+1138+git20220514~dfsg-1+b2	3 458,5 ko	22 428,0 ko	[liste des fichiers]
s390x	0.7.0+1138+git20220514~dfsg-1+b1	3 379,8 ko	24 848,0 ko	[liste des fichiers]
sh4 (portage non officiel)	0.7.0+1138+git20220514~dfsg-1+b1	3 904,8 ko	23 160,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	0.7.0+1138+git20220514~dfsg-1+b1	2 655,9 ko	23 580,0 ko	[liste des fichiers]
x32 (portage non officiel)	0.7.0+1138+git20220514~dfsg-1+b1	3 356,9 ko	22 454,0 ko	[liste des fichiers]