Sorry! No search in Internet Explorer.
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 STATUS HIGH HIGH HIGH PORT (dexpi) to be used in DEXPI-compliant Proteus files starts with http - as shown below:
http://sandbox.dexpi.org/rdl/StatusHighHighHighPort
STATUS HIGH HIGH HIGH PORT (dexpi)
RDF Properties
"STATUS HIGH HIGH HIGH PORT"
"STATUS HIGH HIGH HIGH PORT"
Namespaces
rdfs
http://www.w3.org/2000/01/rdf-schema#
dexpi
http://sandbox.dexpi.org/rdl/
pca
http://data.posccaesar.org/rdl/