EYE is a reasoning engine supporting the Semantic Web layers and implementing Notation3.
EYE performs forward and backward chaining along Euler paths. Forward chaining is applied for rules using => in Notation3 and backward chaining is applied for rules using <= in Notation3 which one can imagine as user defined built-ins. 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.
-
Install SWI-Prolog from http://www.swi-prolog.org/Download.html
-
Test the SWI-Prolog installation via command line
swipl --versionand it should return the installed version number. -
Run the installation script
install.sh [--prefix=Prefix]. The default prefix is /usr/local. This will- create the EYE image file at
$prefix/lib/eye.pvm - create the EYE launch script eye ub
$prefix/bin/eye
- create the EYE image file at
Test the EYE installation via command line eye --version and it should return the version which is in the file VERSION.
Create a test Notation3 file. We use the file socrates.n3 as example:
$ cat socrates.n3
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix : <http://example.org/socrates#>.
:Socrates a :Human.
:Human rdfs:subClassOf :Mortal.
{
?S a ?A .
?A rdfs:subClassOf ?B .
}
=>
{
?S a ?B .
} .
Run the EYE reasoner without proof explanation, in quiet mode and passing all deductive closures to the output:
$ eye --nope --quiet --pass socrates.n3
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix : <http://example.org/socrates#>.
:Socrates a :Human.
:Socrates a :Mortal.
:Human rdfs:subClassOf :Mortal.
- Eye command line arguments and flags
- Eye reasoning examples and test cases
- Notation3 by example
- RDF Surfaces aka BLOGIC
- Running EYE using Docker
- Notation3 Editor https://editor.notation3.org/
- Semantic Web Reasoning With N3 https://n3.restdesc.org/rules/executing-rules/
- Eyebrow https://github.com/eyereasoner/eyebrow
- Home page of EYE https://eyereasoner.github.io/eye/
- Former home page of EYE http://eulersharp.sourceforge.net/
- Notation3 W3C Draft Community Group Report https://w3c.github.io/N3/spec/
- More EYE tools and scripts https://github.com/eyereasoner/
- Design Issues of Tim Berners-Lee: The Semantic Web as a language of logic
- PhD thesis of Dörthe Arndt: Notation3 as the Unifying Logic for the Semantic Web
Verborgh, R. , De Roo, J. : Drawing Conclusions from Linked Data on the Web: The EYE Reasoner. IEEE Software (2015) Online Version