W3C home > Mailing lists > Public > public-prov-wg@w3.org > June 2011

assertion language

From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Date: Wed, 29 Jun 2011 08:41:26 +0100
Message-ID: <EMEW3|b96856c6843ae421ad9f09a53621bf2an5S8fY08L.Moreau|ecs.soton.ac.uk|4E0AD726.4020505@ecs.soton.ac.uk>
To: Provenance Working Group WG <public-prov-wg@w3.org>

Hi all,

We have regularly mentioned the notions of provenance assertions and 
asserters in the context of provenance.
In order to regularize this, I would like us to reach consensus on a 
statement, which make this explicit.
This idea has already been discussed with members of the Model TF.

PROPOSED: PIL is an /assertion language /which allows asserters to make 
assertions about stuffs and
activities in the real world (as they view it) and how they influence 
each other.

So, to say that there is a thing, a process execution,  a derivation, or 
an "IVP of" relation, is indeed
making assertions using PIL constructs.

It is the goal of this WG to specify the constructs of this assertion 
language. We currently debate
concepts, which are very likely to become primitive constructs of the 
assertion language. But others
constructs may be considered, e.g. rules, or others, but this is beyond 
the remit of this message.

Can you express your support for the above proposal, or alternatives?

Best regards,
Luc

-- 
Professor Luc Moreau
Electronics and Computer Science   tel:   +44 23 8059 4487
University of Southampton          fax:   +44 23 8059 2865
Southampton SO17 1BJ               email: l.moreau@ecs.soton.ac.uk
United Kingdom                     http://www.ecs.soton.ac.uk/~lavm
Received on Wednesday, 29 June 2011 07:41:57 GMT

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