W3C home > Mailing lists > Public > public-prov-wg@w3.org > February 2012

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

From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Mon, 06 Feb 2012 21:52:05 +0000
Message-Id: <E1RuWTl-0005IW-IQ@nelson.w3.org>
To: public-prov-wg@w3.org
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 13:06:55 GMT