Proposed Core Template PropertyValueListRestrictionOfClass


This template is for restricting values of an indirect property of a class to a fixed list.
PropertyValueListRestrictionOfClass(a, b, c) means that a is a ClassOfIndirectProperty, b is a ClassOfArrangedIndividual to which the relation applies, and c is an allowable list of property values.

Roles:
1 hasPropertyType ClassOfIndirectProperty
2 hasPossessorClass ClassOfArrangedIndividual
3 hasPropertyValue ClassOfProperty

Axiom:

EXAMPLE The statement PropertyValueListRestrictionOfClass(NOMINAL DIAMETER, GOST123 PIPES, GOST456 LIST OF DIAMETERS).

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