Changes between Initial Version and Version 1 of SigMmt/Templates/SpecializationAsEndTwoUniversalRestriction

Show
Ignore:
Timestamp:
06/05/10 16:45:43 (12 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/SpecializationAsEndTwoUniversalRestriction

    v0 v1  
     1=== Base Templates !SpecializationAsEnd1UniversalRestriction, !SpecializationAsEnd2UniversalRestriction === 
     2 
     3[[br]]!SpecializationAsEnd1UniversalRestriction and !SpecializationAsEnd2UniversalRestriction  
     4are templates for expressing relation specialisations with the force of universal restriction.  
     5These templates have the same roles, and similar definitions except for the use of reference  
     6items !End1UniversalRestriction, resp. !End2UniversalRestriction.  
     7[[br]] 
     8[[br]]!SpecializationAsEnd1UniversalRestriction means that a and b are relations, that a is a  
     9subrelation of b, and that the specialization relation between a and b is a member of  
     10End1UniversalRestriction.  
     11[[br]] 
     12[[br]]Roles:  
     13[[br]]1 hasSubrelation !ClassOfRelationship  
     14[[br]]2 hasSuperrelation !ClassOfRelationship  
     15 
     16Axiom:  
     17{{{ 
     18SpecializationAsEnd1UniversalRestriction(x1, x2) <->  
     19ClassOfRelationship(x1) &  
     20ClassOfRelationship(x2) &  
     21exists y(SpecializationTriple(y, x1, x2)&  
     22ClassificationTemplate(y, End1UniversalRestriction))  
     23}}} 
     24Axiom: 
     25{{{  
     26SpecializationAsEnd2UniversalRestriction(x1, x2) <->  
     27ClassOfRelationship(x1) &  
     28ClassOfRelationship(x2) &  
     29exists y(SpecializationTriple(y, x1, x2)&  
     30ClassificationTemplate(y, End2UniversalRestriction)) .  
     31}}} 
     32 
     33NOTE A statement !SpecializationAsEnd1UniversalRestriction(a, b) implies that the specialization  
     34of b to a has the force of a universal restriction on the class that is the domain of a: any pair in b for which the first element is a member of the domain of a is a member of a. (Accordingly, !SpecializationAsEnd2UniversalRestriction(a, b) constrains the range of a). See 8.4 for further information on the representation used in this template.  
Home
About PCA
Reference Data Services
Projects
Workgroups