Semantic knowledge driven utility calculation towards efficient multi-robot task allocation.