Ontology-based human-machine integrated design method for ultra-precision grinding machine spindle.