Re: PROV-ISSUE-99: prov:eventuallyUsed - a transitive version of prov:used. [Formal Model]

Hi daniel,

By wasTriggeredBy, I assume you mean wasInformrdBy.  It is not a transitive property and I realise the spec does not say it.

Only entities can be generated by PEs. So again, there seems to be a type error.

Professor Luc Moreau
Electronics and Computer Science
University of Southampton
Southampton SO17 1BJ
United Kingdom


On 21 Sep 2011, at 18:54, "Daniel Garijo" <dgarijo@delicias.dia.fi.upm.es<mailto:dgarijo@delicias.dia.fi.upm.es>> wrote:

I like the generation + dependedOn too. We should start discussinng how to add it
to the ontology as rules, if everybody agrees.

Just to clarify further the Khalid's example, I think that the proposed change is aimed to
to model the wasTriggeredBy property between processes: if a process triggers(generates) another one
that triggers(generates) another itself, then we could say that the last one "wasEventuallyGeneratedBy" the first one.

Thanks,
Daniel


2011/9/21 Khalid Belhajjame <<mailto:Khalid.Belhajjame@cs.man.ac.uk>Khalid.Belhajjame@cs.man.ac.uk<mailto:Khalid.Belhajjame@cs.man.ac.uk>>

Hi,

The issue raised by Tim was a follow up of few emails that were exchanged between the members of the formal model sub-group.

To illustrate the transitivity that is meant, consider an entity e0 that is used by a process execution pe1, and consider that pe1 was used (consumed) by a second process execution pe2. pe1 is, therefore, both a process execution and an entity.

The question raised by the issue is whether we can state that pe2 used e0? Tim was suggesting the use of "eventuallyUsed" instead of used in this context.

The same above observation applies to generation.

Note that in the above it is assumed that the classes prov:Entity and prov:ProcessExecution are not necessarily disjoint.

Now, in your answer, you were suggesting that:
 used(pe,e) or  (used(pe,e1) and dependedOn(e1,e)) implies eventuallyUsed(pe,e).

I quite like this. And I think we can extend it for the case of generation. That is:

wasGeneratedBy(e,pe) or (wasGeneratedBy(e1,pe) and dependedOn(e,e1)) implies wasEventuallyGeneratedBy(e,pe)

Thanks, khalid


On 19/09/2011 20:38, Luc Moreau wrote:
Hi Tim,

What do you mean by transitive here, given that domain  is ProcessExecution and
range Entity?


Maybe, you would like to define
eventuallyUsed(pe,e) if
 used(pe,e)
 or
 used(pe,e1) and dependedOn(e1,e)

Luc


On 19/09/11 19:35, Provenance Working Group Issue Tracker wrote:
PROV-ISSUE-99: prov:eventuallyUsed - a transitive version of prov:used. [Formal Model]

<http://www.w3.org/2011/prov/track/issues/99>http://www.w3.org/2011/prov/track/issues/99

Raised by: Timothy Lebo
On product: Formal Model

To clarify whether used is transitive or not, I propose a transitive superproperty "eventuallyUsed" to make the distinction clear.

The corresponding considerations also need to be made for the conceptual document.

The OWL axioms related to this property are at
<https://dvcs.w3.org/hg/prov/file/tip/ontology/components/eventuallyUsed.ttl>https://dvcs.w3.org/hg/prov/file/tip/ontology/components/eventuallyUsed.ttl:

prov:eventuallyUsed
   a owl:ObjectProperty, owl:TransitiveProperty;
.

prov:used rdfs:subPropertyOf prov:eventuallyUsed .

Received on Wednesday, 21 September 2011 20:44:27 UTC