@prefix : <http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://example.org/CBIM_Ontology#> .

<http://example.org/CBIM_Ontology#> rdf:type owl:Ontology .

#################################################################
#    Datatypes
#################################################################

###  http://example.org/CBIM_Ontology#/www.w3.org/2001/XMLSchema#double
<http://example.org/CBIM_Ontology#/www.w3.org/2001/XMLSchema#double> rdf:type rdfs:Datatype .


###  http://example.org/CBIM_Ontology#/www.w3.org/2001/XMLSchema#string
<http://example.org/CBIM_Ontology#/www.w3.org/2001/XMLSchema#string> rdf:type rdfs:Datatype .


#################################################################
#    Object Properties
#################################################################

###  http://example.org/CBIM_Ontology#property
:property rdf:type owl:ObjectProperty ;
          rdfs:domain :RelSpatialConstraint ;
          rdfs:range :SpatialConstraintAttribute .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#correspondsTo
:correspondsTo rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf :function .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#equivalentTo
:equivalentTo rdf:type owl:ObjectProperty ;
              rdfs:subPropertyOf :function .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#fills
:fills rdf:type owl:ObjectProperty ;
       rdfs:subPropertyOf :function .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#function
:function rdf:type owl:ObjectProperty ,
                   owl:FunctionalProperty ;
          rdfs:domain :BuildingElement ;
          rdfs:range :BuildingElement .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#hasConnectionType
:hasConnectionType rdf:type owl:ObjectProperty ;
                   rdfs:subPropertyOf :property .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#hasConstraintDescription
:hasConstraintDescription rdf:type owl:ObjectProperty ;
                          rdfs:subPropertyOf :property .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#hasDirection
:hasDirection rdf:type owl:ObjectProperty ;
              rdfs:subPropertyOf :property .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#hasObject
:hasObject rdf:type owl:ObjectProperty ,
                    owl:FunctionalProperty ;
           rdfs:domain :Rel ;
           rdfs:range :BuildingElement .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#hasOperator
:hasOperator rdf:type owl:ObjectProperty ;
             rdfs:subPropertyOf :property .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#hasSubject
:hasSubject rdf:type owl:ObjectProperty ,
                     owl:FunctionalProperty ;
            rdfs:domain :Rel ;
            rdfs:range :BuildingElement .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#hasType
:hasType rdf:type owl:ObjectProperty ;
         rdfs:range :ConnectionTypeEnum .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#hasValue
:hasValue rdf:type owl:ObjectProperty ;
          rdfs:subPropertyOf :property .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#hosts
:hosts rdf:type owl:ObjectProperty ;
       rdfs:subPropertyOf :function .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#partOf
:partOf rdf:type owl:ObjectProperty ;
        rdfs:subPropertyOf :function .


#################################################################
#    Data properties
#################################################################

###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#RelSpatialProperties
:RelSpatialProperties rdf:type owl:DatatypeProperty ;
                      rdfs:domain :RelSpatial .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#Xaxis
:Xaxis rdf:type owl:DatatypeProperty .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#Yaxis
:Yaxis rdf:type owl:DatatypeProperty .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#Zaxis
:Zaxis rdf:type owl:DatatypeProperty .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#hasDescription
:hasDescription rdf:type owl:DatatypeProperty .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#hasStatus
:hasStatus rdf:type owl:DatatypeProperty .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#hasValue
:hasValue rdf:type owl:DatatypeProperty .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#inContact
:inContact rdf:type owl:DatatypeProperty ;
           rdfs:subPropertyOf :RelSpatialProperties ;
           rdfs:range xsd:boolean .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#offset
:offset rdf:type owl:DatatypeProperty ;
        rdfs:subPropertyOf :RelSpatialProperties ;
        rdfs:range xsd:string .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#topology
:topology rdf:type owl:DatatypeProperty ;
          rdfs:subPropertyOf :RelSpatialProperties ;
          rdfs:range xsd:string .


