Modeling part data for geometric reasoning using data abstraction and object-oriented techniques | IEEE Conference Publication | IEEE Xplore