Version 1 (modified by mfedorov, 13 years ago)

--

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
Projects
Workgroups