Template DirectPropertyRestrictionOfIndividual


This template is for assigning a property to an Individual for a Property that is not an IndirectProperty and also restricting the assigned property to a member of a specific set of properties.

DirectPropertyRestrictionOfIndividual(a, b, c) means that a is an EnumeratedPropertySet, b is a (temporal part of) PossibleIndividual to which the relation applies and c is a Property assigned and a member of a where c is supposed to be an existing class in RDL.

Roles:
1 hasPropertySet EnumeratedPropertySet
2 hasPropertyPossessor PossibleIndividual
3 hasProperty Property

Axiom:

DirectPropertyRestrictionOfIndividual(x1, x2, x3) <-> 
EnumeratedPropertySet(x1) & 
PossibleIndividual(x2) & 
Property(x3) & 
ClassificationTemplate(x2, x3) &
ClassificationTemplate(x3, x1).

EXAMPLE The statement DirectPropertyRestrictionOfIndividual (ABC SET OF NOMINAL DIAMETERS, ELBOW12345, 200MM)

Analysis diagram

NOTE: EnumeratedPropertySet used in a template instance should already exist in the RDL and contain as members all the required Properties. Relationships like property_quantification, scale etc are also defined in the RDL. It is not in scope of the template.

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