Changes between Version 3 and Version 4 of SigMmt/Templates/ParticipatorInActivity

Show
Ignore:
Timestamp:
01/17/11 07:58:18 (11 years ago)
Author:
mfedorov (IP: 93.186.61.242)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/ParticipatorInActivity

    v3 v4  
    3030NOTE: 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). 
    3131 
     32?Question? Shouldn't the axiom look like: 
     33ParticipatorInActivity (x1, x2, x3, x4, x5) <->  
     34Activity(x1) &  
     35ClassOfActivity (x2) &  
     36PossibleIndividual(x3) &  
     37RoleAndDomain (x4) &  
     38ClassOfIndividual(x5) & 
     39ClassificationTemplate(x1,x2) & 
     40exists u (ParticipationTriple(u, x3, x1) & 
     41  exists p ( 
     42    ClassOfParticipationTemplate(p, x2) & 
     43    SpecializationTemplate(p, x4) & 
     44    SpecializationTemplate(p, x5) & 
     45    ClassificationTemplate(x3,p) & 
     46    ClassificationTemplate(u,p) 
     47)) 
     48I mean shouldn’t we specify explicitly classification relationships between the following pairs: x1 – x2; x3 – p; u – p? 
     49 
     50 
    3251EXAMPLE The activity Hydrostatic Test 123 of a Pipe Line ABC;  
    3352 
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