W3C home > Mailing lists > Public > www-webont-wg@w3.org > November 2002

Re: TEST: I5.18 Unique Names Assumption Support in OWL

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Wed, 6 Nov 2002 19:41:09 +0100
To: "Dan Connolly <connolly" <connolly@w3.org>
Cc: www-webont-wg@w3.org
Message-ID: <OFBF8484AC.59CBCB87-ONC1256C69.00654F24-C1256C69.0066AE17@agfa.be>



> On Sat, 2002-11-02 at 10:34, Jos De_Roo wrote:
> > before I forget... in the last telecon we discussed
> > I5.18 Unique Names Assumption Support in OWL
> > and I mentioned that I did some tests in the past with
> > declaring the mutual different individuals in a list
> > something like
> >
> >  {
> >   <http://www.agfa.com/w3c/euler/owl-rules#rule7d1> .
> >   :dt owl:allDifferent ( :Jos Maaike :Goedele :Veerle :Nele :Karel).
> >   ( :Veerle ( :Jos Maaike :Goedele :Veerle :Nele :Karel)) math:indexOf
"3".
> >   ( :Nele ( :Jos Maaike :Goedele :Veerle :Nele :Karel)) math:indexOf
"4".
> >   "3" math:notEqualTo "4"} log:implies
> > {:Veerle owl:differentIndividualFrom :Nele}.
> >
> > but the implementation could be improved...
>
> Hmm... I thought of AllDifferent as a subclass of List.
> ala...
>
>   ( :Jos Maaike :Goedele :Veerle :Nele :Karel) rdf:type
> owl:AllDifferent.

that could work, but see further argument for a property

> Anyway...
>
> I took the action to elaborate on this allDifferent
> idea, but it doesn't look like I'll get to it
> this week; sorry.
>
> If the semantics editors want to go ahead and
> incorporate the idea into the 1st WD (i.e. taking
> a position on 5.18, even though we might not
> close it before release of the WD), I'd
> appreciate it.

oops... forgot to mention that in my light review

> I've been noodling on how to write it up
> in the guide... especially on how to make
> it easy to use oneOf with AllDifferent.
> The light-bulb hasn't gone off yet.

when taking a property owl:allDifferent
which is a subproperty of owl:oneOf
we then have that :dt owl:oneOf (...)

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Wednesday, 6 November 2002 13:41:47 GMT

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