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 dexpi:SpecializationHassubclassDisplacementPumpHassuperclassDynamicPump to be used in DEXPI-compliant Proteus files starts with http - as shown below:

http://sandbox.dexpi.org/rdl/SpecializationHassubclassDisplacementPumpHassuperclassDynamicPump

dexpi:SpecializationHassubclassDisplacementPumpHassuperclassDynamicPump

Specialization

RDF Properties

Namespaces

p2
http://rds.posccaesar.org/2008/02/OWL/ISO-15926-2_2003#
pca
http://data.posccaesar.org/rdl/
dexpi
http://sandbox.dexpi.org/rdl/
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#