Constructing a meta-model for assembly tolerance types with a description logic based approach

Yanru Zhong, Yuchu Qin, Meifa Huang, Wenlong Lu, Liang Chang

Research output: Contribution to journalArticle

12 Citations (Scopus)

Abstract

There is a critical requirement for semantic interoperability among heterogeneous computer-aided tolerancing (CAT) systems with the sustainable growing demand of collaborative product design. But current data exchange standard for exchanging tolerance information among these systems can only exchange syntaxes and cannot exchange semantics. Semantic interoperability among heterogeneous CAT systems is difficult to be implemented only with this standard. To address this problem, some meta-models of tolerance information supporting semantic interoperability and an interoperability platform based on these meta-models should be constructed and developed, respectively. This paper mainly focuses on the construction of a meta-model for assembly tolerance types with a description logic based approach. Description logics, a family of knowledge representation languages for authoring ontologies, are well-known for having rigorous logic-based semantics which supports semantic interoperability. can provide a formal method to describe the research objects and the relations among them. In this formal method, constraint relations among parts, assembly feature surfaces and geometrical features are defined with some assertional axioms, and the meta-model of assembly tolerance types is constructed through describing the spatial relations between geometrical features with some terminological axioms. Besides, can also provide a highly efficient reasoning algorithm to automatically detect the inconsistency of the knowledge base, a finite set of assertional and terminological axioms. With this reasoning algorithm, assembly tolerance types for each pair of geometrical features are generated automatically through detecting the inconsistencies of the knowledge base. An application example is provided to illustrate the process of generating assembly tolerance types.
LanguageEnglish
Pages1-16
Number of pages16
JournalCAD Computer Aided Design
Volume48
Early online date5 Nov 2013
DOIs
Publication statusPublished - 1 Mar 2014
Externally publishedYes

Fingerprint

Interoperability
Semantics
Formal methods
Computer systems
Knowledge representation
Electronic data interchange
Product design
Ontology

Cite this

Zhong, Yanru ; Qin, Yuchu ; Huang, Meifa ; Lu, Wenlong ; Chang, Liang. / Constructing a meta-model for assembly tolerance types with a description logic based approach. In: CAD Computer Aided Design. 2014 ; Vol. 48. pp. 1-16.
@article{1e23573aa30145ceadebcb14d126ad8a,
title = "Constructing a meta-model for assembly tolerance types with a description logic based approach",
abstract = "There is a critical requirement for semantic interoperability among heterogeneous computer-aided tolerancing (CAT) systems with the sustainable growing demand of collaborative product design. But current data exchange standard for exchanging tolerance information among these systems can only exchange syntaxes and cannot exchange semantics. Semantic interoperability among heterogeneous CAT systems is difficult to be implemented only with this standard. To address this problem, some meta-models of tolerance information supporting semantic interoperability and an interoperability platform based on these meta-models should be constructed and developed, respectively. This paper mainly focuses on the construction of a meta-model for assembly tolerance types with a description logic based approach. Description logics, a family of knowledge representation languages for authoring ontologies, are well-known for having rigorous logic-based semantics which supports semantic interoperability. can provide a formal method to describe the research objects and the relations among them. In this formal method, constraint relations among parts, assembly feature surfaces and geometrical features are defined with some assertional axioms, and the meta-model of assembly tolerance types is constructed through describing the spatial relations between geometrical features with some terminological axioms. Besides, can also provide a highly efficient reasoning algorithm to automatically detect the inconsistency of the knowledge base, a finite set of assertional and terminological axioms. With this reasoning algorithm, assembly tolerance types for each pair of geometrical features are generated automatically through detecting the inconsistencies of the knowledge base. An application example is provided to illustrate the process of generating assembly tolerance types.",
keywords = "Meta-model, Assembly tolerance types, Semantic interoperability, Description logics",
author = "Yanru Zhong and Yuchu Qin and Meifa Huang and Wenlong Lu and Liang Chang",
year = "2014",
month = "3",
day = "1",
doi = "10.1016/j.cad.2013.10.009",
language = "English",
volume = "48",
pages = "1--16",
journal = "CAD Computer Aided Design",
issn = "0010-4485",
publisher = "Elsevier Limited",

}

