ISSUE-24: P and things used by P determine values of some of X's invariant properties (less strict)
properties-of-generated-entity-state
P and things used by P determine values of some of X's invariant properties (less strict)
- State:
- CLOSED
- Product:
- Formal Semantics
- Raised by:
- Luc Moreau
- Opened on:
- 2011-07-06
- Description:
- The subgroup dealing with semantics should consider how characteristics of an entity state generated by a process execution are determined (or not) by this process execution and the entity states this process process execution. There is a concern that in an open world we may have not asserted the actual entity states that caused this entity state.
- Related Actions Items:
- No related actions
- Related emails:
- Re: PROV-ISSUE-222 (used-objectproperty): Datatype property for used? [Ontology] (from soiland-reyes@cs.manchester.ac.uk on 2012-04-16)
- Re: ISSUE-24: Semantic document address 'P and things used by P determine values of some of X's invariant properties (less strict)' (from jcheney@inf.ed.ac.uk on 2012-01-20)
- Re: ISSUE-24: Semantic document address 'P and things used by P determine values of some of X's invariant properties (less strict)' (from jcheney@inf.ed.ac.uk on 2012-01-12)
- ISSUE-24: Semantic document address 'P and things used by P determine values of some of X's invariant properties (less strict)' (from sysbot+tracker@w3.org on 2011-07-06)
Related notes:
Closed since there was no objection after a week.
James Cheney, 20 Jan 2012, 09:45:56Display change log