@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 : <https://w3id.org/digitalconstruction/0.5/Entities#> .
@prefix obo: <http://purl.obolibrary.org/obo/> .

<https://w3id.org/digitalconstruction/0.5/Alignment/BFO/bfo.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 Entities ontology with BFO ontology" ;
  rdfs:label "Alignment of DICE and BFO"@en ;
  owl:imports <https://w3id.org/digitalconstruction/0.5/Entities/entities.ttl> ;
  owl:imports <https://standards.iso.org/iso-iec/21838/-2/ed-1/en/owl/bfo-2020-without-some-all-times.owl> .

# Classes
:Entity owl:equivalentClass obo:BFO_0000001 .
:Continuant owl:equivalentClass obo:BFO_0000002 .
:Occurrent owl:equivalentClass obo:BFO_0000003 .
:IndependentContinuant owl:equivalentClass obo:BFO_0000004 .
:SpatialRegion owl:equivalentClass obo:BFO_0000006 .
:TemporalRegion owl:equivalentClass obo:BFO_0000008 .
:TwoDimensionalSpatialRegion owl:equivalentClass obo:BFO_0000009 .
:SpatiotemporalRegion owl:equivalentClass obo:BFO_0000011 .
:Process owl:equivalentClass obo:BFO_0000015 .
:Disposition owl:equivalentClass obo:BFO_0000016 .
:RealizableEntity owl:equivalentClass obo:BFO_0000017 .
:ZeroDimensionalSpatialRegion owl:equivalentClass obo:BFO_0000018 .
:Quality owl:equivalentClass obo:BFO_0000019 .
:SpecificallyDependentContinuant owl:equivalentClass obo:BFO_0000020 .
:Role owl:equivalentClass obo:BFO_0000023 .
:FiatObjectPart owl:equivalentClass obo:BFO_0000024 .
:OneDimensionalSpatialRegion owl:equivalentClass obo:BFO_0000026 .
:ObjectAggregate owl:equivalentClass obo:BFO_0000027 .
:ThreeDimensionalSpatialRegion owl:equivalentClass obo:BFO_0000028 .
:Site owl:equivalentClass obo:BFO_0000029 .
:Object owl:equivalentClass obo:BFO_0000030 .
:GenericallyDependentContinuant owl:equivalentClass obo:BFO_0000031 .
:Function owl:equivalentClass obo:BFO_0000034 .
:ProcessBoundary owl:equivalentClass obo:BFO_0000035 .
:OneDimensionalTemporalRegion owl:equivalentClass obo:BFO_0000038 .
:MaterialEntity owl:equivalentClass obo:BFO_0000040 .
:ContinuantFiatBoundary owl:equivalentClass obo:BFO_0000140 .
:ImmaterialEntity owl:equivalentClass obo:BFO_0000141 .
:FiatLine owl:equivalentClass obo:BFO_0000142 .
:RelationalQuality owl:equivalentClass obo:BFO_0000145 .
:FiatSurface owl:equivalentClass obo:BFO_0000146 .
:FiatPoint owl:equivalentClass obo:BFO_0000147 .
:ZeroDimensionalTemporalRegion owl:equivalentClass obo:BFO_0000148 .
:History owl:equivalentClass obo:BFO_0000182 .
:TimeInterval owl:equivalentClass obo:BFO_0000202 .
:TimeInstant owl:equivalentClass obo:BFO_0000203 .

