Semantic Representation of Flatness Based on ALC(R) and Mathematical Definition

The information of form tolerances in existing 3D CAD systems is just a kind of symbol and text which is lack of engineering semantic at present. Therefore, a reasonable explanation and Semantic representation of form tolerances has very important significance. In order to reduce the uncertainty and support the semantic interoperability in tolerance specification design, an approach for mathematical representation of flatness based on the Small Displacement Torsor (SDT) is proposed. Based on this, a representation of flatness using description logical language ALC(R) with concrete domain is proposed. Then flatness information is formalized using OWL, an ontology representation language devised by W3C, to be shared and interoperated between heterogeneous systems by building OWL ontology. At last, there is a practical example to verify the feasibility of this approach.