PROV-ISSUE-454 (key across relations/objectss): can the same identifier be used for different relations objects [prov-dm-constraints]

PROV-ISSUE-454 (key across relations/objectss): can the  same identifier be used for  different relations objects [prov-dm-constraints]

http://www.w3.org/2011/prov/track/issues/454

Raised by: Luc Moreau
On product: prov-dm-constraints


We have the following two uniqueness constraints.

http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#key-object
http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#key-relation

It is not clear to me if

entity(e123)
agent(e123)

are acceptable. (To me, they should be, since we don't state the set of agents to be disjoint from any other set)

Likewise, can we write

used(event1234,a1,e1,attrs1)
and
wasGeneratedBy(event1234,e2,a2,attrs2)

Probably not.  
Note: if we allow the two above, then I am not sure that strict ordering is wise in ordering constraints.

Received on Wednesday, 18 July 2012 09:21:22 UTC