|
Integrated generic resource:
Classification and set theory |
ISO 10303-54:2005(E)
© ISO
|
INTERNATIONAL STANDARD |
ISO 10303-54:2005(E) |
Industrial automation systems and integration —
Product data representation and exchange —
Part 54:
Integrated generic resource:
Classification and set theory
This part of ISO 10303 specifies the integrated resource constructs for
classification and set theory.
The following are within the scope of this part of ISO 10303:
- the existence of a class or set;
- the distinction between a class or set that is defined by abstract criteria, and a class or set that is defined by enumerating
its members;
- the classification relationship between a class or set and a member;
- the complete enumeration of the members for a class or set;
- the representation of set theory relationships between classes or sets;
- the following set theory relationships:
- complement;
- equivalence;
- intersection;
- power set;
- proper subset;
- subset;
- union.
The following are outside the scope of this part of ISO 10303:
- mappings between sets or classes;
- relationships that are not classification or set theory relationships;
- entities and relationships specific to continuous sets.
NOTE 1
All the entities and relationships within this part of ISO 10303 are equally valid for discrete and continuous sets.
NOTE 2
Entities and relationships for continuous sets can be created in anntotated EXPRESS schemas that use or specialize entities
in this part of ISO 10303, as follows:
- discrete_class_by_intension and continuous_set can be disjoint subtypes of class_by_intension;
- open_set and closed_set can be disjoint subtypes of continuous_set;
- closure can be the relationship between an open_set and the closed_set that is its boundary.
© ISO 2005 — All rights reserved