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

Re: Universal Quantification

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

>
> :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

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