@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix dice: <https://w3id.org/digitalconstruction/0.5/Entities#> .
@prefix dicv: <https://w3id.org/digitalconstruction/0.5/Variables#> .
@prefix dicp: <https://w3id.org/digitalconstruction/0.5/Processes#> .
@prefix dici: <https://w3id.org/digitalconstruction/0.5/Information#> .
@prefix dices: <https://w3id.org/digitalconstruction/0.5/Energy#> .
@prefix saref: <https://saref.etsi.org/core/> .
@prefix s4bldg: <https://saref.etsi.org/saref4bldg/> .

<https://w3id.org/digitalconstruction/0.5/Alignment/Saref/saref-dicon.ttl>
  rdf:type owl:Ontology ;
  dcterms:created "2021-04-18"^^xsd:date ;
  dcterms:creator "Seppo Törmä" ;
  dcterms:license <https://creativecommons.org/licenses/by/4.0/> ;
  rdfs:comment "Alignment of the Digital Construction Processes ontology with Saref Core and Saref Buildings ontologies" ;
  rdfs:label "Alignment of DICE and Saref"@en ;
  owl:imports <https://w3id.org/digitalconstruction/0.5/Energy/energy.ttl> ;
  owl:imports <https://saref.etsi.org/core/v3.1.1/saref.ttl> ;
  owl:imports <https://saref.etsi.org/saref4bldg/v1.1.2/saref4bldg.ttl> .

dicv:Subject owl:equivalentClass saref:FeatureOfInterest .
saref:hasProperty rdfs:subPropertyOf dicv:hasProperty .
dicv:QuantitativeProperty owl:equivalentClass saref:Property .
dicv:hasPropertyState rdfs:inverseOf saref:relatesToProperty .
dicv:QuantitativeState owl:equivalentClass saref:Measurement .

saref:UnitOfMeasure rdfs:subClassOf dicv:Unit .
saref:isMeasuredIn rdfs:subProperty dicv:hasUnit .
dicv:hasValue owl:equivalentProperty saref:hasValue . 

dice:Device owl:equivalentClass saref:Device .
dice:Sensor owl:equivalentClass saref:Sensor .
s4bldg:Sensor rdfs:subClassOf dice:Sensor .
s4bldg:BuildingSpace rdfs:subClassOf dice:Location .

dice:Function owl:equivalentClass saref:Function .
dicp:Service owl:equivalentClass saref:Service .
saref:Profile rdfs:subClassOf dici:Profile .

dices:Generator owl:equivalentClass s4bldg:ElectricGenerator .