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

RE: SEM: comprehensive entailments without dark triples

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Mon, 22 Apr 2002 17:28:12 +0100
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: <www-webont-wg@w3.org>
Message-ID: <JAEBJCLMIFLKLOJGMELDCEMICDAA.jjc@hplb.hpl.hp.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.
> 

I agree, that was an objective.

Jeremy
Received on Monday, 22 April 2002 12:28:50 GMT

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