Ubuntu
fact++ package

fact++ 1.6.5~dfsg-1 source package in Ubuntu

Changelog

fact++ (1.6.5~dfsg-1) unstable; urgency=medium

  [ upstream ]
  * New release.

  [ Jonas Smedegaard ]
  * Modernize CDBS use: Build-depend on licensecheck (not devscripts).
  * Update watch file: Fix watch URL.
  * Update copyright info: Extend coverage for main upstream author.

 -- Jonas Smedegaard <email address hidden>  Mon, 02 Jan 2017 15:36:36 +0100

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section
Bionic release universe x11

Downloads

File Size SHA-256 Checksum
fact++_1.6.5~dfsg-1.dsc 1.8 KiB 14beef40f37e80d0b86eaf73260dfe7674c6a825ab6d32f0e0195879793c0df4
fact++_1.6.5~dfsg.orig.tar.bz2 334.8 KiB 7be49781a85af921668269d5cd24d053573075c21e782642e5defad32c763990
fact++_1.6.5~dfsg-1.debian.tar.xz 6.5 KiB 27622c7f2030ce029c1cb3c1cf7da1d0642fae175ca8000005f3980203b31b48

Available diffs

No changes file available.

Binary packages built by this source

fact++: description logic reasoner for the semantic web

 FaCT++ is a DL reasoner. It supports OWL DL as well as the forthcoming
 standard OWL 1.1. FaCT++ is implemented in C++ and uses optimised
 tableaux algorithms. The tool is probably best known for its
 compatibility with the tool Protege that helps to formally represent
 semantics.