@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 sp: <http://www.w3.org/ns/sosa/prov/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix dicv: <https://w3id.org/digitalconstruction/0.5/Variables#> .
@prefix qudt: <http://qudt.org/2.1/schema/qudt/> .

<https://w3id.org/digitalconstruction/0.5/Alignment/QUDT/qudt.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 Variables ontology with QUDT ontology" ;
  rdfs:label "Alignment of DICV and QUDT"@en ;
  owl:imports <https://w3id.org/digitalconstruction/0.5/Variables/variables.ttl> ;
  owl:imports <http://qudt.org/2.1/schema/qudt> .

dicv:Subject owl:subClassOf qudt:Quantifiable .

qudt:hasQuantity owl:subPropertyOf dicv:hasProperty .

# These are extensionally the same
dicv:QuantitativeProperty owl:equivalentClass qudt:Quantity .
dicv:hasQuantityKind owl:equivalentProperty qudt:hasQuantityKind .
dicv:QuantityKind owl:equivalentClass qudt:QuantityKind .
dicv:qudt:quantityValue rdfs:subPropertyOf dicv:hasPropertyState .
dicv:QuantitativeState owl:equivalentClass qudt:QuantityValue .
dicv:hasUnit owl:equivalentProperty qudt:unit .
dicv:Unit owl:equivalentClass qudt:Unit .

# The datatype range is an issue here
dicv:hasValue owl:equivalentProperty qudt:value .