معرفی شرکت ها

konclude_0.6.2~dfsg-6_amd64.deb

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

tableau-based description logic reasoner for the semantic web
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main amd64
نام بسته konclude
نام فایل بسته konclude_0.6.2~dfsg-6_amd64.deb
نسخه بسته 0.6.2~dfsg
انتشار بسته 6
معماری بسته amd64
نگهدارنده Jonas Smedegaard <dr@jones.dk>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.konclude.com/
مجوز -
حجم دانلود 1861396
حجم نصب 8790
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.6.2~dfsg-6_arm64.deb 0.6.2~dfsg arm64 Debian main
konclude_0.6.2~dfsg-6_armel.deb 0.6.2~dfsg armel Debian main
konclude_0.6.2~dfsg-6_armhf.deb 0.6.2~dfsg armhf Debian main
konclude_0.6.2~dfsg-6_i386.deb 0.6.2~dfsg i386 Debian main
konclude_0.6.2~dfsg-6_mips.deb 0.6.2~dfsg mips Debian main
konclude_0.6.2~dfsg-6_mips64el.deb 0.6.2~dfsg mips64el Debian main
konclude_0.6.2~dfsg-6_mipsel.deb 0.6.2~dfsg mipsel Debian main
konclude_0.6.2~dfsg-6_ppc64el.deb 0.6.2~dfsg ppc64el Debian main
konclude_0.6.2~dfsg-6_s390x.deb 0.6.2~dfsg s390x Debian main


نیازمندی

مقدار نام
- default-dbus-session-bus | dbus-session-bus | dbus-x11
>= 2.14 libc6
>= 1:3.0 libgcc1
- libgl1
>= 5.11.0~rc1 libqt5core5a
>= 5.0.2 libqt5gui5
>= 5.0.2 libqt5network5
>= 5.1.0 libqt5xml5
>= 5.2 libstdc++6


نحوه نصب


نصب پکیج deb konclude:

    sudo apt-get install konclude_0.6.2~dfsg-6_amd64.deb


فایل ها

مسیرها
./usr/bin/Konclude
./usr/share/doc/konclude/Readme.txt.gz
./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/Tests/1b-satisfiability-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/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/test-request.xml
./usr/share/man/man1/Konclude.1.gz