Template DefinitionOfClass


This is a template for typed defining of classes.
DefinitionOfClass(a, b, c) means that a and c are classes, b is a type of definition and a is a b-typed definition for c.

Roles:
1 hasClassDefinition ClassOfInformationRepresentation
2 hasContext ClassOfClassOfDefinition
3 hasClass ClassOfArrangedIndividual

Axiom:

DefinitionOfClass(x1, x2, x3) <-> 
ClassOfInformationRepresentation(x1) & 
ClassOfClassOfDefinition(x2) & 
ClassOfArrangedIndividual(x3) & 
exists u (ClassOfDefinitionTriple(u, x1, x3) &
  ClassificationTemplate(u, x2)) . 

EXAMPLE The statement DefinitionOfClass(GOST 17375-2001, APPLICABLE STANDARD, PIPE ELBOWS TYPE XYZ)

Analysis diagram

Revision log

12/23/2010mfedorovcreated
01/16/2011OnnoPaapchanged ClassOfClassOfDefinitionTriple to ClassOfDefinitionTriple, analyzed, released.
01/17/2011OnnoPaapRepaired error in axiom.
01/17/2011mikhail.fedorovchanged 1st role type to ClassOfInformationRepresentation

Attachments

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