Re: complementOf -> viewOf: proposed text

On Tue, Jan 17, 2012 at 17:29, Myers, Jim <> wrote:
> I can see how the definition you have leads to the consequence you state, but it seems like the use case here is one we should be able to support - someone reports on the activities of the customer-in-the-red-chair over time and others report that Paolo and Stian were in the chair at various times and we'd like to have enough prov information to allow users to figure out who did what.

Yes, I believed alternateOf would be the trick to link these entities,
even across different account.

I might have been confused by thoughts from the earlier ivpOf.

The feeling I get now is that


is simply a shortcut for

specializationOf(a, x)
specializationOf(b, x)

and in specializationOf(b, x) there is a strict hierarchical system of
entities characterising things in the world.

If specializationOf is transitive, then this could go 'all the way up'.

Taken to the extreme: It means that if you assert an entity that
characterises "everything that ever existed, concepts and real
physical world" , then any other entity (within the account) would be
a specialization of the everything-entity, and therefore every entity
would be an alternate of each other, and everything becomes "the same
thing in the world".

> If alternateOf is not capable of doing this, do we have some other mechanism that can? Or is the use case out of scope?

The old ivpOf did this.

Not sure if my use case is out of scope. I think it is confusing
because it blurs the distinction between classes ("Class of anyone who
sits in red chair") and instances ("The single concept of 'The
customer in the red chair'").

Stian Soiland-Reyes, myGrid team
School of Computer Science
The University of Manchester

Received on Wednesday, 18 January 2012 08:43:00 UTC