eye 22.1201.1601~ds-1 source package in Ubuntu
Changelog
eye (22.1201.1601~ds-1) unstable; urgency=medium [ upstream ] * new release(s) [ Jonas Smedegaard ] * install upstream changelog -- Jonas Smedegaard <email address hidden> Fri, 02 Dec 2022 20:30:04 +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 | |
---|---|---|---|---|
Oracular | release | universe | misc | |
Noble | release | universe | misc | |
Mantic | release | universe | misc | |
Lunar | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
eye_22.1201.1601~ds-1.dsc | 1.9 KiB | 0b07232765ab59ec66166a3ae3f538cdb9774ba90bb065674a4a77870ac17e3e |
eye_22.1201.1601~ds.orig.tar.xz | 2.3 MiB | e804eb41d54d6cc4ebb47fb0f8b5771a136d0de8052294d79881f51dca35d5c1 |
eye_22.1201.1601~ds-1.debian.tar.xz | 11.7 KiB | acd9f8be555c35d57d29ad3a6b30f0eab1b6d29a25e5b7503b72425f755031a1 |
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.