RE: Universal Quantification from Peter Crowther on 2004-05-06 (www-rdf-logic@w3.org from May 2004)

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

> 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