=== Template !ParticipatorInActivity ===

[[br]]This is a template for describing a typed participation of a possible individual in an activity. 
[[br]]!ParticipatorInActivity (a, b, c, d, e) means that a is an instance of a (temporal part of)!Activity, b is the type of activity, c is the (temporal part of) object participating in the activity, d is the role this participator has in the activity, and e is the type of the participator.

[[br]]
[[br]]Roles: 
[[br]]1 hasActivity !Activity 
[[br]]2 hasActivityType !ClassOfActivity 
[[br]]3 hasParticipator !PossibleIndividual 
[[br]]4 hasRoleAndDomain !RoleAndDomain 
[[br]]5 hasClassOfIndividual !ClassOfIndividual 

Axiom: 
{{{
ParticipatorInActivity (x1, x2, x3, x4, x5) <-> 
Activity(x1) & 
ClassOfActivity (x2) & 
PossibleIndividual(x3) & 
RoleAndDomain (x4) & 
ClassOfIndividual(x5) &
exists u (ParticipationTriple(u, x3, x1) &
  exists p (
    ClassOfParticipationTemplate(p, x2) &
    SpecializationTemplate(p, x4) &
    SpecializationTemplate(p, x5) 
))
}}}

NOTE: the roles x4 and x5 could be replaced by one role of type !ParticipatingRoleAndDomain, but that kind of class will probably not find its way into the Core RDL. And if it does, there still needs to be defined a !RoleAndDomain and a !ClassOfIndividual as its superclasses, which means the same amount of work (only not attached to the template at hand).

?Question? Shouldn't the axiom look like:
ParticipatorInActivity (x1, x2, x3, x4, x5) <-> 
Activity(x1) & 
ClassOfActivity (x2) & 
PossibleIndividual(x3) & 
RoleAndDomain (x4) & 
ClassOfIndividual(x5) &
ClassificationTemplate(x1,x2) &
exists u (ParticipationTriple(u, x3, x1) &
  exists p (
    ClassOfParticipationTemplate(p, x2) &
    SpecializationTemplate(p, x4) &
    SpecializationTemplate(p, x5) &
    ClassificationTemplate(x3,p) &
    ClassificationTemplate(u,p)
))
I mean shouldn’t we specify explicitly classification relationships between the following pairs: x1 – x2; x3 – p; u – p?


EXAMPLE The activity Hydrostatic Test 123 of a Pipe Line ABC; 

For the Hydrostatic Test of the pipe line system (Pipe Line ABC is part in the test): !ParticipatorInActivity (123, PIPELINE PRESSURE TEST, 2345, SUBJECT IN, PIPELINE SYSTEM) 

Analysis diagram:

[[Image(ParticipatorInActivity1.png)]]

----
For the Tester of the activity 123 (Joe Blow the inspector): !ParticipatorInActivity (123, PIPELINE PRESSURE TEST, 6789, INSPECTION, INSPECTOR) 

Analysis diagram:

[[Image(ParticipatorInActivity2.png)]]

----
For the Test Fluid type used (water): !ParticipatorInActivity (123, PIPELINE PRESSURE TEST, 654, TEST FLUID, WATER) 

Analysis diagram:

[[Image(ParticipatorInActivity3.png)]]

----

||12/23/2010||mfedorov||created||
||01/16/2011||!OnnoPaap||Renamed from !ClassifiedParticipation to !ParticipatorInActivity. New roles for the template. Analyzed. Released.||