Re: Universal Quantification from Stephen Rhoads on 2004-05-05 (www-rdf-logic@w3.org from May 2004)

From: Stephen Rhoads <rhoadsnyc@mac.com>
Date: Wed, 5 May 2004 19:00:20 -0400
To: www-rdf-logic@w3.org
Message-Id: <FBFB1CAA-9EE7-11D8-9E1D-000A95EF0144@mac.com>

>
> :Quote2
>     a owl:Class ;
>     rdfs:subClassOf
> 	[ a owl:Restriction ;
> 	  owl:onProperty :effectivePeriod ;
> 	  owl:allValuesFrom :Duration
> 	] ;
>     rdfs:subClassOf
> 	[ a owl:Restriction ;
> 	  owl:onProperty :effectivePeriod ;
> 	  owl:someValuesFrom :Duration
> 	] .

Would you actually use an allValuesFrom and someValuesFrom for the same 
property in the same class axiom?  That seems contradictory to me.  
someValuesFrom doesn't preclude there being other values; allValuesFrom 
does.

Received on Wednesday, 5 May 2004 19:00:30 UTC