Expressiveness & Semantics
				Problem:  DAML+OIL has a well-defined semantics, but it is not sufficiently expressive to characterize all and only the intended interpretations of DAML-S.