Ubuntu
konclude package

konclude 0.6.2~dfsg-3 source package in Ubuntu

Changelog

konclude (0.6.2~dfsg-3) unstable; urgency=medium

  * Add patch from upstream to fix compilation with GCC6.
    Closes: bug#811670. Thanks to Martin Michlmayr and Andreas
    Steigmiller.
  * Declare compliance with Debian Policy 3.9.8.
  * Modernize Vcs-git fields to use https protocol.
  * Modernize CDBS: Build-depend on licensecheck (not devscripts).

 -- Jonas Smedegaard <email address hidden>  Mon, 22 Aug 2016 14:28:39 +0200

Upload details

Uploaded by:
Jonas Smedegaard
Uploaded to:
Sid
Original maintainer:
Jonas Smedegaard
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Bionic release universe misc

Downloads

File Size SHA-256 Checksum
konclude_0.6.2~dfsg-3.dsc 1.9 KiB 7165c983f642479c55b40fb24b6c74260040b74fe31f0278f095ca00410d5e36
konclude_0.6.2~dfsg.orig.tar.gz 1.9 MiB 18715c24c055c48cd56e0f8cb966c42f7db609fdc142dc62f3ec68f94df3dc7b
konclude_0.6.2~dfsg-3.debian.tar.xz 21.9 KiB bc515450699eb71b1d32b4f9bcc06a2e2534c4d90c3c0f0d8ad2a2366074ac24

Available diffs

No changes file available.

Binary packages built by this source

konclude: tableau-based description logic reasoner for the semantic web

 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-dbgsym: No summary available for konclude-dbgsym in ubuntu zesty.

No description available for konclude-dbgsym in ubuntu zesty.