Paket: konclude (0.6.2~dfsg-6)

[ Quellcode: konclude  ]

tableau-based description logic reasoner for the semantic web

Konclude is a high-performance reasoner for large and expressive ontologies. The supported ontology language is formally characterised by the Description Logic (DL) SROIQV(D). In other words, Konclude can handle all of the Web Ontology Language (OWL 2) with almost all datatypes. In addition, Konclude supports nominal schemas which allow for expressing arbitrary DL-safe rules simply by using given ontology syntax extended with variables.

Konclude can be used via OWLlink as an OWLlink server as well as via command line. For applications that use the OWL API, the OWLlink OWL API Adapter can be used to link with a Konclude server.

Markierungen: GUI-Baukasten: Qt

Andere Pakete mit Bezug zu konclude

• dep: default-dbus-session-bus

  virtuelles Paket, bereitgestellt durch dbus-user-session

  oder dbus-session-bus

  virtuelles Paket, bereitgestellt durch dbus-user-session, dbus-x11

  oder dbus-x11

  Einfaches Interprozess-Nachrichtensystem (X11-abhängig)

• dep: libc6 (>= 2.14) [amd64]

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

  dep: libc6 (>= 2.17) [arm64]

  dep: libc6 (>= 2.4) [armhf, i386]

• dep: libgcc1 (>= 1:3.0) [amd64, arm64]

  GCC Support-Bibliothek

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

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

• dep: libgl1 [nicht armhf]

  Herstellerunabhängige GL-Verteilbibliothek -- Unterstützung für die alte libGL

• dep: libgles2 [armhf]

  Herstellerunabhängige GL-Verteilbibliothek -- GLESv2-Unterstützung
  auch ein virtuelles Paket, bereitgestellt durch 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]

  Qt-5-Basismodul

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

• dep: libqt5gui5 (>= 5.0.2)

  Qt-5-GUI-Modul

• dep: libqt5network5 (>= 5.0.2)

  Qt-5-Netzwerkmodul

• dep: libqt5xml5 (>= 5.1.0)

  XML-Modul für Qt 5

• dep: libstdc++6 (>= 5.2)

  GNU-Implementierung der Standard-C++-Bibliothek (Version 3)

konclude herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
amd64	1.817,8 kB	8.790,0 kB	[Liste der Dateien]
arm64	1.625,3 kB	8.762,0 kB	[Liste der Dateien]
armhf	1.478,4 kB	5.910,0 kB	[Liste der Dateien]
i386	2.056,7 kB	9.342,0 kB	[Liste der Dateien]