Version 1 (modified by mfedorov, 12 years ago)

--

Proposed Core Template PropertyValueListRestrictionOfIndividual


This template is specifying a property of an individual from a fixed list.
PropertyValueListRestrictionOfIndividual(a, b, c) means that a is a ClassOfIndirectProperty, b is an ArrangedIndividual to which the relation applies, and c is an allowable property value.

Roles:
1 hasPropertyType ClassOfIndirectProperty
2 hasPossessorClass ArrangedIndividual
3 hasPropertyValue !Property

Axiom:

EXAMPLE The statement PropertyValueListRestrictionOfIndividual(NOMINAL DIAMETER, XYZ-TYPE GLOBE VALVE SN123, 250MM).

Home
About PCA
Reference Data Services
Projects
Workgroups