@techreport{FikesMcGuiness2001,
  author	= {Fikes, Richard and McGuinness, Deborah L.},
  title		= {An Axiomatic Semantics for RDF, RDF Schema, and DAML+OIL},
  institution	= {Stanford University},
  year		= {2001},
  type		= {KSL Technical Report},
  number	= {KSL-01-01},
  URL		= {http://www.ksl.stanford.edu/people/dlm/daml-semantics/abstract-axiomatic-semantics.html},
  urlpage	= {http://www.ksl.stanford.edu/people/dlm/daml-semantics/abstract-axiomatic-semantics.html}
}