Changes between Version 1 and Version 2 of SigMmt/Templates/Prototemplates
- Timestamp:
- 01/15/11 11:33:38 (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
SigMmt/Templates/Prototemplates
v1 v2 1 === Proto templates === 2 3 Proto-templates are a very basic form of templates. They provide a layer of abstraction immediately 4 above the relational entity types of ISO 15926-2 by hiding the reified relationships of 5 ISO 15926-2. 6 7 Each proto-template is constructed of two First Order Logic axioms. The first axiom provides a short form for the 8 relational entity type. The proto-template predicate is called a proto-triple. 9 1 10 {{{ 2 11 ApprovalTriple(x,y,z) <-> Approval(x) & hasApproved(x,y) & hasApprover(x,z) .
