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

Re: assertion language

From: Simon Miles <simon.miles@kcl.ac.uk>
Date: Wed, 29 Jun 2011 15:06:56 +0100
Message-ID: <BANLkTik7o7Pe8GuVdkBKhTRgCURyqCTQmg@mail.gmail.com>
To: Provenance Working Group WG <public-prov-wg@w3.org>
+1

On 29 June 2011 08:43, Luc Moreau <L.Moreau@ecs.soton.ac.uk> wrote:
>
> 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
>
> ______________________________________________________________________
> This email has been scanned by the MessageLabs Email Security System.
> For more information please visit http://www.messagelabs.com/email
> ______________________________________________________________________
>



-- 
Dr Simon Miles
Lecturer, Department of Informatics
Kings College London, WC2R 2LS, UK
+44 (0)20 7848 1166
Received on Wednesday, 29 June 2011 14:07:37 GMT

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