@misc{daml-mt-daml,
  title = "A Model-Theoretic Semantics for {DAML+OIL} ({M}arch 2001)",
  author = "Frank {van Harmelen} and Peter F. Patel-Schneider and Ian Horrocks",
  year = "2001",
  month = "MAR",
  note = "\url{http://www.daml.org/2001/03/model-theoretic-semantics.html}",
  url = "<a href="http://www.daml.org/2001/03/model-theoretic-semantics.html">http://www.daml.org/2001/03/model-theoretic-semantics.html</a>",
}