@prefix : <http://sweetontology.net/reprSpaceGeometry/> .
@prefix sorepsg: <http://sweetontology.net/reprSpaceGeometry/> .
@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 xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix sorepm: <http://sweetontology.net/reprMath/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sorep: <http://sweetontology.net/repr/> .
@prefix sorepmf: <http://sweetontology.net/reprMathFunction/> .
@prefix sorelm: <http://sweetontology.net/relaMath/> .
@prefix sorelsp: <http://sweetontology.net/relaSpace/> .
@base <http://sweetontology.net/reprSpaceGeometry> .

<http://sweetontology.net/reprSpaceGeometry> rdf:type owl:Ontology ;
                                              owl:imports <http://sweetontology.net/relaMath> ,
                                                          <http://sweetontology.net/relaSpace> ,
                                                          <http://sweetontology.net/repr> ,
                                                          <http://sweetontology.net/reprMath> ,
                                                          <http://sweetontology.net/reprMathFunction> ;
                                              rdfs:label "SWEET Ontology Representation Space Geometry" ;
                                              dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
                                              owl:versionInfo "3.6.0" .

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

###  http://sweetontology.net/relaSpace/hasVertices
sorelsp:hasVertices rdf:type owl:ObjectProperty .


#################################################################
#    Data Properties
#################################################################

###  http://sweetontology.net/relaMath/hasDimension
sorelm:hasDimension rdf:type owl:DatatypeProperty .


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

###  http://sweetontology.net/reprSpaceGeometry/Arc
sorepsg:Arc rdf:type owl:Class ;
        rdfs:subClassOf sorepsg:GeometricalObject_1D ;
        rdfs:label "arc"@en .


###  http://sweetontology.net/reprSpaceGeometry/BoundingBox
sorepsg:BoundingBox rdf:type owl:Class ;
                rdfs:subClassOf sorepsg:Rectangle ;
                rdfs:label "bounding box"@en .


###  http://sweetontology.net/reprSpaceGeometry/Circle
sorepsg:Circle rdf:type owl:Class ;
           rdfs:subClassOf sorepsg:ConicSection ;
           rdfs:label "circle"@en .


###  http://sweetontology.net/reprSpaceGeometry/Circular
sorepsg:Circular rdf:type owl:Class ;
             rdfs:subClassOf sorepsg:GeometricalObject_2D ;
             rdfs:label "circular"@en .


###  http://sweetontology.net/reprSpaceGeometry/Cluster
sorepsg:Cluster rdf:type owl:Class ;
            owl:equivalentClass sorepsg:Family ,
                                sorepsg:Swarm ;
            rdfs:subClassOf sorepm:Collection ;
            rdfs:label "cluster"@en .


###  http://sweetontology.net/reprSpaceGeometry/Conic
sorepsg:Conic rdf:type owl:Class ;
          owl:equivalentClass sorepsg:ConicSection ;
          rdfs:subClassOf sorepsg:GeometricalObject_2D ;
          rdfs:label "conic"@en .


###  http://sweetontology.net/reprSpaceGeometry/ConicSection
sorepsg:ConicSection rdf:type owl:Class ;
                 rdfs:label "conic section"@en .


###  http://sweetontology.net/reprSpaceGeometry/Contour
sorepsg:Contour rdf:type owl:Class ;
            rdfs:subClassOf sorepsg:Surface ;
            rdfs:label "contour"@en .


###  http://sweetontology.net/reprSpaceGeometry/Crescent
sorepsg:Crescent rdf:type owl:Class ;
             rdfs:subClassOf sorepsg:GeometricalObject_2D ;
             rdfs:label "crescent"@en .


###  http://sweetontology.net/reprSpaceGeometry/Curve
sorepsg:Curve rdf:type owl:Class ;
          rdfs:subClassOf sorepsg:GeometricalObject_1D ;
          rdfs:label "curve"@en .


###  http://sweetontology.net/reprSpaceGeometry/Depression
sorepsg:Depression rdf:type owl:Class ;
               rdfs:subClassOf sorepsg:GeometricalObject ;
               rdfs:label "depression"@en .


