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