Package: konclude (0.7.0+1138+git20220514~dfsg-1 and others)

[ Source: konclude  ]

Tableau-baseret beskrivelseslogik for det semantiske net

Konclude er en højtydende logiker for store og udtryksfulde ontologier. Det understøttede ontologisprog er formelt karakteriseret af Description Logic (DL) SROIQV(D). Med andre ord kan Konclude håndtere hele Web Ontology Language (OWL 2) med næsten alle datatyper. Derudover understøtter Konclude nominelle skemaer, som tillader at udtrykke arbitrære DL-sikre regler ved bare at bruge en angiven ontologisyntaks udvidet med variabler.

Konclude kan bruges via OWLlink som en OWLlink-server samt via kommandolinjen. For programmer som bruger OWL API'en, kan OWLlink OWL API-adapteren bruges til at forbinde med en Koncludeserver.

Tags: Interface Toolkit: Qt

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) [armel, m68k, sh4]

  Understøttelsesbibliotek der tilbyder __atomic indbyggede funktioner

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

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.37) [sh4]

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

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6.1-udeb

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

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

  GCC støttebibliotek

  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]

  GCC støttebibliotek

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

  GCC støttebibliotek

• dep: libjemalloc2 (>= 5.0.0)

  skalerbar og samtidig malloc(3)-implementering for mange formål

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

  Qt 5 - samtidig-modul

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

  Qt 5 - samtidig-modul

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

  Qt 5 - basismodul

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

  Qt 5 - basismodul

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

  Qt 5 - netværksmodul

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

  Qt 5 - netværksmodul

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

  Qt 5 - XML-modul

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

  Qt 5 - XML-modul

• dep: libraptor2-0 (>= 2.0.15)

  Raptor 2 RDF-syntaksbibliotek

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

  Rasqal RDF-forespørgselsbibliotek

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

  Rasqal RDF-forespørgselsbibliotek

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

  Redland Resource Description Framework-bibliotek (RDF)

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

  Redland Resource Description Framework-bibliotek (RDF)

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

  GNU Standard C++ bibliotek v3

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

• dep: libunwind8 [ia64]

  Bibliotek til at bestemme call-chain for et program - kørselstid

Download konclude

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	0.7.0+1138+git20220514~dfsg-1	3,212.2 kB	26,527.0 kB	[list of files]
amd64	0.7.0+1138+git20220514~dfsg-1+b1	3,400.8 kB	23,627.0 kB	[list of files]
arm64	0.7.0+1138+git20220514~dfsg-1+b1	3,073.9 kB	23,880.0 kB	[list of files]
armel	0.7.0+1138+git20220514~dfsg-1+b1	2,781.9 kB	21,576.0 kB	[list of files]
armhf	0.7.0+1138+git20220514~dfsg-1+b1	2,847.0 kB	18,904.0 kB	[list of files]
hppa (unofficial port)	0.7.0+1138+git20220514~dfsg-1+b1	3,430.8 kB	25,970.0 kB	[list of files]
i386	0.7.0+1138+git20220514~dfsg-1+b1	3,729.8 kB	24,085.0 kB	[list of files]
ia64 (unofficial port)	0.7.0+1138+git20220514~dfsg-1+b1	3,541.1 kB	35,725.0 kB	[list of files]
m68k (unofficial port)	0.7.0+1138+git20220514~dfsg-1+b1	3,396.2 kB	23,772.0 kB	[list of files]
mips64el	0.7.0+1138+git20220514~dfsg-1+b1	3,340.7 kB	31,522.0 kB	[list of files]
ppc64 (unofficial port)	0.7.0+1138+git20220514~dfsg-1+b1	3,281.2 kB	29,054.0 kB	[list of files]
ppc64el	0.7.0+1138+git20220514~dfsg-1+b1	3,304.4 kB	26,695.0 kB	[list of files]
riscv64	0.7.0+1138+git20220514~dfsg-1+b2	3,458.5 kB	22,428.0 kB	[list of files]
s390x	0.7.0+1138+git20220514~dfsg-1+b1	3,379.8 kB	24,848.0 kB	[list of files]
sh4 (unofficial port)	0.7.0+1138+git20220514~dfsg-1+b1	3,904.8 kB	23,160.0 kB	[list of files]
sparc64 (unofficial port)	0.7.0+1138+git20220514~dfsg-1+b1	2,655.9 kB	23,580.0 kB	[list of files]
x32 (unofficial port)	0.7.0+1138+git20220514~dfsg-1+b1	3,356.9 kB	22,454.0 kB	[list of files]