W3C home > Mailing lists > Public > www-rdf-logic@w3.org > May 2004

RE: Universal Quantification

From: Peter Crowther <Peter.Crowther@melandra.com>
Date: Thu, 6 May 2004 10:00:04 +0100
Message-ID: <DDBBD1E00935D144AB9563D57EF98D62068EB1@raccoon.melandra.net>
To: "Stephen Rhoads" <rhoadsnyc@mac.com>, <www-rdf-logic@w3.org>

> From: Stephen Rhoads [mailto:rhoadsnyc@mac.com] 
> And now ... which to use?  allValuesFrom + minCardinality 1, or 
> allValuesFrom + someValuesFrom?  Is there a logical or semantic 
> difference?

There may be a speed difference, depending on the implementation.  In
the reasoner I wrote, for example, it'd be somewhat faster to use the
latter.

		- Peter
Received on Thursday, 6 May 2004 05:00:21 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:42 UTC