Ubuntu
konclude package

konclude 0.6.2~dfsg-1 source package in Ubuntu

Changelog

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

  [ upstream ]
  * New release.

  [ Jonas Smedegaard ]
  * Update copyright info:
    + Repackage upstream tarball, stripping potentially non-DFSG binary
      file.
    + Use License-Grant and License-Reference fields.
      Thanks to Ben Finney.
  * Mangle repackaging suffix ~dfsg in watch file.
  * Add lintian override regarding license in License-Reference field.
    See bug#786450.
  * Bump debhelper compatibility level to 9.
  * Add lintian override regarding debhelper 9.

 -- Jonas Smedegaard <email address hidden>  Sun, 27 Dec 2015 13:04:19 +0530

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
Xenial release universe misc

Downloads

File Size SHA-256 Checksum
konclude_0.6.2~dfsg-1.dsc 1.9 KiB e9b5b800dda108337cd0e2dc35736c67f26f865641270d38a485ce509dc26207
konclude_0.6.2~dfsg.orig.tar.gz 1.9 MiB 18715c24c055c48cd56e0f8cb966c42f7db609fdc142dc62f3ec68f94df3dc7b
konclude_0.6.2~dfsg-1.debian.tar.xz 20.4 KiB d8c016b2069e763e5b4a3e13e56c8d28af83774397d1169edaf2d01ce9810c8b

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 yakkety.

No description available for konclude-dbgsym in ubuntu yakkety.