Changes between Version 5 and Version 6 of SigMmt/Templates/ParticipatorInActivity

Show
Ignore:
Timestamp:
01/17/11 08:18:42 (12 years ago)
Author:
onnopaap (IP: 141.197.14.187)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/ParticipatorInActivity

    v5 v6  
    1414Axiom:  
    1515{{{ 
    16 ParticipatorInActivity (x1, x2, x3, x4, x5) <->  
    17 Activity(x1) &  
    18 ClassOfActivity (x2) &  
    19 PossibleIndividual(x3) &  
    20 RoleAndDomain (x4) &  
    21 ClassOfIndividual(x5) & 
    22 exists u (ParticipationTriple(u, x3, x1) & 
    23   exists p ( 
    24     ClassOfParticipationTemplate(p, x2) & 
    25     SpecializationTemplate(p, x4) & 
    26     SpecializationTemplate(p, x5)  
    27 )) 
    28 }}} 
    29  
    30 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). 
    31  
    32 ?Question? Shouldn't the axiom look like: 
    3316!ParticipatorInActivity (x1, x2, x3, x4, x5) <->  
    3417!Activity(x1) &  
     
    3619!PossibleIndividual(x3) &  
    3720!RoleAndDomain (x4) &  
    38 !ClassOfIndividual(x5) & !ClassificationTemplate(x1,x2) & exists u (!ParticipationTriple(u, x3, x1) &   exists p ( 
    39     !ClassOfParticipationTemplate(p, x2) & 
    40     !SpecializationTemplate(p, x4) & 
    41     !SpecializationTemplate(p, x5) & 
    42     !ClassificationTemplate(x3,p) & 
    43     !ClassificationTemplate(u,p) 
    44 )) 
    45 I mean shouldn’t we specify explicitly classification relationships between the following pairs: x1 – x2; x3 – p; u – p? 
     21!ClassOfIndividual(x5) &  
     22!ClassificationTemplate(x1,x2) &  
     23  exists y1 (!ParticipationTriple(y1, x3, x1) & 
     24    exists y2 ( exists y3 ( 
     25    !ClassOfParticipationTriple(y3, y2, x2) & 
     26    !SpecializationTemplate(y2, x4) & 
     27    !SpecializationTemplate(y2, x5) & 
     28    !ClassificationTemplate(x3, y2) & 
     29    !ClassificationTemplate(y1, y3) ))) . 
     30}}} 
    4631 
     32NOTE: 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). 
    4733 
    4834EXAMPLE The activity Hydrostatic Test 123 of a Pipe Line ABC;  
     
    7258||12/23/2010||mfedorov||created|| 
    7359||01/16/2011||!OnnoPaap||Renamed from !ClassifiedParticipation to !ParticipatorInActivity. New roles for the template. Analyzed. Released.||  
     60||01/17/2011||!OnnoPaap||Repaired error in axiom.||  
Home
About PCA
Reference Data Services
Projects
Workgroups