Knowledge Representation applied to Robotic Orthopaedic Surgery