Ubuntu
konclude package

konclude 0.7.0+1138+git20220514~dfsg-1build3 source package in Ubuntu

Changelog

konclude (0.7.0+1138+git20220514~dfsg-1build3) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

 -- William Grant <email address hidden>  Mon, 01 Apr 2024 17:46:34 +1100

Upload details

Uploaded by:
William Grant
Uploaded to:
Noble
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe misc
Noble release universe misc

Downloads

File Size SHA-256 Checksum
konclude_0.7.0+1138+git20220514~dfsg.orig.tar.xz 2.1 MiB 2633e3d66a260564a644986c83f260469bef4630e0f050e06dc7d6e15616bd6f
konclude_0.7.0+1138+git20220514~dfsg-1build3.debian.tar.xz 10.3 KiB 64b2a0438660e24860fe497e77a13191e3e68ad105169c4b3728145a61adae00
konclude_0.7.0+1138+git20220514~dfsg-1build3.dsc 2.3 KiB d6395100e0cd9d2a6c8a64850ed6f8bf34f13a23fbb6738871a96944cc375a6d

View changes file

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: debug symbols for konclude