###  http://sweetontology.net/reprSpaceGeometry/Ellipse
sorepsg:Ellipse rdf:type owl:Class ;
            rdfs:subClassOf sorepsg:ConicSection ;
            rdfs:label "ellipse"@en .


###  http://sweetontology.net/reprSpaceGeometry/Family
sorepsg:Family rdf:type owl:Class ;
           rdfs:label "family"@en .


###  http://sweetontology.net/reprSpaceGeometry/GeometricalObject
sorepsg:GeometricalObject rdf:type owl:Class ;
                      rdfs:subClassOf sorepm:NumericalEntity ;
                      rdfs:label "geometrical object"@en .


###  http://sweetontology.net/reprSpaceGeometry/GeometricalObject_0D
sorepsg:GeometricalObject_0D rdf:type owl:Class ;
                         owl:equivalentClass sorepsg:Point ;
                         rdfs:subClassOf sorepsg:GeometricalObject ,
                                         [ rdf:type owl:Restriction ;
                                           owl:onProperty sorelm:hasDimension ;
                                           owl:hasValue 0
                                         ] ;
                         rdfs:label "geometrical object 0d"@en .


###  http://sweetontology.net/reprSpaceGeometry/GeometricalObject_1D
sorepsg:GeometricalObject_1D rdf:type owl:Class ;
                         rdfs:subClassOf sorep:D ,
                                         sorepsg:GeometricalObject ;
                         rdfs:label "geometrical object 1d"@en .


###  http://sweetontology.net/reprSpaceGeometry/GeometricalObject_2D
sorepsg:GeometricalObject_2D rdf:type owl:Class ;
                         rdfs:subClassOf sorep:D ,
                                         sorepsg:GeometricalObject ;
                         rdfs:label "geometrical object 2d"@en .


###  http://sweetontology.net/reprSpaceGeometry/GreatCircle
sorepsg:GreatCircle rdf:type owl:Class ;
                rdfs:subClassOf sorepsg:Circle ;
                owl:disjointWith sorepsg:SmallCircle ;
                rdfs:label "great circle"@en .


###  http://sweetontology.net/reprSpaceGeometry/Helical
sorepsg:Helical rdf:type owl:Class ;
            rdfs:subClassOf sorepsg:GeometricalObject_2D ;
            rdfs:label "helical"@en .


###  http://sweetontology.net/reprSpaceGeometry/Hyperbola
sorepsg:Hyperbola rdf:type owl:Class ;
              rdfs:subClassOf sorepsg:ConicSection ;
              rdfs:label "hyperbola"@en .


###  http://sweetontology.net/reprSpaceGeometry/Hyperplane
sorepsg:Hyperplane rdf:type owl:Class ;
               rdfs:subClassOf sorepsg:GeometricalObject ;
               rdfs:label "hyperplane"@en .


###  http://sweetontology.net/reprSpaceGeometry/Lattice
sorepsg:Lattice rdf:type owl:Class ;
            rdfs:subClassOf sorepmf:Discrete ,
                            sorepsg:GeometricalObject ;
            rdfs:label "lattice"@en .


###  http://sweetontology.net/reprSpaceGeometry/Line
sorepsg:Line rdf:type owl:Class ;
         rdfs:subClassOf sorepsg:Curve ;
         rdfs:label "line"@en .


###  http://sweetontology.net/reprSpaceGeometry/Parabola
sorepsg:Parabola rdf:type owl:Class ;
             rdfs:subClassOf sorepsg:ConicSection ;
             rdfs:label "parabola"@en .


###  http://sweetontology.net/reprSpaceGeometry/Parabolic
sorepsg:Parabolic rdf:type owl:Class ;
              rdfs:subClassOf sorepsg:GeometricalObject_2D ;
              rdfs:label "parabolic"@en .


###  http://sweetontology.net/reprSpaceGeometry/Patch
sorepsg:Patch rdf:type owl:Class ;
          rdfs:subClassOf sorepsg:Surface ;
          rdfs:label "patch"@en .


###  http://sweetontology.net/reprSpaceGeometry/Path
sorepsg:Path rdf:type owl:Class ;
         owl:equivalentClass sorepsg:Trajectory ;
         rdfs:label "path"@en .


