@prefix : <http://sweetontology.net/propSpace/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@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 sorepmf: <http://sweetontology.net/reprMathFunction/> .
@prefix soreps: <http://sweetontology.net/reprSpace/> .
@prefix soprocp: <http://sweetontology.net/procPhysical/> .
@prefix soprop: <http://sweetontology.net/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sorel: <http://sweetontology.net/rela/> .
@prefix soprops: <http://sweetontology.net/propSpace/> .
@prefix sorepsu: <http://sweetontology.net/reprSciUnits/> .
@prefix sorelsc: <http://sweetontology.net/relaSci/> .
@base <http://sweetontology.net/propSpace> .

<http://sweetontology.net/propSpace> rdf:type owl:Ontology ;
                                      owl:imports <http://sweetontology.net/procPhysical> ,
                                                  <http://sweetontology.net/prop> ,
                                                  <http://sweetontology.net/rela> ,
                                                  <http://sweetontology.net/relaSci> ,
                                                  <http://sweetontology.net/reprMathFunction> ,
                                                  <http://sweetontology.net/reprSciUnits> ,
                                                  <http://sweetontology.net/reprSpace> ;
                                      rdfs:label "SWEET Ontology Property Space" ;
                                      dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
                                      owl:versionInfo "3.6.0" .

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

###  http://sweetontology.net/propSpace/AngularDistribution
soprops:AngularDistribution rdf:type owl:Class ;
                          rdfs:subClassOf soprops:SpatialDistribution ;
                          rdfs:label "angular distribution"@en .


###  http://sweetontology.net/propSpace/Configuration
soprops:Configuration rdf:type owl:Class ;
                    owl:equivalentClass soprops:SpatialConfiguration ;
                    rdfs:label "configuration"@en .


###  http://sweetontology.net/propSpace/Connectivity
soprops:Connectivity rdf:type owl:Class ;
                   rdfs:subClassOf soprops:SpatialConfiguration ;
                   rdfs:label "connectivity"@en .


###  http://sweetontology.net/propSpace/Containment
soprops:Containment rdf:type owl:Class ;
                  rdfs:subClassOf soprops:SpatialConfiguration ;
                  rdfs:label "containment"@en .


###  http://sweetontology.net/propSpace/Curvature
soprops:Curvature rdf:type owl:Class ;
                rdfs:subClassOf soprops:SpatialProperty ;
                rdfs:label "curvature"@en .


###  http://sweetontology.net/propSpace/LinearExtent
soprops:LinearExtent rdf:type owl:Class ;
                   rdfs:subClassOf soprops:SpatialMeasure ,
                                   [ rdf:type owl:Restriction ;
                                     owl:onProperty sorelsc:hasDefaultUnit ;
                                     owl:hasValue sorepsu:kilometer
                                   ] ;
                   rdfs:label "linear extent"@en .


###  http://sweetontology.net/propSpace/Morphology
soprops:Morphology rdf:type owl:Class ;
                 rdfs:subClassOf soprops:SpatialProperty ;
                 rdfs:label "morphology"@en .


###  http://sweetontology.net/propSpace/OrbitalConfiguration
soprops:OrbitalConfiguration rdf:type owl:Class ;
                           rdfs:subClassOf soprops:SpatialConfiguration ,
                                           [ rdf:type owl:Restriction ;
                                             owl:onProperty sorel:hasProcess ;
                                             owl:allValuesFrom soprocp:Orbit
                                           ] ;
                           rdfs:label "orbital configuration"@en .


###  http://sweetontology.net/propSpace/Shape
soprops:Shape rdf:type owl:Class ;
            rdfs:subClassOf soprops:SpatialConfiguration ;
            rdfs:label "shape"@en .


###  http://sweetontology.net/propSpace/SpatialConfiguration
soprops:SpatialConfiguration rdf:type owl:Class ;
                           rdfs:subClassOf soprops:SpatialProperty ;
                           rdfs:label "spatial configuration"@en .


###  http://sweetontology.net/propSpace/SpatialDistribution
soprops:SpatialDistribution rdf:type owl:Class ;
                          rdfs:subClassOf soprops:SpatialConfiguration ,
                                          sorepmf:DistributionFunction ;
                          rdfs:label "spatial distribution"@en .


###  http://sweetontology.net/propSpace/SpatialExtent
soprops:SpatialExtent rdf:type owl:Class ;
                    rdfs:subClassOf soprops:LinearExtent ;
                    rdfs:label "spatial extent"@en .


###  http://sweetontology.net/propSpace/SpatialMeasure
soprops:SpatialMeasure rdf:type owl:Class ;
                     rdfs:subClassOf soprop:Measure ,
                                     soprops:SpatialProperty ;
                     rdfs:label "spatial measure"@en .


###  http://sweetontology.net/propSpace/SpatialProperty
soprops:SpatialProperty rdf:type owl:Class ;
                      rdfs:subClassOf soprop:Property ,
                                      [ rdf:type owl:Restriction ;
                                        owl:onProperty sorelsc:measureOf ;
                                        owl:allValuesFrom soreps:Space
                                      ] ;
                      rdfs:label "spatial property"@en .


###  http://sweetontology.net/propSpace/SpatialSource
soprops:SpatialSource rdf:type owl:Class ;
                    rdfs:subClassOf soprops:SpatialProperty ;
                    rdfs:label "spatial source"@en .


###  http://sweetontology.net/reprMathFunction/DistributionFunction
sorepmf:DistributionFunction rdf:type owl:Class .


###  http://sweetontology.net/reprSpace/Space
soreps:Space rdf:type owl:Class .


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

###  http://sweetontology.net/reprSciUnits/kilometer
sorepsu:kilometer rdf:type owl:NamedIndividual .


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