Re: SEM: semantics for current proposal (why R disjoint V?) (sameState TEST)

> > What you seem to want is to use datatype values as "keys", and I can
> > see why this might be useful.
>
> Good; thanks.
>
> > Unfortunately, the interaction of UnambiguousProperty and datatypes
> > makes this problematical. Imagine, for example, that a datatype
> > consisting of integers in the range 0-999 is used as a unique-id/key
> > for instances of the class Person such that all persons have exactly
> > one unique-id, all unique-ids are integers in the range 0-999, and
> > unique-id is an UnambiguousProperty.  In order to function correctly,
>
> That is: 'in order to function as Ian would like'. We don't
> have a requirement for complete-and-tractible reasoning.

if this discussion is about
http://www.w3.org/2002/03owlt/sameStateP.n3
entailing
http://www.w3.org/2002/03owlt/sameStateC.n3
we need 2 steps for the proof which is about
the shortest test I've done so far

--
Jos