معرفی شرکت ها


konclude_0.6.2~dfsg-6_ppc64el.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 ppc64el
نام بسته konclude
نام فایل بسته konclude_0.6.2~dfsg-6_ppc64el.deb
نسخه بسته 0.6.2~dfsg
انتشار بسته 6
معماری بسته ppc64el
نگهدارنده Jonas Smedegaard <dr@jones.dk>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.konclude.com/
مجوز -
حجم دانلود 1848176
حجم نصب 10929
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_amd64.deb 0.6.2~dfsg amd64 Debian main
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_s390x.deb 0.6.2~dfsg s390x Debian main


نیازمندی

مقدار نام
- default-dbus-session-bus | dbus-session-bus | dbus-x11
>= 2.17 libc6
>= 1:3.0 libgcc1
- libgl1
>= 5.5.0 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_ppc64el.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