Re: A Problem With The Semantics of DAML+OIL Restrictions

Dan Connolly wrote:
[...]
> >  That is, the above example
> > restriction could also contain a value "Sam-Jones" for property hasValue
> > so that the restriction is saying that it is the class of all objects
> > that have "Sam-Jones" as a parent and all of whose parents are type
> > "Person".  The RDF for that restriction would be:
> >
> >   (Type R Restriction)
> >   (onProperty R parent)
> >   (toClass R person)
> >   (hasValue R Sam-Jones)
> 
> Yes... provided Sam-Jones is a parent, that's the same as
> 
>    (Type R Restriction)
>    (onProperty R parent)
>    (hasValue R Sam-Jones)
> 
> no?

Oops... no, I spoke/wrote too quickly. Perhaps it's not
so simple to fix after all.

Hmm...

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/