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.