Knowledge modeling for specifications and verification in areal surface texture

The 25178 series of standards in areal surface texture covers terms and definitions for specification and verification operators and is being developed by work group (WG) 16 in the International Standards Organization (ISO) TC 213. As there are many innovative concepts and definitions included in these standards, it is often considered difficult for mechanical engineers to comprehend and for computing engineers to apply in computing science. This paper presents the utilization of category theory to model sophisticated knowledge in the field of areal surface texture. The ISO 25178 series can be divided into specification and verification series according to the principles of Geometrical Product Specifications (GPS). In the category model, categories and objects are used to represent different knowledge structures; arrows and pullbacks are used to sketch diverse connection between objects; functors are utilized to reveal the structure-preserving mapping between categories in specification and verification. In this paper the function of pullbacks is considered to be a pullback inference mechanism since most of the objects in the model can be determined by different pullbacks. The knowledge model in this paper is the foundation for developing a design and measurement information system in areal surface texture for manufacturing industry.