An ontology for CAD data and geometric constraints as a link between product models and semantic robot task descriptions