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

Re: SEM: comprehensive entailments without dark triples

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Mon, 22 Apr 2002 11:41:23 -0400
To: jjc@hplb.hpl.hp.com
Cc: www-webont-wg@w3.org
Message-Id: <20020422114123V.pfps@research.bell-labs.com>
The problem with these comprehension principles is that they do not
generate non-tree structures.  Therefore classes that are not in the form
of trees (yes, this is rather vague, but my previous message gives one
example) will not be consequences.

peter
Received on Monday, 22 April 2002 11:41:36 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:49 GMT