Overview (in spiffy, easy language) of URIs, XML, RDF, N-Triples, RDF Schemas, DAML+OIL, , WebOnt, Notation3, W3C. schemas, ontologies, logic, proof, trust (Tim Berners-Lee has proposed an "Oh, yeah?" button, that when clicked would have your computer att