Reasoning engine that is talking RDF 1.X as the web lingua.
Examples are in lingua and their proofs in lingua/proof.