Your message dated Tue, 21 Jul 2015 11:00:15 +0000 with message-id <e1zhvht-0003df...@franck.debian.org> and subject line Bug#785934: fixed in konclude 0.6.1-1 has caused the Debian Bug report #785934, regarding ITP: konclude -- tableau-based description logic reasoner for the semantic web to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 785934: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=785934 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: wnpp Severity: wishlist Owner: Jonas Smedegaard <d...@jones.dk> -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 * Package name : konclude Version : 0.6.1 Upstream Author : Konclude Developer Team * URL : http://www.konclude.com/ * License : LGPL-2.1 Programming Lang: C++ Description : 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. -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBAgAGBQJVXKD5AAoJECx8MUbBoAEhra0P/0NcPETziplrDWZhAVOANdbe N0CVnGE6lqt0HoBy+av1RKN/S349unBwjGNqGuCrXHU3GYuIOa4CHF5m5cqG0fRJ ZZ2+L8QrbIR7N9qMTpKSBysjom4yLtP7V9KbFBEZvuf6hVO/aO40sHYNwZ7JU+tb xkr0OxCCINbAnSnj4RB19J8j975dHkvAsTM5buylk8RJT2VvtkymXgKb8OKtw7B6 isgRXZ7WWoWe8AReKoIn/JNzNJdJ4gc40XRKYzLOyWQxWwZNAuINq72ByTXnMxd6 6g+Hk0dZoIEa8+5cf1nnzWw4RGTpubkqgM5B0tPSK1zPAaX54ew03VFOjsOrVAgC IPCUjKwP+ekWqWAdYxIenUgGXRoxijzdGft29MOWPCFXI15xzIZKC+lLIPo4PEh0 39OVlNmISMGddo4SkK7N+nYaFuYh7ukafldi39G60fhdAXopGyzEVrFfgXWIy/Vv 2xG0ZxzGL4MRsEK8kTkk/reAvgtDidhfHmyHiR/8cO3dNvjE1qHBfCt4WquelBiw AuewUV4obBCax3+8bN6FS/EnuFJ+JxHTkpQ28fvrHgiTtMXoMWxDT4FA6wlz662i YQXzRqLFHHIz6HjY9xQ5e5MHKMaHa8FHTz7I2YhX9aJQtFBOtVe8L3d7iGs5Ma7b oqWQep60a6/4Zff5ntHV =kfQy -----END PGP SIGNATURE-----
--- End Message ---
--- Begin Message ---Source: konclude Source-Version: 0.6.1-1 We believe that the bug you reported is fixed in the latest version of konclude, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 785...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Jonas Smedegaard <d...@jones.dk> (supplier of updated konclude package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 20 May 2015 20:07:11 +0200 Source: konclude Binary: konclude Architecture: source amd64 Version: 0.6.1-1 Distribution: unstable Urgency: low Maintainer: Jonas Smedegaard <d...@jones.dk> Changed-By: Jonas Smedegaard <d...@jones.dk> Description: konclude - tableau-based description logic reasoner for the semantic web Closes: 785934 Changes: konclude (0.6.1-1) unstable; urgency=low . * Initial packaging release. Closes: bug#785934. Checksums-Sha1: 57ae86474c61ae2bebc56b7a70d973b39a40462b 1865 konclude_0.6.1-1.dsc af73b6753ea6990d3236b7a254ae8075b1cc69ff 1972608 konclude_0.6.1.orig.tar.gz d0e98dae009899698abfacac1b5ecd32bb0016b6 20616 konclude_0.6.1-1.debian.tar.xz 72bd0d77c323e3d7e6958868af4de0d12eea1497 1816996 konclude_0.6.1-1_amd64.deb Checksums-Sha256: a48352deee058b35ee92326f75f59ee54a12b1b6f6f96c4480584d4fd2bcc4c6 1865 konclude_0.6.1-1.dsc 9d9478afebf45cdebc0a8186edc89f928c1606606807a04e205741d1fbe978ac 1972608 konclude_0.6.1.orig.tar.gz 4535fac79b10bbddc76ddec22511e66675476a0d518789e685f3c5466c1d0ff8 20616 konclude_0.6.1-1.debian.tar.xz e26e3066eab9111e9e88f00aa6b66db7cb5be6cf8ab5425c249c486bbf6da403 1816996 konclude_0.6.1-1_amd64.deb Files: 350480c71a139fbf6b0b1a2817faa7e7 1865 science optional konclude_0.6.1-1.dsc 2dd5a59effa358678724bf25950f7d6b 1972608 science optional konclude_0.6.1.orig.tar.gz 8cdfad9d5968a93d71b38c137684aea6 20616 science optional konclude_0.6.1-1.debian.tar.xz d8356ee0cdf7bff12e86f04bfc358318 1816996 science optional konclude_0.6.1-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBAgAGBQJVXYHWAAoJECx8MUbBoAEhOGIP/3MNvt+t+hBvAIHczG+0dQgt se1lu3jRGIEyhSfeXqd6NlSQyokhOksOkKaF/AZp4OvrkDE6GdwDWs+w6RYzi5Ac eVFTXl5Rn1hovFZUOsQlwrzqX0nxnZaGaTLA5DzNN/8qVy7nuWOH3aXRy/wFCKJC sibsFErig3JfKy2GU0CeUBfFIHxDeUzcEq5i+to/K7I4aSpCQrdpHut4TWNGLPyG wI5jLCELz5TnQBfam3Ocli2oPPza7ZrlTRFh1Oc1PGTDjL+vK9x5O3FMy3KYx3CY IK3oquJsL4aKisaNlIGjUKWV2OxzKk5YCZcT5lHy/GeCDfsyoVZU7VLz8UwreRgm NvnDHLspnnrC0T9g1UA08I4n1+X+mhL1teFGaPCOAypvpDVtFQJByPACcUUzq1an UOYY1BkHtmGbdJJjmeLuyTTyHOn2PuD7DryiE7/pHLK2jJaF4DEj8dp88I5lrZGa RS4kaWnHkQ5yHYmIW6nMpVBJNPE3hlCtVYbnHhFDJHt9fAszlQFaFxM0jGYJECaH qLaLcrbQGtLbK7d72L7c4/wbrQnCzd/wBM2rjgQu3FoA5r9J+CoNMCPMc4SuzohQ xhA8VRstquFAJhipecfgAg+VrANl95B+ZH69M24jgXdzrRulaksQLqa35sx3mQsS 8yIhHJzHi2mX8fCC8MM1 =IpIh -----END PGP SIGNATURE-----
--- End Message ---
