A Categorical Knowledge Management Software Platform for Advanced Areal Surface Texture Specification and Verification

Geometrical product specification and verification (GPS) standard system defined by ISO/TC 213 is a universal language for expressing tolerances and communicating functional requirements for geometrical workpieces in technical drawings. GPS is developed through cooperation by more than 60 countries and documented in hundreds of paper files. Hence, the GPS world is very complex and difficult to be handled. To overcome current implementation problems, this paper presents recent developments in applications of ISO GPS areal surface texture knowledge, by describing a novel integrated categorical knowledge management software platform. This paper discusses a categorical model to retrieve and integrated manage complex knowledge of GPS areal surface texture. To ensure the integration and consistency, this categorical model is also used to design and construct the software architecture and formulate the inference engine. This paper selects five typical examples to illustrate the areal surface texture knowledge capture and representation, multi-level management, and knowledge access facilities. The platform focuses on solving the intrinsic product design, manufacture and metrology problems by acting as a virtual domain expert through translating ISO GPS standards into the form of computerized expert knowledge.

[1]  Donald Firesmith,et al.  The Patterns Handbook: Techniques, Strategies, And Applications , 1998 .

[2]  Zhijie Xu,et al.  Category Theory-Based Object-Oriented Data Management for Virtual Manufacturing , 2008 .

[3]  Fanzhang Li,et al.  Categorical Description of Dynamic Fuzzy Logic Programming Language , 2009, J. Softw..

[4]  Zhijie Xu,et al.  Category theory-based object-oriented data management for web-based virtual manufacturing , 2008 .

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

[6]  Wang Hong,et al.  Formalizing Geo-Ontology Alignment based on Category Theory , 2012 .

[7]  Benjamin C. Pierce,et al.  Basic category theory for computer scientists , 1991, Foundations of computing.

[8]  K J Stout,et al.  Development of methods for the characterisation of roughness in three dimensions , 2000 .

[9]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

[10]  Zhijie Xu,et al.  Machining surface texture knowledge management using a category theory-based object-oriented database , 2007 .

[11]  Wang QifengZhou Liandong,et al.  Knowledge Management Approach for Manufacturing Process Based on Semantic Web , 2011 .

[12]  Michael Barr,et al.  Category theory for computing science , 1995, Prentice Hall International Series in Computer Science.

[13]  Xiangqian Jiang,et al.  Review of the Next Generation GPS , 2002 .

[14]  Michael Johnson,et al.  Category-theoretic fibration as an abstraction mechanism in information systems , 2001, Acta Informatica.

[15]  Rajeev Kaula,et al.  Data Modeling of Knowledge Rules: An Oracle Prototype , 2012, J. Softw..

[16]  Rod M. Burstall,et al.  Computational category theory , 1988, Prentice Hall International Series in Computer Science.