Constructing a meta-model for assembly tolerance types with a description logic based approach. / Zhong, Yanru; Qin, Yuchu; Huang, Meifa; Lu, Wenlong; Chang, Liang.

In: CAD Computer Aided Design, Vol. 48, 01.03.2014, p. 1-16.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Constructing a meta-model for assembly tolerance types with a description logic based approach

AU - Zhong, Yanru

AU - Qin, Yuchu

AU - Huang, Meifa

AU - Lu, Wenlong

AU - Chang, Liang

PY - 2014/3/1

Y1 - 2014/3/1

N2 - There is a critical requirement for semantic interoperability among heterogeneous computer-aided tolerancing (CAT) systems with the sustainable growing demand of collaborative product design. But current data exchange standard for exchanging tolerance information among these systems can only exchange syntaxes and cannot exchange semantics. Semantic interoperability among heterogeneous CAT systems is difficult to be implemented only with this standard. To address this problem, some meta-models of tolerance information supporting semantic interoperability and an interoperability platform based on these meta-models should be constructed and developed, respectively. This paper mainly focuses on the construction of a meta-model for assembly tolerance types with a description logic based approach. Description logics, a family of knowledge representation languages for authoring ontologies, are well-known for having rigorous logic-based semantics which supports semantic interoperability. can provide a formal method to describe the research objects and the relations among them. In this formal method, constraint relations among parts, assembly feature surfaces and geometrical features are defined with some assertional axioms, and the meta-model of assembly tolerance types is constructed through describing the spatial relations between geometrical features with some terminological axioms. Besides, can also provide a highly efficient reasoning algorithm to automatically detect the inconsistency of the knowledge base, a finite set of assertional and terminological axioms. With this reasoning algorithm, assembly tolerance types for each pair of geometrical features are generated automatically through detecting the inconsistencies of the knowledge base. An application example is provided to illustrate the process of generating assembly tolerance types.

AB - There is a critical requirement for semantic interoperability among heterogeneous computer-aided tolerancing (CAT) systems with the sustainable growing demand of collaborative product design. But current data exchange standard for exchanging tolerance information among these systems can only exchange syntaxes and cannot exchange semantics. Semantic interoperability among heterogeneous CAT systems is difficult to be implemented only with this standard. To address this problem, some meta-models of tolerance information supporting semantic interoperability and an interoperability platform based on these meta-models should be constructed and developed, respectively. This paper mainly focuses on the construction of a meta-model for assembly tolerance types with a description logic based approach. Description logics, a family of knowledge representation languages for authoring ontologies, are well-known for having rigorous logic-based semantics which supports semantic interoperability. can provide a formal method to describe the research objects and the relations among them. In this formal method, constraint relations among parts, assembly feature surfaces and geometrical features are defined with some assertional axioms, and the meta-model of assembly tolerance types is constructed through describing the spatial relations between geometrical features with some terminological axioms. Besides, can also provide a highly efficient reasoning algorithm to automatically detect the inconsistency of the knowledge base, a finite set of assertional and terminological axioms. With this reasoning algorithm, assembly tolerance types for each pair of geometrical features are generated automatically through detecting the inconsistencies of the knowledge base. An application example is provided to illustrate the process of generating assembly tolerance types.

KW - Meta-model

KW - Assembly tolerance types

KW - Semantic interoperability

KW - Description logics

U2 - 10.1016/j.cad.2013.10.009

DO - 10.1016/j.cad.2013.10.009

M3 - Article

VL - 48

SP - 1

EP - 16

JO - CAD Computer Aided Design

T2 - CAD Computer Aided Design

JF - CAD Computer Aided Design

SN - 0010-4485

ER -