PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model]

PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model]

http://www.w3.org/2011/prov/track/issues/95

Raised by: James McCusker
On product: Conceptual Model

This could be part of the conceptual model or formal model. It's a formal model idea, but it affects the conceptual model in some ways. I was attempting to model some process executions yesterday and hit on the idea that the recipe for a process execution could be a class of process execution. For instance, I was looking at defining a process execution of HTTP 1.1 GET. Now, the execution is itself an HTTP 1.1 GET, so I immediately thought that having <HTTP_1.1_GET> be the class of the PE would be a good way to signify the algorithm that was used for the execution. Of course, if the PE doesn't go to plan, having the type be of that class wouldn't be correct. But again, that could be the best way to signify that the process DID go to plan.

We could still say that we "used" <HTTP_1.1_GET> as well. OWL 2 allows punning like that. We could even go so far as to give a restriction to a PE of type <HTTP_1.1_GET> that says something like:

class HTTP_1.1_GET:
  EquivalentTo:
    prov:ProcessExecution and prov:used value HTTP_1.1_GET
  SubClassOf:
    prov:ProcessExecution

Received on Thursday, 15 September 2011 15:07:29 UTC