معرفی شرکت ها
konclude_0.7.0+1137~dfsg-1_mipsel.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
tableau-based description logic reasoner for the semantic web
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bullseye-11 |
| مخزن | Debian main mipsel |
| نام بسته | konclude |
| نام فایل بسته | konclude_0.7.0+1137~dfsg-1_mipsel.deb |
| نسخه بسته | 0.7.0+1137~dfsg |
| انتشار بسته | 1 |
| معماری بسته | mipsel |
| نگهدارنده | Jonas Smedegaard <dr@jones.dk> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://www.konclude.com/ |
| مجوز | - |
| حجم دانلود | 3410360 |
| حجم نصب | 29185 |
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.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| konclude_0.7.0+1137~dfsg-1_amd64.deb | 0.7.0+1137~dfsg | amd64 | Debian main |
| konclude_0.7.0+1137~dfsg-1_arm64.deb | 0.7.0+1137~dfsg | arm64 | Debian main |
| konclude_0.7.0+1137~dfsg-1_armel.deb | 0.7.0+1137~dfsg | armel | Debian main |
| konclude_0.7.0+1137~dfsg-1_armhf.deb | 0.7.0+1137~dfsg | armhf | Debian main |
| konclude_0.7.0+1137~dfsg-1_i386.deb | 0.7.0+1137~dfsg | i386 | Debian main |
| konclude_0.7.0+1137~dfsg-1_mips64el.deb | 0.7.0+1137~dfsg | mips64el | Debian main |
| konclude_0.7.0+1137~dfsg-1_ppc64el.deb | 0.7.0+1137~dfsg | ppc64el | Debian main |
| konclude_0.7.0+1137~dfsg-1_s390x.deb | 0.7.0+1137~dfsg | s390x | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| - | default-dbus-session-bus | dbus-session-bus | dbus-x11 |
| >= 4.8 | libatomic1 |
| >= 2.29 | libc6 |
| >= 4.2 | libgcc-s1 |
| >= 5.0.0 | libjemalloc2 |
| >= 5.6.0~rc | libqt5concurrent5 |
| >= 5.15.1 | libqt5core5a |
| >= 5.0.2 | libqt5network5 |
| >= 5.1.0 | libqt5xml5 |
| >= 2.0.14 | libraptor2-0 |
| >= 0.9.31 | librasqal3 |
| >= 1.0.17 | librdf0 |
| >= 5.2 | libstdc++6 |
نحوه نصب
نصب پکیج deb konclude:
sudo apt-get install konclude_0.7.0+1137~dfsg-1_mipsel.deb
فایل ها
| مسیرها |
|---|
| ./usr/bin/Konclude |
| ./usr/share/doc/konclude/Readme.html |
| ./usr/share/doc/konclude/Readme.txt.gz |
| ./usr/share/doc/konclude/TODO.Debian |
| ./usr/share/doc/konclude/changelog.Debian.gz |
| ./usr/share/doc/konclude/copyright |
| ./usr/share/doc/konclude/examples/Configs/default-config.xml |
| ./usr/share/doc/konclude/examples/Configs/querying-config.xml |
| ./usr/share/doc/konclude/examples/Tests/1b-satisfiability-request.xml |
| ./usr/share/doc/konclude/examples/Tests/galen-ALEHIF+-classify-request.xml |
| ./usr/share/doc/konclude/examples/Tests/galen-classify-request.xml |
| ./usr/share/doc/konclude/examples/Tests/galen.owl.xml |
| ./usr/share/doc/konclude/examples/Tests/lubm-univ-bench-data-1.ttl |
| ./usr/share/doc/konclude/examples/Tests/lubm-univ-bench-sparql-load-and-complex-query-rasqal-test.sparql |
| ./usr/share/doc/konclude/examples/Tests/lubm-univ-bench-sparql-load-and-query-test.sparql |
| ./usr/share/doc/konclude/examples/Tests/lubm-univ-bench.owl.xml |
| ./usr/share/doc/konclude/examples/Tests/query-answers.xml |
| ./usr/share/doc/konclude/examples/Tests/roberts-family-full-D-classify-realize-request.xml |
| ./usr/share/doc/konclude/examples/Tests/roberts-family-full-D.owl.xml |
| ./usr/share/doc/konclude/examples/Tests/roberts-family-full-sparql-existential-variables-query-test.sparql |
| ./usr/share/doc/konclude/examples/Tests/test-request.xml |
| ./usr/share/man/man1/Konclude.1.gz |