EYE RGB

RGB stands for the red, green and blue layers of the Semantic
Web layer cake i.e. Linked Data, Unifying Logic and Proof.

Given Linked Data EYE is trying to realize the full potential
of EULER i.e. EYE = Unifying Logic + 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