Improving reasoning capability for ontology-based geometric product model | IEEE Conference Publication | IEEE Xplore