The URL (web address) shown by your browser starts with https because you visit this site using a secured connection. Note that the URI reference (identifier) of dexpi:SpecializationHassubclassExplosionProofArtefactHassuperclassArtefact to be used in DEXPI-compliant Proteus files starts with http - as shown below: