Re: TEST: Re: notes for 6/6 until 1:10 (oneOf/sameClassAs)

[...]

> > >So I'm currently against rules such as:
> > >   { :rule9o1 . ?L owl:item ?x } log:implies { ?x a [ owl:oneOf ?L ] 
} .
> > >from
> > >   http://www.agfa.com/w3c/euler/owl-rules
> >
> > I don't follow. That rule doesn't have an existential in the
> > conclusion, does it?
>
> Yes; []'s are short-hand for existentials; i.e. this
> is another way to write that rule:
>
> { :rule9o1 . ?L owl:item ?x } log:implies
>    { ?x a _:ex1.
>       _:ex1 owl:oneOf ?L  } .

I understand owl:oneOf to be a owl:oneToManyProperty, so
the _:ex1 could be unambiguously represented as the term
[ owl:oneOf ?L ]
otherwise we could have written the term
[ owl:oneOf ?L; label ( ?x ?L ) ]
which would make it unambiguous as well

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/