A Representation Model of Geometrical Tolerances Based on First Order Logic

Yuchu Qin, Yanru Zhong, Liang Chang, Meifa Huang

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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.
Original languageEnglish
Title of host publicationIntelligent Information Processing VI
EditorsZ. Shi, D. Leake, S. Vadera
Place of PublicationBerlin
Number of pages6
ISBN (Electronic)9783642328916
ISBN (Print)9783642328909
Publication statusPublished - 12 Oct 2012
Externally publishedYes
EventIntelligent Information Processing VI - Guilin, China
Duration: 12 Oct 201215 Oct 2012

Publication series

NameIntelligent Information Processing VI
ISSN (Print)1868-4238
ISSN (Electronic)1861-2288


ConferenceIntelligent Information Processing VI
Abbreviated titleIIP 2012
Internet address

Fingerprint Dive into the research topics of 'A Representation Model of Geometrical Tolerances Based on First Order Logic'. Together they form a unique fingerprint.

Cite this