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.