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