Developing ePartners for human-robot teams in space based on ontologies and formal abstraction hierarchies. (2017)