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 contribution

Abstract

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
PublisherSpringer
Pages234-239
Number of pages6
ISBN (Electronic)9783642328916
ISBN (Print)9783642328909
DOIs
Publication statusPublished - 12 Oct 2012
Externally publishedYes
EventIntelligent Information Processing VI - Guilin, China
Duration: 12 Oct 201215 Oct 2012
https://link.springer.com/book/10.1007/978-3-642-32891-6

Publication series

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

Conference

ConferenceIntelligent Information Processing VI
Abbreviated titleIIP 2012
CountryChina
CityGuilin
Period12/10/1215/10/12
Internet address

Fingerprint

Semantics
Geometry

Cite this

Qin, Y., Zhong, Y., Chang, L., & Huang, M. (2012). A Representation Model of Geometrical Tolerances Based on First Order Logic. In Z. Shi, D. Leake, & S. Vadera (Eds.), Intelligent Information Processing VI (pp. 234-239). (Intelligent Information Processing VI; Vol. 385). Berlin: Springer. https://doi.org/10.1007/978-3-642-32891-6_30
Qin, Yuchu ; Zhong, Yanru ; Chang, Liang ; Huang, Meifa. / A Representation Model of Geometrical Tolerances Based on First Order Logic. Intelligent Information Processing VI. editor / Z. Shi ; D. Leake ; S. Vadera. Berlin : Springer, 2012. pp. 234-239 (Intelligent Information Processing VI).
@inproceedings{5eb905c5b03b452d9a47d6d90dbf964e,
title = "A Representation Model of Geometrical Tolerances Based on First Order Logic",
abstract = "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.",
keywords = "Feature variations, Representation model, Geometrical tolerances",
author = "Yuchu Qin and Yanru Zhong and Liang Chang and Meifa Huang",
year = "2012",
month = "10",
day = "12",
doi = "10.1007/978-3-642-32891-6_30",
language = "English",
isbn = "9783642328909",
series = "Intelligent Information Processing VI",
publisher = "Springer",
pages = "234--239",
editor = "Z. Shi and D. Leake and S. Vadera",
booktitle = "Intelligent Information Processing VI",

}

Qin, Y, Zhong, Y, Chang, L & Huang, M 2012, A Representation Model of Geometrical Tolerances Based on First Order Logic. in Z Shi, D Leake & S Vadera (eds), Intelligent Information Processing VI. Intelligent Information Processing VI, vol. 385, Springer, Berlin, pp. 234-239, Intelligent Information Processing VI, Guilin, China, 12/10/12. https://doi.org/10.1007/978-3-642-32891-6_30

A Representation Model of Geometrical Tolerances Based on First Order Logic. / Qin, Yuchu; Zhong, Yanru; Chang, Liang; Huang, Meifa.

Intelligent Information Processing VI. ed. / Z. Shi; D. Leake; S. Vadera. Berlin : Springer, 2012. p. 234-239 (Intelligent Information Processing VI; Vol. 385).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - A Representation Model of Geometrical Tolerances Based on First Order Logic

AU - Qin, Yuchu

AU - Zhong, Yanru

AU - Chang, Liang

AU - Huang, Meifa

PY - 2012/10/12

Y1 - 2012/10/12

N2 - 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.

AB - 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.

KW - Feature variations

KW - Representation model

KW - Geometrical tolerances

U2 - 10.1007/978-3-642-32891-6_30

DO - 10.1007/978-3-642-32891-6_30

M3 - Conference contribution

SN - 9783642328909

T3 - Intelligent Information Processing VI

SP - 234

EP - 239

BT - Intelligent Information Processing VI

A2 - Shi, Z.

A2 - Leake, D.

A2 - Vadera, S.

PB - Springer

CY - Berlin

ER -

Qin Y, Zhong Y, Chang L, Huang M. A Representation Model of Geometrical Tolerances Based on First Order Logic. In Shi Z, Leake D, Vadera S, editors, Intelligent Information Processing VI. Berlin: Springer. 2012. p. 234-239. (Intelligent Information Processing VI). https://doi.org/10.1007/978-3-642-32891-6_30