Changes between Version 1 and Version 2 of SigMmt/Templates/Prototemplates

Show
Ignore:
Timestamp:
01/15/11 11:33:38 (9 years ago)
Author:
onnopaap (IP: 217.122.213.2)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/Prototemplates

    v1 v2  
     1=== Proto templates === 
     2 
     3Proto-templates are a very basic form of templates. They provide a layer of abstraction immediately 
     4above the relational entity types of ISO 15926-2 by hiding the reified relationships of 
     5ISO 15926-2. 
     6 
     7Each proto-template is constructed of two First Order Logic axioms. The first axiom provides a short form for the 
     8relational entity type. The proto-template predicate is called a proto-triple. 
     9 
    110{{{ 
    211ApprovalTriple(x,y,z) <-> Approval(x) & hasApproved(x,y) & hasApprover(x,z) .  
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