W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2003

Re: move oneOf - should issue be opened? (was Re: Proposed response to Martin Merry, HP)

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Thu, 15 May 2003 14:56:40 +0100
Message-ID: <3EC39C98.3070804@hplb.hpl.hp.com>
To: Jos De_Roo <jos.deroo@agfa.com>
CC: "Jim Hendler <hendler" <hendler@cs.umd.edu>, Dan Connolly <connolly@w3.org>, Ian Horrocks <horrocks@cs.man.ac.uk>, Jeremy Carroll <jjc@hpl.hp.com>, www-webont-wg@w3.org



Jos De_Roo wrote:

>> - JH
>>p.s. I am also assuming when we say "oneOf" we also include
>>"hasValue" - is that correct?
>>
> 
> well in a sense I don't see the relation...
> 



<#p> owl:inverseOf <#invP> .
<#domainP> owl:equivalentClass _:r .
_:r owl:onProperty <#p> .
_:r owl:hasValue <#a> .
<#oneOfA> owl:equivalentClass _:r2 .
_:r2 owl:onProperty <#invP> .
_:r2 owl:someValuesFrom <#domainP> .

entails

<#oneOfA> owl:oneOf [<#a>] .


owl:oneOf with non singleton RHS can be derived using unionOf.


Jeremy
Received on Thursday, 15 May 2003 09:58:18 GMT

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