A Model-Theoretic Semantics for DAML+OIL (March 2001)