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

Show
Ignore:
Timestamp:
01/17/11 08:18:42 (11 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 (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search