%0 Conference Proceedings
%T A Representation Model of Geometrical Tolerances Based on First Order Logic
%+ School of Computer Science and Engineering [Guilin University of Electronic Technology]
%+ School of Mechanical and Electrical Engineering [Guilin University of Electronic Technology]
%A Qin, Yuchu
%A Zhong, Yanru
%A Chang, Liang
%A Huang, Meifa
%Z Part 7: Knowledge Representation
%< avec comité de lecture
%( IFIP Advances in Information and Communication Technology
%B 7th International Conference on Intelligent Information Processing (IIP)
%C Guilin, China
%Y Zhongzhi Shi
%Y David Leake
%Y Sunil Vadera
%I Springer
%3 Intelligent Information Processing VI
%V AICT-385
%P 234-239
%8 2012-10-12
%D 2012
%R 10.1007/978-3-642-32891-6_30
%K Feature variations
%K Representation model
%K Geometrical tolerances
%Z Computer Science [cs]Conference papers
%X Tolerance representation models are used to specify tolerance types and explain semantics of tolerances for nominal geometry parts. To well explain semantics of geometrical tolerances, a representation model of geometrical tolerances based on First Order Logic (FOL) is presented in this paper. We first investigate the classifications of feature variations and give the FOL representations of them based on these classifications. Next, based on the above representations, we present a FOL representation model of geometrical tolerances. Furthermore, we demonstrate the effectiveness of the representation model by specifying geometrical tolerance types in an example.
%G English
%Z TC 12
%2 https://inria.hal.science/hal-01524962/document
%2 https://inria.hal.science/hal-01524962/file/978-3-642-32891-6_30_Chapter.pdf
%L hal-01524962
%U https://inria.hal.science/hal-01524962
%~ IFIP
%~ IFIP-AICT
%~ IFIP-TC
%~ IFIP-TC12
%~ IFIP-IIP
%~ IFIP-AICT-385