A bot ontology used to capture the bot domain in a formal specification - View it on GitHub