Skip to content

KNowledgeOnWebScale/see

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

32 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Second Eye of Euler - SEE

Reasoning engine that is talking RDF 1.X as the web lingua.

Examples are in lingua and their proofs in lingua/proof.