ISSUE: DAML+OIL semantics is too weak

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

Received on Thursday, 16 May 2002 14:45:31 UTC