###  http://sweetontology.net/reprSpaceGeometry/Peak
sorepsg:Peak rdf:type owl:Class ;
         rdfs:subClassOf sorepsg:GeometricalObject ;
         rdfs:label "peak"@en .


###  http://sweetontology.net/reprSpaceGeometry/Plane
sorepsg:Plane rdf:type owl:Class ;
          rdfs:subClassOf sorepsg:GeometricalObject_2D ,
                          sorepsg:Surface ;
          rdfs:label "plane"@en .


###  http://sweetontology.net/reprSpaceGeometry/Point
sorepsg:Point rdf:type owl:Class ;
          rdfs:subClassOf sorepsg:GeometricalObject_0D ;
          rdfs:label "point"@en .


###  http://sweetontology.net/reprSpaceGeometry/Polygon
sorepsg:Polygon rdf:type owl:Class ;
            rdfs:subClassOf sorepsg:GeometricalObject_2D ,
                            [ rdf:type owl:Restriction ;
                              owl:onProperty sorelsp:hasVertices ;
                              owl:allValuesFrom sorepsg:Point
                            ] ;
            rdfs:label "polygon"@en .


###  http://sweetontology.net/reprSpaceGeometry/Rectangle
sorepsg:Rectangle rdf:type owl:Class ;
              rdfs:subClassOf sorepsg:Polygon ;
              rdfs:label "rectangle"@en .


###  http://sweetontology.net/reprSpaceGeometry/Region
sorepsg:Region rdf:type owl:Class ;
           rdfs:subClassOf sorepsg:GeometricalObject ;
           rdfs:label "region"@en .


###  http://sweetontology.net/reprSpaceGeometry/Ridge
sorepsg:Ridge rdf:type owl:Class ;
          rdfs:subClassOf sorepsg:GeometricalObject ;
          rdfs:label "ridge"@en .


###  http://sweetontology.net/reprSpaceGeometry/Route
sorepsg:Route rdf:type owl:Class ;
          rdfs:subClassOf sorepsg:Path ;
          rdfs:label "route"@en .


###  http://sweetontology.net/reprSpaceGeometry/SmallCircle
sorepsg:SmallCircle rdf:type owl:Class ;
                rdfs:subClassOf sorepsg:Circle ;
                rdfs:label "small circle"@en .


###  http://sweetontology.net/reprSpaceGeometry/Spiral
sorepsg:Spiral rdf:type owl:Class ;
           rdfs:subClassOf sorepsg:Arc ;
           rdfs:label "spiral"@en .


###  http://sweetontology.net/reprSpaceGeometry/Square
sorepsg:Square rdf:type owl:Class ;
           rdfs:subClassOf sorepsg:Rectangle ;
           rdfs:label "square"@en .


###  http://sweetontology.net/reprSpaceGeometry/Star
sorepsg:Star rdf:type owl:Class ;
         rdfs:subClassOf sorepsg:GeometricalObject_2D ;
         rdfs:label "star"@en .


###  http://sweetontology.net/reprSpaceGeometry/Surface
sorepsg:Surface rdf:type owl:Class ;
            rdfs:subClassOf sorepsg:GeometricalObject ;
            rdfs:label "surface"@en .


###  http://sweetontology.net/reprSpaceGeometry/Swarm
sorepsg:Swarm rdf:type owl:Class ;
          rdfs:label "swarm"@en .


###  http://sweetontology.net/reprSpaceGeometry/Trajectory
sorepsg:Trajectory rdf:type owl:Class ;
               rdfs:subClassOf sorepsg:Curve ;
               rdfs:label "trajectory"@en .


###  http://sweetontology.net/reprSpaceGeometry/Trough
sorepsg:Trough rdf:type owl:Class ;
           rdfs:subClassOf sorepsg:GeometricalObject ;
           rdfs:label "trough"@en .


###  http://sweetontology.net/reprSpaceGeometry/Zone
sorepsg:Zone rdf:type owl:Class ;
         rdfs:subClassOf sorepsg:Region ;
         rdfs:label "zone"@en .


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