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

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

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/PropertyRangeRestrictionOfClass

    v0 v1  
     1=== Base Template !PropertyRangeRestrictionOfClass === 
     2 
     3[[br]]!PropertyRangeRestrictionOfClass is a template for stating about a class of individuals that the magnitude of a property is restricted to a range of values. !PropertyRangeRestrictionOfClass(a, b, c) means that a is a class, b is a property relation, and c is a range of properties, and that every b property assignment to an a belongs to a subrelation of b for which the range is restricted to c.  
     4[[br]] 
     5[[br]]Roles:  
     6[[br]]1 hasClass !ClassOfIndividual  
     7[[br]]2 hasProperty !ClassOfIndirectProperty  
     8[[br]]3 hasRange !PropertyRange  
     9 
     10Axiom:  
     11{{{ 
     12PropertyRangeRestrictionOfClass(x1, x2, x3) <->  
     13ClassOfIndividual(x1) &  
     14ClassOfIndirectProperty(x2) &  
     15PropertyRange(x3) &  
     16exists u(ClassOfIndirectPropertyTriple(u, x1, x3) &  
     17SpecializationAsEnd2UniversalRestriction(u, x2)) .  
     18}}} 
Home
About PCA
Reference Data Services
Projects
Workgroups