TITLE: DAML+OIL semantics is too weak
DESCRIPTION: DAML+OIL semantics (both the model theory and the
axiomatization) are too weak. For example, it does not allow
the inference of membership in any restrictions that are not
present in the knowledge base, even though many of these are
desirable consequences. For example, if John is an instance
of both Person and Employee, DAML+OIL does not sanction the
conclusion that John is an instance of an intersection of
Person and Employee.
RAISED BY: Peter F. Patel-Schneider
STATUS: RAISED
REFERENCE: too numerous to find a definitive reference