Make explicit any implicit SAREF Domain and Range statements?

The following SPARQL query returns the 2845 implicit Statements in the merged SAREF ontology collection as reported by GraphDB on 30-03-2023:

select DISTINCT ?s ?o FROM <http://www.ontotext.com/implicit> where { ?s a ?o .
	FILTER ( STRSTARTS(STR(?s), "https://saref.etsi.org/") )
    FILTER (isURI(?o)) 
}

Number {Inference Statement Type}

1843 http://www.w3.org/2000/01/rdf-schema#subClassOf

834 http://www.w3.org/1999/02/22-rdf-syntax-ns#type

66 http://www.w3.org/2000/01/rdf-schema#seeAlso

37 http://www.w3.org/2000/01/rdf-schema#range

28 http://www.w3.org/2000/01/rdf-schema#domain

26 http://www.w3.org/2002/07/owl#inverseOf

8 http://proton.semanticweb.org/protonsys#transitiveOver https://saref.etsi.org/saref4bldg/contains

	https://saref.etsi.org/saref4bldg/hasSpace

	https://saref.etsi.org/saref4bldg/isContainedIn

	https://saref.etsi.org/saref4bldg/isSpaceOf

	https://saref.etsi.org/saref4envi/hasComponent

	https://saref.etsi.org/saref4envi/isComponentOf

	https://saref.etsi.org/saref4syst/hasSubSystem

	https://saref.etsi.org/saref4syst/subSystemOf

3 http://www.w3.org/2002/07/owl#equivalentClass => ~/saref4ehaw/Contact && ~/saref4ehaw/HealthActor

It would make more sense if Domain and Range values were explicitly declared, especially if they link named classes.

https://saref.etsi.org/saref4agri/contains DOMAIN http://www.opengis.net/ont/geosparql#SpatialObject

https://saref.etsi.org/saref4agri/contains RANGE http://www.opengis.net/ont/geosparql#SpatialObject

https://saref.etsi.org/saref4agri/generates DOMAIN https://saref.etsi.org/core/FeatureOfInterest

https://saref.etsi.org/saref4agri/generates RANGE https://saref.etsi.org/core/Property

https://saref.etsi.org/saref4agri/receives DOMAIN https://saref.etsi.org/core/FeatureOfInterest

https://saref.etsi.org/saref4agri/receives RANGE https://saref.etsi.org/core/Measurement

https://saref.etsi.org/saref4auto/hasAbsolutePosition RANGE https://saref.etsi.org/saref4auto/RelativePosition

https://saref.etsi.org/saref4auto/hasHeight DOMAIN https://saref.etsi.org/core/FeatureOfInterest

https://saref.etsi.org/saref4auto/hasHeight RANGE https://saref.etsi.org/core/Property

https://saref.etsi.org/saref4auto/hasLength DOMAIN https://saref.etsi.org/core/FeatureOfInterest

https://saref.etsi.org/saref4auto/hasLength RANGE https://saref.etsi.org/core/Property

https://saref.etsi.org/saref4auto/hasMovement DOMAIN https://saref.etsi.org/core/FeatureOfInterest

https://saref.etsi.org/saref4auto/hasMovement RANGE https://saref.etsi.org/core/Property

https://saref.etsi.org/saref4auto/hasPlatoonPosition RANGE https://saref.etsi.org/saref4auto/RelativePosition

https://saref.etsi.org/saref4auto/hasPlatoonRole RANGE https://saref.etsi.org/saref4auto/Role

https://saref.etsi.org/saref4auto/hasRelativePosition RANGE https://saref.etsi.org/saref4auto/RelativePosition

https://saref.etsi.org/saref4auto/hasRoadTopologyPosition RANGE https://saref.etsi.org/saref4auto/RelativePosition

https://saref.etsi.org/saref4auto/hasShape DOMAIN https://saref.etsi.org/core/FeatureOfInterest

https://saref.etsi.org/saref4auto/hasShape RANGE https://saref.etsi.org/core/Property

https://saref.etsi.org/saref4auto/hasSize DOMAIN https://saref.etsi.org/core/FeatureOfInterest

https://saref.etsi.org/saref4auto/hasSize RANGE https://saref.etsi.org/core/Property

https://saref.etsi.org/saref4auto/hasVehicleRole RANGE https://saref.etsi.org/saref4auto/Role

https://saref.etsi.org/saref4auto/hasWidth DOMAIN https://saref.etsi.org/core/FeatureOfInterest

https://saref.etsi.org/saref4auto/hasWidth RANGE https://saref.etsi.org/core/Property

https://saref.etsi.org/saref4ener/hasEventStateConsume DOMAIN https://saref.etsi.org/core/Device

https://saref.etsi.org/saref4ener/hasEventStateConsume RANGE https://saref.etsi.org/core/State

https://saref.etsi.org/saref4ener/hasEventStateProduce DOMAIN https://saref.etsi.org/core/Device

https://saref.etsi.org/saref4ener/hasEventStateProduce RANGE https://saref.etsi.org/core/State