###  https://w3id.org/express#hasBoolean
<https://w3id.org/express#hasBoolean> rdf:type owl:DatatypeProperty ,
                                               owl:FunctionalProperty .


###  https://w3id.org/express#hasDouble
<https://w3id.org/express#hasDouble> rdf:type owl:DatatypeProperty ,
                                              owl:FunctionalProperty .


###  https://w3id.org/express#hasString
<https://w3id.org/express#hasString> rdf:type owl:DatatypeProperty ,
                                              owl:FunctionalProperty .


#################################################################
#    Classes
#################################################################

###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#Attribute
:Attribute rdf:type owl:Class .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#BuildingElement
:BuildingElement rdf:type owl:Class ;
                 rdfs:subClassOf [ rdf:type owl:Restriction ;
                                   owl:onProperty :correspondsTo ;
                                   owl:allValuesFrom :BuildingElement
                                 ] ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty :equivalentTo ;
                                   owl:allValuesFrom :BuildingElement
                                 ] ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty :fills ;
                                   owl:allValuesFrom :BuildingElement
                                 ] ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty :hosts ;
                                   owl:allValuesFrom :BuildingElement
                                 ] ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty :partOf ;
                                   owl:allValuesFrom :BuildingElement
                                 ] .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#ConnectionTypeEnum
:ConnectionTypeEnum rdf:type owl:Class ;
                    rdfs:subClassOf :SpatialConstraintAttribute .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#ConstraintDescription
:ConstraintDescription rdf:type owl:Class ;
                       rdfs:subClassOf :SpatialConstraintAttribute ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :hasDescription ;
                                         owl:allValuesFrom <http://example.org/CBIM_Ontology#/www.w3.org/2001/XMLSchema#string>
                                       ] .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#DesignIntentAttribute
:DesignIntentAttribute rdf:type owl:Class ;
                       rdfs:subClassOf :Attribute .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#DirectionEnum
:DirectionEnum rdf:type owl:Class ;
               rdfs:subClassOf :SpatialConstraintAttribute .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#OperatorEnum
:OperatorEnum rdf:type owl:Class ;
              rdfs:subClassOf :SpatialConstraintAttribute .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#Rel
:Rel rdf:type owl:Class ;
     rdfs:subClassOf [ rdf:type owl:Restriction ;
                       owl:onProperty :hasObject ;
                       owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                       owl:onClass :BuildingElement
                     ] ,
                     [ rdf:type owl:Restriction ;
                       owl:onProperty :hasSubject ;
                       owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                       owl:onClass :BuildingElement
                     ] .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#RelDesignIntent
:RelDesignIntent rdf:type owl:Class ;
                 rdfs:subClassOf :Rel .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#RelSpatial
:RelSpatial rdf:type owl:Class ;
            rdfs:subClassOf :Rel ,
                            [ rdf:type owl:Restriction ;
                              owl:onProperty :inContact ;
                              owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                              owl:onDataRange xsd:boolean
                            ] ,
                            [ rdf:type owl:Restriction ;
                              owl:onProperty :offset ;
                              owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                              owl:onDataRange xsd:string
                            ] ,
                            [ rdf:type owl:Restriction ;
                              owl:onProperty :topology ;
                              owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                              owl:onDataRange xsd:string
                            ] .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#RelSpatialConstraint
:RelSpatialConstraint rdf:type owl:Class ;
                      rdfs:subClassOf :RelDesignIntent ,
                                      [ rdf:type owl:Restriction ;
                                        owl:onProperty :hasConnectionType ;
                                        owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                        owl:onClass :ConnectionTypeEnum
                                      ] ,
                                      [ rdf:type owl:Restriction ;
                                        owl:onProperty :hasConstraintDescription ;
                                        owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                        owl:onClass :ConstraintDescription
                                      ] ,
                                      [ rdf:type owl:Restriction ;
                                        owl:onProperty :hasDirection ;
                                        owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                        owl:onClass :DirectionEnum
                                      ] ,
                                      [ rdf:type owl:Restriction ;
                                        owl:onProperty :hasOperator ;
                                        owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                        owl:onClass :OperatorEnum
                                      ] ,
                                      [ rdf:type owl:Restriction ;
                                        owl:onProperty :hasValue ;
                                        owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                        owl:onClass :Value
                                      ] .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#SpatialConstraintAttribute
