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

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 ALC(D) 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. ALC(D) 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 ALC(D) assertional axioms, and the meta-model of assembly tolerance types is constructed through describing the spatial relations between geometrical features with some ALC(D) terminological axioms. Besides, ALC(D) 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.

[1]  Yusheng Liu,et al.  An Efficient Approach to Interpreting Rigorous Tolerance Semantics for Complicated Tolerance Specification , 2009, IEEE Transactions on Automation Science and Engineering.

[2]  Yue Cao,et al.  SysML-based uniform behavior modeling and automated mapping of design and simulation model for complex mechatronics , 2013, Comput. Aided Des..

[3]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[4]  Ricardo Jardim-Gonçalves,et al.  Enhancing STEP-based Interoperabity Using Model Morphisms , 2007, IESA.

[5]  Ralph R. Martin,et al.  Detecting design intent in approximate CAD models using symmetry , 2010, Comput. Aided Des..

[6]  Lijuan Zhu,et al.  Ontology-Driven Integration of CAD/CAE Applications: Strategies and Comparisons , 2009 .

[7]  Imre Horváth,et al.  Recent developments in computer supported cooperative work in design: From group collaboration through global connectivity to informing apobetics , 2012, Proceedings of the 2012 IEEE 16th International Conference on Computer Supported Cooperative Work in Design (CSCWD).

[8]  Xi Vincent Wang,et al.  DIMP: an interoperable solution for software integration and product data exchange , 2012, Enterp. Inf. Syst..

[9]  Adolfo Steiger-Garção,et al.  Enabling interoperability of STEP Application Protocols at meta-data and knowledge level , 2006, Int. J. Technol. Manag..

[10]  Yan Wang.  Semantic Tolerance Modeling With Generalized Intervals , 2008 .

[11]  Jean-Yves Dantan,et al.  Tolerance synthesis: quantifier notion and virtual boundary , 2005, Comput. Aided Des..

[12]  Vijay Srinivasan.  A geometrical product specification language based on a classification of symmetry groups , 1999, Comput. Aided Des..

[13]  Vijay Srinivasan.  Standardizing the specification, verification, and exchange of product geometry: Research, status and trends , 2008, Comput. Aided Des..

[14]  Yusheng Liu.  HIERACHICAL REPRESENTATION MODEL AND ITS REALIZATION OF TOLERANCE BASED ON FEATURE , 2003 .

[15]  Philippe Serré,et al.  Analysis of functional geometrical specification , 2003 .

[16]  Joseph K. Davidson,et al.  Tolerance-Maps Applied to a Point-Line Cluster of Features , 2007, DAC 2005.

[17]  Antonio Armillotta,et al.  A method for computer-aided specification of geometric tolerances , 2013, Comput. Aided Des..

[18]  Yongsheng Ma,et al.  Features and Interoperability of Computer Aided Engineering Systems , 2013 .

[19]  Liang Chang,et al.  A Family of Dynamic Description Logics for Representing and Reasoning About Actions , 2012, Journal of Automated Reasoning.

[20]  Jianwei Yin,et al.  Exploring Semantic Web technologies for ontology-based modeling in collaborative engineering design , 2008 .

[21]  Sebti Foufou,et al.  OntoSTEP: Enriching product model data using ontologies , 2012, Comput. Aided Des..

[22]  Dimitris Kiritsis,et al.  An ontology-based approach for Product Lifecycle Management , 2010, Comput. Ind..

[23]  Samir Lamouri,et al.  Improving the interoperability of industrial information systems with description logic-based models - The state of the art , 2013, Comput. Ind..

[24]  Jhy-Cherng Tsai,et al.  Representation and reasoning of geometric tolerances in design , 1997, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[25]  Yi Zhang,et al.  New reasoning algorithm for assembly tolerance specifications and corresponding tolerance zone types , 2011, Comput. Aided Des..

[26]  Y. S. Hong,et al.  A comprehensive review of tolerancing research , 2002 .

[27]  Utpal Roy,et al.  Feature-based representational scheme of a solid modeler for providing dimensioning and tolerancing information , 1988 .

[28]  Umberto Prisco,et al.  Overview of current CAT systems , 2002, Integr. Comput. Aided Eng..

