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