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

Show
Ignore:
Timestamp:
06/05/10 16:36:36 (14 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/PropertyRangeMagnitudeRestrictionOfClass

    v0 v1  
     1=== Base Template !PropertyRangeMagnitudeRestrictionOfClass === 
     2 
     3[[br]]!PropertyRangeMagnitudeRestrictionOfClass is a template for stating which range of values of a property can apply to a class of individuals.  
     4[[br]]!PropertyRangeMagnitudeRestrictionOfClass(a, b, c, d, e) means that a is a class of individuals, b is a property relation, c is a scale, and d and e are real numbers, and that every b property of an a has a value in the d to e range, measured on the c scale.  
     5[[br]] 
     6[[br]]Roles:  
     7[[br]]1 hasClass !ClassOfIndividual  
     8[[br]]2 hasRestrictedProperty !ClassOfIndirectProperty  
     9[[br]]3 hasScale Scale  
     10[[br]]4 valUpperBound !ExpressReal  
     11[[br]]5 valLowerBound !ExpressReal  
     12 
     13Axiom:  
     14{{{ 
     15PropertyRangeMagnitudeRestrictionOfClass(x1, x2, x3, x4, x5) <->  
     16ClassOfIndividual(x1)&  
     17ClassOfIndirectProperty(x2)&  
     18Scale(x3)&  
     19ExpressReal(x4)&  
     20ExpressReal(x5)&  
     21exists u(PropertyRangeRestrictionOfClass(x1, x2, u)&  
     22exists y1 exists y2(IdentificationByNumber(x4, y1)&  
     23IdentificationByNumber(x5, y2)&  
     24LowerUpperMagnitudeOfPropertyRange(u, x3, y1, y2))) .  
     25}}} 
Home
About PCA
Reference Data Services
Projects
Workgroups