Explicitly representing the semantics of composite positional tolerance for patterns of holes

Representing the semantics of the interaction of two or more tolerances (i.e., composite tolerance) explicitly to make them computer-understandable is currently a challenging task in computer-aided tolerancing (CAT). We have proposed a description logic (DL) ontology-based approach to complete this task recently. In this paper, the representation of the semantics of the composite positional tolerance (CPT) for patterns of holes (POHs) is used as an example to illustrate the proposed approach. This representation mainly includes representing the structure knowledge of the CPT for POHs in DL terminological axioms; expressing the constraint knowledge with Horn rules; and describing the individual knowledge using DL assertional axioms. By implementing the representation with the web ontology language (OWL) and the semantic web rule language (SWRL), a CPT ontology is developed. This ontology has explicitly computer-understandable semantics due to the logic-based semantics of OWL and SWRL. As is illustrated by an engineering example, such semantics makes it possible to automatically check the consistency, reason out the new knowledge, and implement the semantic interoperability of CPT information. Benefiting from this, the ontology provides a semantic enrichment model for the CPT information extracted from CAD/CAM systems.

[1]  Ernest Friedman-Hill,et al.  Jess in action : rule-based systems in Java , 2003 .

[2]  Jean-Yves Dantan.  Comparison of Skin Model Representations and Tooth Contact Analysis Techniques for Gear Tolerance Analysis , 2015, J. Comput. Inf. Sci. Eng..

[3]  Y. S. Liu,et al.  Variational geometry based pre-inspection of a pattern of holes , 2004 .

[4]  Xiaojun Liu,et al.  Description logic-based automatic generation of geometric tolerance zones , 2015 .

[5]  Soonhung Han,et al.  Interoperability of product and manufacturing information using ontology , 2015, Concurr. Eng. Res. Appl..

[6]  Alfred Horn,et al.  On sentences which are true of direct unions of algebras , 1951, Journal of Symbolic Logic.

[7]  A. Clément,et al.  A dimensioning and tolerancing assistance model for CAD/CAM systems , 1994 .

[8]  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..

[9]  David C. Gossard,et al.  Representing dimensions, tolerances, and features in MCAE systems , 1988, IEEE Computer Graphics and Applications.

[10]  Michael Grüninger,et al.  Ontologies for Integrating Engineering Applications , 2001, J. Comput. Inf. Sci. Eng..

[11]  Xiaojun Liu,et al.  Status, Comparison, and Issues of Computer-Aided Design Model Data Exchange Methods Based on Standardized Neutral Files and Web Ontology Language File , 2017, J. Comput. Inf. Sci. Eng..

[12]  Paul J. Scott,et al.  Design and implementation of an integrated surface texture information system for design, manufacture and measurement , 2014, Comput. Aided Des..

[13]  Jean-Yves Dantan,et al.  Formal Language for GeoSpelling , 2015, J. Comput. Inf. Sci. Eng..

[14]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[15]  Utpal Roy,et al.  Interpreting the semantics of GD&T specifications of a product for tolerance analysis , 2014, Comput. Aided Des..

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

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

[18]  Allison Barnard Feeney,et al.  A Portrait of an ISO STEP Tolerancing Standard as an Enabler of Smart Manufacturing Systems , 2014, J. Comput. Inf. Sci. Eng..

[19]  Sudarsan Rachuri,et al.  An ontology for assembly representation , 2007 .

[20]  Joseph K. Davidson,et al.  A mechanism for validating dimensioning and tolerancing schemes in CAD systems , 2001, Comput. Aided Des..

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

[22]  Liping Zhou,et al.  Enriching the semantics of variational geometric constraint data with ontology , 2015, Comput. Aided Des..

[23]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[24]  Michael J. Wozny,et al.  Tolerances in computer-aided geometric design , 2005, The Visual Computer.

[25]  Joseph K. Davidson,et al.  A New Mathematical Model for Geometric Tolerances as Applied to Round Faces , 2002 .

[26]  Paul J. Scott,et al.  Modeling the integration between specifications and verification for cylindricity based on category theory , 2010 .

[27]  Sudarsan Rachuri,et al.  Object-oriented representation of electro-mechanical assemblies using UML , 2003, Proceedings of the IEEE International Symposium onAssembly and Task Planning, 2003..

[28]  Jean-Yves Dantan,et al.  Geometrical product specifications - model for product life cycle , 2008, Comput. Aided Des..

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

[30]  Yusheng Liu,et al.  Generating variational geometry of a hole with composite tolerances , 2006, IEEE Trans Autom. Sci. Eng..

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

[32]  Louis Rivest,et al.  Tolerancing a solid model with a kinematic formulation , 1994, Comput. Aided Des..

[33]  Zhijie Xu,et al.  University of Huddersfield Repository Developing a Knowledge-based System for Complex Geometrical Product Specification (gps) Data Manipulation. Original Citation (2010) Developing a Knowledge-based System for Complex Geometrical Product Specification (gps) Data Manipulation. Knowledge University of , 2022 .

[34]  Liang Chang,et al.  Constructing a meta-model for assembly tolerance types with a description logic based approach , 2014, Comput. Aided Des..

[35]  Sebastian Rudolph,et al.  Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 , 2010, KR.

[36]  Matt Lombard,et al.  Dimensioning and Tolerancing , 2013 .

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

[38]  Parisa Ghodous,et al.  Semantic interoperability of knowledge in feature-based CAD models , 2014 .

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