[ Source: konclude ]
Package: konclude (0.7.0+1137~dfsg-1)
Links for konclude
Debian Resources:
Download Source Package konclude:
- [konclude_0.7.0+1137~dfsg-1.dsc]
- [konclude_0.7.0+1137~dfsg.orig.tar.xz]
- [konclude_0.7.0+1137~dfsg-1.debian.tar.xz]
Maintainer:
External Resources:
- Homepage [www.konclude.com]
Similar packages:
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.
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
- or dbus-x11
- Enkel mellemproces beskedsystem (X11 deps)
-
- dep: libatomic1 (>= 4.8) [armel, mipsel]
- Understøttelsesbibliotek der tilbyder __atomic indbyggede funktioner
-
- dep: libc6 (>= 2.29)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 3.0) [not armel, armhf, i386, mipsel]
- GCC støttebibliotek
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 4.2) [i386, mipsel]
-
- dep: libjemalloc2 (>= 5.0.0)
- skalerbar og samtidig malloc(3)-implementering for mange formål
-
- dep: libqt5concurrent5 (>= 5.6.0~rc)
- Qt 5 - samtidig-modul
-
- dep: libqt5core5a (>= 5.15.1)
- Qt 5 - basismodul
-
- dep: libqt5network5 (>= 5.0.2)
- Qt 5 - netværksmodul
-
- dep: libqt5xml5 (>= 5.1.0)
- Qt 5 - XML-modul
-
- dep: libraptor2-0 (>= 2.0.14)
- Raptor 2 RDF-syntaksbibliotek
-
- dep: librasqal3 (>= 0.9.31)
- Rasqal RDF-forespørgselsbibliotek
-
- dep: librdf0 (>= 1.0.17)
- Redland Resource Description Framework-bibliotek (RDF)
-
- dep: libstdc++6 (>= 5.2)
- GNU Standard C++ bibliotek v3
Download konclude
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 3,192.7 kB | 22,636.0 kB | [list of files] |
| arm64 | 2,860.1 kB | 22,585.0 kB | [list of files] |
| armel | 2,702.5 kB | 21,033.0 kB | [list of files] |
| armhf | 2,777.0 kB | 18,561.0 kB | [list of files] |
| i386 | 3,545.8 kB | 23,330.0 kB | [list of files] |
| mips64el | 3,195.0 kB | 30,696.0 kB | [list of files] |
| mipsel | 3,330.4 kB | 29,185.0 kB | [list of files] |
| ppc64el | 3,153.2 kB | 25,711.0 kB | [list of files] |
| s390x | 2,917.7 kB | 23,879.0 kB | [list of files] |