formal semantics strawman

Hi,

I've been promising for a while now to write down a short formal semantics strawman to illustrate what I have in mind.  I've put something onto the wiki here:

http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman

It's definitely not a finished product but I've made an effort to cover entity assertions, ivp/complement, process execution, and events (but NOT derivation :)

One thing that's become apparent already is that there is a large potential for confusion since we are talking about assertions about things that may change over time.  The assertions may explicitly mention time points/intervals and they may also implicitly have "assertion time" or "time intended to be valid"  associated with them. Some of the assertions in the Conceptual Model document also have explicit times associated with them (e.g. use, generation and process execution assertions.)  Others such as entity assertions do not have explicit time arguments, but the discussion surrounding them refers to time points or intervals during which the entity being described exists.

So for each kind of assertion p(x,y,z,...), it would be helpful to clarify whether:
1.  p(x,y,z,...) is something that either always holds or never holds; or
2.  p(x,y,z,...) can hold or not at a specific point in time t (there may be a convention that we can make this explicit by adding an argument, e.g. p(x,y,z,...,t)); or
3.  p(x,y,z,...) can hold or not during an interval [t1,t2] (again there may be a convention where we add 2 arguments).

Currently, there seem to be a mix of conventions.

Comments are welcome.  I'm not pretending to have read all the relevant background / mailing list discussion carefully and so I may be using terminology incorrectly.  As the name suggests, I expect this to be easy to knock down, but hope that we'll learn something in doing so anyway.

--James
-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Received on Thursday, 25 August 2011 17:14:34 UTC