[29]  Spencer P. Magleby,et al.  A Comprehensive System for Computer-Aided Tolerance Analysis of 2-D and 3-D Mechanical Assemblies , 1998 .

[30]  Ram D. Sriram,et al.  Ontology-based exchange of product data semantics , 2005, IEEE Transactions on Automation Science and Engineering.

[31]  Vijay Srinivasan,et al.  An integration framework for product lifecycle management , 2011, Comput. Aided Des..

[32]  Bernard Anselmetti.  Generation of functional tolerancing based on positioning features , 2006, Comput. Aided Des..

[33]  G. Giorleo,et al.  Overview of current CAT systems: Review Article , 2002 .

[34]  Fei Liu.  CONNOTATION, STATE-OF-THE-ART AND RESEARCH TENDENCY OF NETWORKED MANUFACTURING , 2003 .

[35]  Yuan Li,et al.  An integrated modeling method of unified tolerance representation for mechanical product , 2010 .

[36]  Luca Di Angelo,et al.  Interoperability among CAD/CAM/CAE Systems: A Review of Current Research Trends , 2006, Geometric Modeling and Imaging--New Trends (GMAI'06).

[37]  Ram D. Sriram,et al.  Standardized data exchange of CAD models with design intent , 2007, Comput. Aided Des..

[38]  Yanru Zhong,et al.  Automatically generating assembly tolerance types with an ontology-based approach , 2013, Comput. Aided Des..

[39]  Lijuan Zhu,et al.  Knowledge Representation and Ontology Mapping Methods for Product Data in Engineering Applications , 2010, J. Comput. Inf. Sci. Eng..

[40]  Spencer P. Magleby,et al.  Including Geometric Feature Variations in Tolerance Analysis of Mechanical Assemblies , 1996 .

[41]  Alain Bernard,et al.  The evolution, challenges, and future of knowledge representation in product design systems , 2013, Comput. Aided Des..

[42]  Carsten Lutz,et al.  Reasoning with Concrete Domains , 1999, IJCAI.

[43]  Allison Barnard Feeney,et al.  Recent advances in sharing standardized STEP composite structure design and manufacturing information , 2013, Comput. Aided Des..

[44]  Philippe Serré,et al.  The TTRSs : 13 Constraints for Dimensioning and Tolerancing , 1998 .

[45]  S. Khodaygan,et al.  Fuzzy-small degrees of freedom representation of linear and angular variations in mechanical assemblies for tolerance analysis and allocation , 2011 .

[46]  Xi Vincent Wang,et al.  A collaborative product data exchange environment based on STEP , 2015, Int. J. Comput. Integr. Manuf..

[47]  Franz Baader,et al.  A Scheme for Integrating Concrete Domains into Concept Languages , 1991, IJCAI.

[48]  Meifa Huang,et al.  An assembly tolerance representation model based on spatial relations for generating assembly tolerance types , 2014 .

[49]  Aristides A. G. Requicha,et al.  Representation of geometric features, tolerances, and attributes in solid modelers based on constructive geometry , 1986, IEEE J. Robotics Autom..

[50]  Wilma Polini.  Taxonomy of models for tolerance analysis in assembling , 2012 .

[51]  Gershon Elber,et al.  Inferring 3D models from freehand sketches and constraints , 1997, Comput. Aided Des..

[52]  Nathan W. Hartman,et al.  Examining CAD Interoperability through the Use of Ontologies , 2013 .

[53]  Guangleng Xiong,et al.  A variational geometric constraints network for a tolerance types specification , 2004 .

[54]  C. S. P. Rao,et al.  A Novel Method of Using API to Generate Liaison Relationships from an Assembly , 2010, J. Softw. Eng. Appl..

[55]  N. P. Juster,et al.  Modelling and representation of dimensions and tolerances: a survey , 1992, Comput. Aided Des..

[56]  Arun Tom Mathew,et al.  A CAD system for extraction of mating features in an assembly , 2010 .

[57]  Trichy M. Kethara Pasupathy,et al.  Modeling and representation of geometric tolerances information in integrated measurement processes , 2006, Comput. Ind..