An ontology for CAD data and geometric constraints as a link between product models and semantic robot task descriptions | IEEE Conference Publication | IEEE Xplore