After discussing related work in Section II, we describe how the overall system is designed in Section III, i.e., how we represent robots and actions and how we link them via the concept of capabilities, and how we make inferences based on the
represented knowledge.
We present both, representations and inferences for sample problems in Section IV. Finally, we conclude in Section V.