Pinned Repositories
eye
Euler Yet another proof Engine
eye-js
A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
eye.js
eyebrow
Eye reasoning in the browser
EyeClient
EyeClient is a browser widget for the EYE reasoner.
EyeServer
EyeServer is a server for the EYE reasoner.
Koreografeye
A web choreography service using eye
lib-rdfs
An rdfs component library
Notation3-By-Example
Example N3 scripts to demonstrate the various built-in functions
reasoning-service
EYE N3 Reasoner's Repositories
eyereasoner/eye
Euler Yet another proof Engine
eyereasoner/eye-js
A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
eyereasoner/EyeServer
EyeServer is a server for the EYE reasoner.
eyereasoner/EyeClient
EyeClient is a browser widget for the EYE reasoner.
eyereasoner/Notation3-By-Example
Example N3 scripts to demonstrate the various built-in functions
eyereasoner/Koreografeye
A web choreography service using eye
eyereasoner/eyebrow
Eye reasoning in the browser
eyereasoner/reasoning-service
eyereasoner/lib-rdfs
An rdfs component library
eyereasoner/eye.js
eyereasoner/forwarder
Translate Notation3 backward rules into forward rules
eyereasoner/lib-owl
An owl component library
eyereasoner/line2surface
Compile a line syntax into RDF Surfaces
eyereasoner/n32s
Notation3 (RDF Surfaces) to N3S precompiler
eyereasoner/rdfsurfaces-tests
A test kit for RDF Surfaces
eyereasoner/euler
Looking at the eye reasoning cases from a standard prolog perspective
eyereasoner/EyeEarl
EARL report generator for EYE
eyereasoner/lingua
The lingua reasoner.
eyereasoner/Koreografeye-Plugin
A collection of Koreaografeye plugin extensions
eyereasoner/KoreografeyeDemo
Demonstrations for the Koreografeye project
eyereasoner/ling2n3
A Lingua to Notation3 translator
eyereasoner/team-pi
Policy processing experiments