@prefix s4bldg: <https://w3id.org/def/saref4bldg#>.