Bug#921147: marked as done (ITP: eye -- semantic web reasoning engine)
Your message dated Sun, 03 Feb 2019 08:10:37 +0000
with message-id <E1gqCrN-0008gS-RR@fasolo.debian.org>
and subject line Bug#921147: fixed in eye 19.0116.1239~ds-1
has caused the Debian Bug report #921147,
regarding ITP: eye -- semantic web reasoning engine
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 owner@bugs.debian.org
immediately.)
--
921147: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=921147
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Jonas Smedegaard <dr@jones.dk>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
* Package name : eye
Version : 19.0116.1239
Upstream Author : Jos De Roo
* URL : https://github.com/josd/eye
* License : Expat
Programming Lang: Prolog
Description : semantic web reasoning engine
Euler Yet another proof Engine (EYE) is a reasoning engine
supporting the Semantic Web layers.
It performs semibackward chaining and it supports Euler paths.
Via N3 it is interoperable with Cwm.
.
Semibackward chaining
is backward chaining for rules using <= in N3
and forward chaining for rules using => in N3.
This can be seen in EYE Reasoning.
.
Euler paths are roughly "don't step in your own steps"
which is inspired by what Leonhard Euler discovered in 1736
for the Königsberg Bridge Problem.
EYE sees the rule P => C as P & NOT(C) => C.
.
Notation3 (N3) is a shorthand non-XML serialization
of Resource Description Framework (RDF) models,
designed with human-readability in mind:
N3 is much more compact and readable than XML RDF notation.
.
Resource Description Framework (RDF) is a standard model
for data interchange on the Web.
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEn+Ppw2aRpp/1PMaELHwxRsGgASEFAlxVbxsACgkQLHwxRsGg
ASFzwA//Zf/AJQ6Kj+wz70inRme9O+0zWFQIOi7qbqyK+V3viJax67yKB8opkwuU
QBL26FcF7OjXkNgV2/J9llZB9lS/xE0RrOjwsaj2EP71ylf5t9XYHJuLDh17mqEb
n63zZCp75rhJ0nCkjlNq58AT56fmez3qGOTFan9BCL47/njMQbVvAoird1e2QOF1
B3zFTfmxEIMcUxErm2cKDDEUIwf9CXp1PASb/h98OOeLUmR/JOmelWLlxjseiMHT
EPMM1sFrLawm79COGEIbh4s3OoHTy1V3hfUiQYtEv11uBU2LQw68eqRmhg2psWVJ
Vkxb+RejDxpvsZ5WpxuyicLmQrcXTDmj9dzmVI6fzAeDVYYRz1NfzyeF/HA8wfWK
SsNgrMPpwLz93MBFMKoo9SCSZ9YiX+C9jGqnLy3al2IPjOBvUuUCl0bJPccFLmb1
thhidnSvasaZ9zAgYfpIQKNF2iKTLWBGlSojcAELwr4Vg/b6RE0Y2Qxg+0gfJUrW
nVCsxduYXWbER4ScZR0t1CoNYIcyyOujx+Wn9enRjIYwESxbBaKqS4UFLvvSsqSE
29N+TH3G6tLn2ke3jpjGhl6ilSgalssvOPKzouPcfzU9MDqq7WRLTLm0YpiBcf7F
luWRMaPLU2x4c0WFnTTLq/K3/pP8tl4UXdK9U4apv+8h/eQCCCM=
=59VH
-----END PGP SIGNATURE-----
--- End Message ---
--- Begin Message ---
- To: 921147-close@bugs.debian.org
- Subject: Bug#921147: fixed in eye 19.0116.1239~ds-1
- From: Jonas Smedegaard <dr@jones.dk>
- Date: Sun, 03 Feb 2019 08:10:37 +0000
- Message-id: <E1gqCrN-0008gS-RR@fasolo.debian.org>
Source: eye
Source-Version: 19.0116.1239~ds-1
We believe that the bug you reported is fixed in the latest version of
eye, 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 921147@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Jonas Smedegaard <dr@jones.dk> (supplier of updated eye 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 ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 02 Feb 2019 12:32:38 +0100
Source: eye
Binary: eye
Architecture: source all
Version: 19.0116.1239~ds-1
Distribution: unstable
Urgency: low
Maintainer: Jonas Smedegaard <dr@jones.dk>
Changed-By: Jonas Smedegaard <dr@jones.dk>
Description:
eye - semantic web reasoning engine
Closes: 921147
Changes:
eye (19.0116.1239~ds-1) unstable; urgency=low
.
* Initial release.
Closes: bug#921147.
Checksums-Sha1:
052c6fd23fed8c4b857f21a884ba6dccd6c211d3 1933 eye_19.0116.1239~ds-1.dsc
970a449f8db6628deb7b352c2178a2a3d3f43725 1236576 eye_19.0116.1239~ds.orig.tar.xz
bf25d74c5c8ba6e38b20ec424313b6e3c6f15b41 6628 eye_19.0116.1239~ds-1.debian.tar.xz
094da97f4c8e8513e2f63a7b575de59c551e36b2 1928760 eye_19.0116.1239~ds-1_all.deb
3e4e1b60891cbe631414f4abbb0d6947fafc402a 6440 eye_19.0116.1239~ds-1_amd64.buildinfo
Checksums-Sha256:
53fff7bc8673783b8041431df14b1c35d49ea0c58c3342838377fbcbe09968b4 1933 eye_19.0116.1239~ds-1.dsc
9626e36622f8464a3c8a4078739260f192c1780d9cfb68b8d42e513aa16b8a5a 1236576 eye_19.0116.1239~ds.orig.tar.xz
4d7eaad529a504d0ac0280cfe01091f20b63cb12a31968e325a3ff3936115822 6628 eye_19.0116.1239~ds-1.debian.tar.xz
2f34c9ae1534acad15424e34ef6b26302aab3b265aac5d11ca9a8231de1b38ad 1928760 eye_19.0116.1239~ds-1_all.deb
6dc2658aea6956b71363fb57a8d85d9f8f1147311156410681777a609a3e5bf1 6440 eye_19.0116.1239~ds-1_amd64.buildinfo
Files:
ee5671375797235c407146b78e389154 1933 science optional eye_19.0116.1239~ds-1.dsc
1c9ddc3714d48c08129b584c57cc275f 1236576 science optional eye_19.0116.1239~ds.orig.tar.xz
9fcc7dea8ea851cf777b7aad860981c5 6628 science optional eye_19.0116.1239~ds-1.debian.tar.xz
015daef767f413eecd74f67e6844b0b4 1928760 science optional eye_19.0116.1239~ds-1_all.deb
783e772876e44b3507c1071c5b5ed71b 6440 science optional eye_19.0116.1239~ds-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEn+Ppw2aRpp/1PMaELHwxRsGgASEFAlxVgK8ACgkQLHwxRsGg
ASEmUA/9E2fALnwskO1xgmNjKfA5LZGdZ2ufVogMfbrErGoDzYTUnfVA5WcC2h6x
yU3WGSOmdScBYspmuMXUotdgW4LKRwM4OEtd+YH1t7EFe5QUgjDRUYF5lTfGPZ0e
Q6C+t8PUBYwwm59J8DAeGF1/jx3DY15VmV7SEKJlREpNa+r9Gry8oJR50tjuTYHK
Gx8MVWvelAICjUMeeevuVkvSSWqaypWtqkb9LKh5SispjyzzbteLtwU6heDGYpk8
6LTrTCbG1MlEZUdXyeQ9EqY8D+bkLRvfgfTqdHiIxgR4PK0sDyleSilOv7MJbq6x
IHOnz1gHfEHka8kAJm46jXaiSTiIaoqXjyr+FI8PV14Xnn9MNIoTurmJw05hNYoZ
q8PPaLKewiOw3gxp1KW6+/tOmWNlwNXr/8rylmzhweBTGGm34ezEdKmBLLznEae2
sh4H3rNJAi72KWpaDy1ej/99t9cegdCXn5vYGIMBNNBXesTjlIJYkdW3IOWDO10C
l6N14AGRYAc1GNAqBbyqOKpQzo4ZBJGUbz9bRMb5QL4O0a0AHTyeeGEHB4bQ7l9X
MrXMzHyToq9+qqawxkhyzY2ck9b1jeilWffKtwajp4n9p8pHFxJbSElCwZMxd8n4
kSxEni9ITzYpMQZwGXwyWQ3d9idMasZUeZQVXl2W7QLqR7dSMZo=
=yEdC
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: