W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2002

ISSUE: DAML+OIL semantics is too weak

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Thu, 16 May 2002 14:45:23 -0400
To: www-webont-wg@w3.org
Message-Id: <20020516144523O.pfps@research.bell-labs.com>
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
REFERENCE:   too numerous to find a definitive reference
Received on Thursday, 16 May 2002 14:45:31 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:30 UTC