Constructing a meta-model for assembly tolerance types with a description logic based approach
Constraint relations are formalized by assertional axioms. Assembly tolerance types are defined with terminological axioms. Assembly tolerance types are generated automatically in the meta-model. The meta-model has rigorous logic-based semantics. The meta-model lays a good foundation for realizing semantic interoperability.
meta-model assembly tolerance types description logics semantic interoperability