:SpatialConstraintAttribute rdf:type owl:Class ;
                            rdfs:subClassOf :DesignIntentAttribute .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#Value
:Value rdf:type owl:Class ;
       rdfs:subClassOf :SpatialConstraintAttribute ,
                       [ rdf:type owl:Restriction ;
                         owl:onProperty :hasValue ;
                         owl:allValuesFrom <http://example.org/CBIM_Ontology#/www.w3.org/2001/XMLSchema#double>
                       ] ,
                       [ rdf:type owl:Restriction ;
                         owl:onProperty :hasValue ;
                         owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                         owl:onDataRange <http://example.org/CBIM_Ontology#/www.w3.org/2001/XMLSchema#double>
                       ] .


###  https://standards.buildingsmart.org/IFC/DEV/IFC4/ADD1/OWL#IfcElement
<https://standards.buildingsmart.org/IFC/DEV/IFC4/ADD1/OWL#IfcElement> rdf:type owl:Class ;
                                                                       rdfs:subClassOf :BuildingElement .


###  https://w3id.org/bot#Element
<https://w3id.org/bot#Element> rdf:type owl:Class ;
                               rdfs:subClassOf :BuildingElement .


#################################################################
#    Individuals
#################################################################

###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#BOLTED
:BOLTED rdf:type owl:NamedIndividual ,
                 :ConnectionTypeEnum .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#BRACKET
:BRACKET rdf:type owl:NamedIndividual ,
                  :ConnectionTypeEnum .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#EQUAL_TO
:EQUAL_TO rdf:type owl:NamedIndividual ,
                   :OperatorEnum .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#GLUED
:GLUED rdf:type owl:NamedIndividual ,
                :ConnectionTypeEnum .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#HOOK
:HOOK rdf:type owl:NamedIndividual ,
               :ConnectionTypeEnum .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#LARGER_THAN
:LARGER_THAN rdf:type owl:NamedIndividual ,
                      :OperatorEnum .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#LARGER_THAN_OR_EQUAL_TO
:LARGER_THAN_OR_EQUAL_TO rdf:type owl:NamedIndividual ,
                                  :OperatorEnum .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#NONE
:NONE rdf:type owl:NamedIndividual ,
               :ConnectionTypeEnum .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#REBAR
:REBAR rdf:type owl:NamedIndividual ,
                :ConnectionTypeEnum .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#SMALLER_THAN
:SMALLER_THAN rdf:type owl:NamedIndividual ,
                       :OperatorEnum .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#SMALLER_THAN_OR_EQUAL_TO
:SMALLER_THAN_OR_EQUAL_TO rdf:type owl:NamedIndividual ,
                                   :OperatorEnum .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#WELDED
:WELDED rdf:type owl:NamedIndividual ,
                 :ConnectionTypeEnum .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#X
:X rdf:type owl:NamedIndividual ,
            :DirectionEnum .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#X_ROTATION
:X_ROTATION rdf:type owl:NamedIndividual ,
                     :DirectionEnum .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#Y
:Y rdf:type owl:NamedIndividual ,
            :DirectionEnum .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#Y_ROTATION
:Y_ROTATION rdf:type owl:NamedIndividual ,
                     :DirectionEnum .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#Z
:Z rdf:type owl:NamedIndividual ,
            :DirectionEnum .


###  http://www.semanticweb.org/oyter/ontologies/2021/8/untitled-ontology-41#Z_ROTATION
:Z_ROTATION rdf:type owl:NamedIndividual ,
                     :DirectionEnum .


###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi