@prefix bot: <https://w3id.org/bot#>.