eye 21.1203.1426~ds-1 source package in Ubuntu
Changelog
eye (21.1203.1426~ds-1) unstable; urgency=medium [ upstream ] * new release(s) [ Jonas Smedegaard ] * update copyright info: + use Reference field (not License-Reference) + update coverage * simplify source helper script copyright-check * declare compliance with Debian Policy 4.6.0 * use debhelper compatibility level 13 (not 12) * update and unfuzz patches * update autopkgtest scripts -- Jonas Smedegaard <email address hidden> Tue, 07 Dec 2021 19:05:21 +0100
Upload details
- Uploaded by:
- Jonas Smedegaard
- Uploaded to:
- Sid
- Original maintainer:
- Jonas Smedegaard
- Architectures:
- all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
eye_21.1203.1426~ds-1.dsc | 1.9 KiB | 485c2bce30a0b131e228b84520357fb27d675ebd0634a154dac88feceb1c62d1 |
eye_21.1203.1426~ds.orig.tar.xz | 758.6 KiB | cf23b03a041d25d0d1de4c7597a70540c9cc53ec8a753f3a98237f9de89de690 |
eye_21.1203.1426~ds-1.debian.tar.xz | 11.4 KiB | 16226ef94242a25bfbf449919fe8840a697adc502578f9336a8add080a2a7f5c |
Available diffs
No changes file available.
Binary packages built by this source
- eye: 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.