EYE RGB

RGB stands for the red, green and blue layers of
the semantic web layer cake i.e. linked data (red),
unifying logic (green) and pragmatic proof (blue).

While standing on the giant shoulders of Linked Data
EYE is trying to realize the full potential of EULER
i.e. EYE for Unifying Logic and Explainable Reasoning.


Designissues
------------

o Proof construction using the proof vocabulary
o Proof without @ keywords and without bindings

o Cwm Built-in functions
o Logic Framework Extension builtins
o RIF Datatypes and Built-Ins
o Prolog builtins

o Turtle without @ keywords
o Notation 3 graph literals