konclude (0.7.0+1138+git20220514~dfsg-1build4)

Details

Core information at a glance

Distribution
ubuntu
Origin
ubuntu-stonking
Repository
https://nl.archive.ubuntu.com/ubuntu
Codename
stonking
Component
universe
Source
none
Architecture
amd64v3
Section
universe/science
Priority
optional
Maintainer
Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
21.3 kB
Size expected
3.4 MB
Size actual
3.4 MB
Size match

Dependencies

Required package dependencies

  • default-dbus-session-bus | dbus-session-bus
  • libc6 (>= 2.34)
  • libgcc-s1 (>= 3.3.1)
  • 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)

Suggested packages

Recommended additional packages

  • None

Description

tableau-based description logic reasoner for the semantic web

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD527cf4a57…7d541c02
SHA-11e2d4831…305034cb
SHA-256b2d06fe8…eea0fb36
SHA-51241d1ad9e…b821b957

Contents

Files and directories included

.
usr
usr/bin
usr/bin/Konclude
usr/share
usr/share/doc
usr/share/doc/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
usr/share/doc/konclude/examples/Configs
usr/share/doc/konclude/examples/Configs/default-config.xml
usr/share/doc/konclude/examples/Configs/querying-config.xml
usr/share/doc/konclude/examples/Tests
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
usr/share/man/man1
usr/share/man/man1/Konclude.1.gz