A model and inferencing mechanism for spatial reasoning with manufactured components | IEEE Conference Publication | IEEE Xplore