https://saref.etsi.org/saref4inma/hasGTIN12ID RANGE https://saref.etsi.org/saref4inma/ID

https://saref.etsi.org/saref4inma/hasGTIN13ID RANGE https://saref.etsi.org/saref4inma/ID

https://saref.etsi.org/saref4inma/hasGTIN14ID RANGE https://saref.etsi.org/saref4inma/ID

https://saref.etsi.org/saref4inma/hasGTIN8ID RANGE https://saref.etsi.org/saref4inma/ID

https://saref.etsi.org/saref4inma/hasIRDI RANGE https://saref.etsi.org/saref4inma/ID

https://saref.etsi.org/saref4inma/hasUUID RANGE https://saref.etsi.org/saref4inma/ID

https://saref.etsi.org/saref4lift/canConnectToNetwork RANGE https://saref.etsi.org/saref4syst/System

https://saref.etsi.org/saref4lift/connectedToEmergencyBattery DOMAIN https://saref.etsi.org/saref4syst/System

https://saref.etsi.org/saref4lift/connectedToEmergencyBattery RANGE https://saref.etsi.org/saref4syst/System

https://saref.etsi.org/saref4lift/hasCarService DOMAIN https://saref.etsi.org/saref4syst/System

https://saref.etsi.org/saref4lift/hasCarService RANGE https://saref.etsi.org/saref4syst/Connection

https://saref.etsi.org/saref4lift/hasCarTemperature DOMAIN https://saref.etsi.org/core/FeatureOfInterest

https://saref.etsi.org/saref4lift/hasCarTemperature RANGE https://saref.etsi.org/core/Property

https://saref.etsi.org/saref4lift/hasChannelBitErrorRate DOMAIN https://saref.etsi.org/core/FeatureOfInterest

https://saref.etsi.org/saref4lift/hasCoverage DOMAIN https://saref.etsi.org/core/FeatureOfInterest

https://saref.etsi.org/saref4lift/hasElectricPowerConsumption RANGE https://saref.etsi.org/core/Property

https://saref.etsi.org/saref4lift/hasEngineRoomTemperature DOMAIN https://saref.etsi.org/core/FeatureOfInterest

https://saref.etsi.org/saref4lift/hasEngineRoomTemperature RANGE https://saref.etsi.org/core/Property

https://saref.etsi.org/saref4lift/hasMainPowerSupply DOMAIN https://saref.etsi.org/saref4syst/System

https://saref.etsi.org/saref4lift/hasMainPowerSupply RANGE https://saref.etsi.org/saref4syst/ConnectionPoint

https://saref.etsi.org/saref4lift/hasReceivedSignalStrengthIndicator DOMAIN https://saref.etsi.org/core/FeatureOfInterest

https://saref.etsi.org/saref4lift/hasShaftTemperature DOMAIN https://saref.etsi.org/core/FeatureOfInterest

https://saref.etsi.org/saref4lift/hasShaftTemperature RANGE https://saref.etsi.org/core/Property

https://saref.etsi.org/saref4lift/hasStandardPowerSupply DOMAIN https://saref.etsi.org/saref4syst/System

https://saref.etsi.org/saref4lift/hasStandardPowerSupply RANGE https://saref.etsi.org/saref4syst/ConnectionPoint

https://saref.etsi.org/saref4lift/hasTimeOfConfirmationOfLastPeriodicTest72hAttempt DOMAIN
https://saref.etsi.org/core/FeatureOfInterest

https://saref.etsi.org/saref4lift/hasTimeOfConfirmationOfLastPeriodicTest72hAttempt RANGE https://saref.etsi.org/core/Property

https://saref.etsi.org/saref4lift/hasTimeOfLastPeriodicTest72hAttempt DOMAIN https://saref.etsi.org/core/FeatureOfInterest

https://saref.etsi.org/saref4lift/hasTimeOfLastPeriodicTest72hAttempt RANGE https://saref.etsi.org/core/Property

https://saref.etsi.org/saref4lift/hasVoltage RANGE https://saref.etsi.org/core/Property

https://saref.etsi.org/saref4wear/isLocatedIn DOMAIN https://saref.etsi.org/saref4wear/Wearable

https://saref.etsi.org/saref4wear/isLocatedNear DOMAIN https://saref.etsi.org/saref4wear/Wearable

https://saref.etsi.org/saref4wear/isLocatedOn DOMAIN https://saref.etsi.org/saref4wear/Wearable

https://saref.etsi.org/saref4wear/sendsInformationTo DOMAIN https://saref.etsi.org/saref4syst/System

https://saref.etsi.org/saref4wear/sendsInformationTo RANGE https://saref.etsi.org/saref4syst/System

https://saref.etsi.org/saref4wear/sendsNotificationsTo DOMAIN https://saref.etsi.org/saref4syst/System

https://saref.etsi.org/saref4wear/sendsNotificationsTo RANGE https://saref.etsi.org/saref4syst/System

Edited Jun 03, 2024 by Maxime Lefrançois

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information