- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Thu, 15 May 2003 14:56:40 +0100
- 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 UTC