# Properties
:hasRealization owl:equivalentProperty obo:BFO_0000054 .
:realizes owl:equivalentProperty obo:BFO_0000055 .
:participatesIn owl:equivalentProperty obo:BFO_0000056 .
:hasParticipant owl:equivalentProperty obo:BFO_0000057 .
:isConcretizedBy owl:equivalentProperty obo:BFO_0000058 .
:concretizes owl:equivalentProperty obo:BFO_0000059 .
:precededBy owl:equivalentProperty obo:BFO_0000062 .
:precedes owl:equivalentProperty obo:BFO_0000063 .
:occursIn owl:equivalentProperty obo:BFO_0000066 .
:locatedInAtAllTimes owl:equivalentProperty obo:BFO_0000082 .
:genericallyDependsOn owl:equivalentProperty obo:BFO_0000084 .
:isCarrierOf owl:equivalentProperty obo:BFO_0000101 .
:existsAt owl:equivalentProperty obo:BFO_0000108 .
:hasContinuantPartAtAllTimes owl:equivalentProperty obo:BFO_0000110 .
:hasProperContinuantPartAtAllTimes owl:equivalentProperty obo:BFO_0000111 .
:hasMaterialBasisAtAllTimes owl:equivalentProperty obo:BFO_0000113 .
:hasMemberPart owl:equivalentProperty obo:BFO_0000115 .
:hasOccurrentPart owl:equivalentProperty obo:BFO_0000117 .
:hasProperOccurrentPart owl:equivalentProperty obo:BFO_0000118 .
:hasTemporalPart owl:equivalentProperty obo:BFO_0000121 .
:locationOf owl:equivalentProperty obo:BFO_0000124 .
:materialBasisOf owl:equivalentProperty obo:BFO_0000127 .
:memberPartOf owl:equivalentProperty obo:BFO_0000129 .
:occurrentPartOf owl:equivalentProperty obo:BFO_0000132 .
:properTemporalPartOf owl:equivalentProperty obo:BFO_0000136 .
:properContinuantPartOfAtAllTimes owl:equivalentProperty obo:BFO_0000137 .
:properOccurrentPartOf owl:equivalentProperty obo:BFO_0000138 .
:temporalPartOf owl:equivalentProperty obo:BFO_0000139 .
:temporallyProjectsOnto owl:equivalentProperty obo:BFO_0000153 .
:materialBasisOfAtAllTimes owl:equivalentProperty obo:BFO_0000163 .
:concretizesAtAllTimes owl:equivalentProperty obo:BFO_0000164 .
:isConcretizedByAtAllTimes owl:equivalentProperty obo:BFO_0000165 .
:participatesInAtAllTimes owl:equivalentProperty obo:BFO_0000166 .
:hasParticipantAtAllTimes owl:equivalentProperty obo:BFO_0000167 .
:locationOfAtAllTimes owl:equivalentProperty obo:BFO_0000170 .
:locatedIn owl:equivalentProperty obo:BFO_0000171 .
:hasMemberPartAtAllTimes owl:equivalentProperty obo:BFO_0000172 .
:memberPartOfAtAllTimes owl:equivalentProperty obo:BFO_0000173 .
:hasProperContinuantPart owl:equivalentProperty obo:BFO_0000174 .
:properContinuantPartOf owl:equivalentProperty obo:BFO_0000175 .
:continuantPartOf owl:equivalentProperty obo:BFO_0000176 .
:continuantPartOfAtAllTimes owl:equivalentProperty obo:BFO_0000177 .
:hasContinuantPart owl:equivalentProperty obo:BFO_0000178 .
:hasProperTemporalPart owl:equivalentProperty obo:BFO_0000181 .
:environs owl:equivalentProperty obo:BFO_0000183 .
:historyOf owl:equivalentProperty obo:BFO_0000184 .
:hasHistory owl:equivalentProperty obo:BFO_0000185 .
:specificallyDependedOnBy owl:equivalentProperty obo:BFO_0000194 .
:specificallyDependsOn owl:equivalentProperty obo:BFO_0000195 .
:bearerOf owl:equivalentProperty obo:BFO_0000196 .
:inheresIn owl:equivalentProperty obo:BFO_0000197 .
:occupiesTemporalRegion owl:equivalentProperty obo:BFO_0000199 .
:occupiesSpatiotemporalRegion owl:equivalentProperty obo:BFO_0000200 .
:occupiesSpatialRegion owl:equivalentProperty obo:BFO_0000210 .
:occupiesSpatialRegionAtAllTimes owl:equivalentProperty obo:BFO_0000211 .
:spatiallyProjectsOnto owl:equivalentProperty obo:BFO_0000216 .
:spatiallyProjectsOntoAtAllTimes owl:equivalentProperty obo:BFO_0000217 .
:hasMaterialBasis owl:equivalentProperty obo:BFO_0000218 .
:genericallyDependsOnAtAllTimes owl:equivalentProperty obo:BFO_0000219 .
:isCarrierOfAtAllTimes owl:equivalentProperty obo:BFO_0000220 .
:firstInstantOf owl:equivalentProperty obo:BFO_0000221 .
:hasFirstInstant owl:equivalentProperty obo:BFO_0000222 .
:lastInstantOf owl:equivalentProperty obo:BFO_0000223 .
:hasLastInstant owl:equivalentProperty obo:BFO_0000224 .