@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 bot: <https://w3id.org/bot#> . 

<https://w3id.org/digitalconstruction/0.5/Alignment/BOT/bot-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 Ontologies with Building Topology Ontology (BOT)" ;
  rdfs:label "Alignment of DiCon and BOT"@en ;
  owl:imports <https://w3id.org/digitalconstruction/0.5/Entities/entities.ttl> ;
  owl:imports <http://www.w3id.org/bot/bot.ttl> .

bot:Zone owl:equivalentClass dice:Location .
bot:Building owl:equivalentClass dice:Building .
bot:containsZone owl:equivalentProperty dice:hasSubLocation .
bot:Element owl:equivalentClass dice:BuildingObject .
bot:hasELement owl:equivalentProperty dice:isLocationOf .
bot:hasSubElement rdfs:subPropertyOf dice:hasContinuantPart .
bot:adjacentElement rdfs:subPropertyOf dice:hasAdjacentElement .