An Axiomatic Semantics for RDF, RDF-S, and DAML+OIL (March 2001)