Package - konclude

Package:  konclude
apt-get install konclude
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/k/konclude/konclude_0.7.0+1138+git20220514~dfsg-1+b1_amd64.deb (Size: 3.3MiB)

PropertyValue
Packagekonclude
Sourcekonclude (0.7.0+1138+git20220514~dfsg-1)
Version0.7.0+1138+git20220514~dfsg-1+b1
Installed-Size23627
MaintainerJonas Smedegaard
Architectureamd64
Dependsdefault-dbus-session-bus | dbus-session-bus, libc6 (>= 2.34), libgcc-s1 (>= 3.0), libjemalloc2 (>= 5.0.0), libqt5concurrent5t64 (>= 5.6.0~rc), libqt5core5t64 (>= 5.15.1), libqt5network5t64 (>= 5.0.2), libqt5xml5t64 (>= 5.1.0), libraptor2-0 (>= 2.0.15), librasqal3t64 (>= 0.9.31), librdf0t64 (>= 1.0.17), libstdc++6 (>= 13.1)
Descriptiontableau-based description logic reasoner for the semantic web
Description-md5be956a63cc81d3b287d3fb94fd010637
Homepagehttp://www.konclude.com/
Taguitoolkit::qt
Sectionscience
Priorityoptional
Filenamepool/main/k/konclude/konclude_0.7.0+1138+git20220514~dfsg-1+b1_amd64.deb
Size3482388
MD5sumca877d8ba736144d741daa391d9db25c
SHA256f395d1b9392da68e10030d4231d02ffe34f62f26ec7402142a30479a3457c85a

Files in package

  • /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.amd64.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/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/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