see

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.