PROV-ISSUE-243 (TLebo): how to interpret ASN assertions with incomplete arity?

PROV-ISSUE-243 (TLebo): how to interpret ASN assertions with incomplete arity?

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

Raised by: Timothy Lebo
On product: 

wasGeneratedBy is defined as arity 5.

The DM asserts in a rule (I've changed the variables):

wasGeneratedBy(a,b,c)

is c a(n) 1) Activity 2) Time 3) attribute-values?

The answer is intended to be 3), but it is clearly ambiguous without context.

I propose to include parameter omissions explicitly in ASN statements:

wasGeneratedBy(a,b,[],[],c)

Thanks,
Tim

Received on Monday, 6 February 2012 21:54:18 UTC