ISSUE-95: Recipes as classes?

Recipes as Classes

Recipes as classes?

State:

CLOSED

Product:

Ontology

Raised by:

James McCusker

Opened on:

2011-09-15

Description:

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

Related Actions Items:

No related actions

Related emails:

1. Re: PROV-ISSUE-102 (hadRecipe): Ontology is missing recipe link [Formal Model] (from zednis@rpi.edu on 2012-03-13)
2. Re: PROV-ISSUE-102 (hadRecipe): Ontology is missing recipe link [Formal Model] (from zednis@rpi.edu on 2012-03-13)
3. Re: PROV-ISSUE-102 (hadRecipe): Ontology is missing recipe link [Formal Model] (from l.moreau@ecs.soton.ac.uk on 2012-03-13)
4. Re: PROV-ISSUE-102 (hadRecipe): Ontology is missing recipe link [Formal Model] (from zednis@rpi.edu on 2012-03-12)
5. Re: PROV-ISSUE-102 (hadRecipe): Ontology is missing recipe link [Formal Model] (from L.Moreau@ecs.soton.ac.uk on 2012-03-12)
6. Re: PROV-ISSUE-102 (hadRecipe): Ontology is missing recipe link [Formal Model] (from zednis@rpi.edu on 2012-03-12)
7. Re: PROV-ISSUE-102 (hadRecipe): Ontology is missing recipe link [Formal Model] (from L.Moreau@ecs.soton.ac.uk on 2012-03-12)
8. Re: PROV-ISSUE-102 (hadRecipe): Ontology is missing recipe link [Formal Model] (from zednis@rpi.edu on 2012-03-12)
9. Re: PROV-ISSUE-102 (hadRecipe): Ontology is missing recipe link [Formal Model] (from L.Moreau@ecs.soton.ac.uk on 2012-03-12)
10. Re: PROV-ISSUE-102 (hadRecipe): Ontology is missing recipe link [Formal Model] (from L.Moreau@ecs.soton.ac.uk on 2012-03-09)
11. Re: PROV-ISSUE-102 (hadRecipe): Ontology is missing recipe link [Formal Model] (from lebot@rpi.edu on 2012-03-08)
12. Re: PROV-ISSUE-102 (hadRecipe): Ontology is missing recipe link [Formal Model] (from soiland-reyes@cs.manchester.ac.uk on 2012-03-08)
13. Re: PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model] (from mccusj@rpi.edu on 2012-03-05)
14. Re: PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-03-05)
15. Re: PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model] (from mccusj@rpi.edu on 2012-03-05)
16. Re: PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-03-05)
17. Re: PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model] (from mccusj@rpi.edu on 2012-03-05)
18. Re: PROV-ISSUE-102 (hadRecipe): Ontology is missing recipe link [Formal Model] (from dgarijo@delicias.dia.fi.upm.es on 2012-03-05)
19. Re: PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model] (from dgarijo@delicias.dia.fi.upm.es on 2012-03-05)
20. RE: PROV-ISSUE-102 (hadRecipe): Ontology is missing recipe link [Formal Model] (from MYERSJ4@rpi.edu on 2011-09-28)
21. Re: PROV-ISSUE-102 (hadRecipe): Ontology is missing recipe link [Formal Model] (from mccusj@rpi.edu on 2011-09-28)
22. Re: PROV-ISSUE-102 (hadRecipe): Ontology is missing recipe link [Formal Model] (from soiland-reyes@cs.manchester.ac.uk on 2011-09-28)
23. Re: PROV-ISSUE-102 (hadRecipe): Ontology is missing recipe link [Formal Model] (from Paolo.Missier@ncl.ac.uk on 2011-09-28)
24. PROV-ISSUE-102 (hadRecipe): Ontology is missing recipe link [Formal Model] (from sysbot+tracker@w3.org on 2011-09-28)
25. Re: PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model] (from mccusj@rpi.edu on 2011-09-23)
26. Re: PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-09-23)
27. Re: PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model] (from mccusj@rpi.edu on 2011-09-23)
28. Re: PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model] (from Paolo.Missier@ncl.ac.uk on 2011-09-23)
29. Re: PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model] (from l.moreau@ecs.soton.ac.uk on 2011-09-23)
30. Re: PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model] (from mccusj@rpi.edu on 2011-09-15)
31. RE: PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model] (from MYERSJ4@rpi.edu on 2011-09-15)
32. Re: PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model] (from mccusj@rpi.edu on 2011-09-15)
33. RE: PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model] (from MYERSJ4@rpi.edu on 2011-09-15)
34. Re: PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model] (from mccusj@rpi.edu on 2011-09-15)
35. RE: PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model] (from MYERSJ4@rpi.edu on 2011-09-15)
36. Re: PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model] (from mccusj@rpi.edu on 2011-09-15)
37. RE: PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model] (from MYERSJ4@rpi.edu on 2011-09-15)
38. PROV-ISSUE-95 (Recipes as Classes): Recipes as classes? [Conceptual Model] (from sysbot+tracker@w3.org on 2011-09-15)

Related notes:

No additional notes.

Display change log