@prefix : <http://sweetontology.net/repr/> .
@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 sorepm: <http://sweetontology.net/reprMath/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sorep: <http://sweetontology.net/repr/> .
@prefix sorelm: <http://sweetontology.net/relaMath/> .
@base <http://sweetontology.net/repr> .

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

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

###  http://sweetontology.net/relaMath/eachElementHasType
sorelm:eachElementHasType rdf:type owl:ObjectProperty .


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

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


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

###  http://sweetontology.net/repr/CardinalScale
sorep:CardinalScale rdf:type owl:Class ;
                   rdfs:subClassOf sorep:QuantitativeScale ;
                   rdfs:label "cardinal scale"@en .


###  http://sweetontology.net/repr/CategoricalScale
sorep:CategoricalScale rdf:type owl:Class ;
                      rdfs:subClassOf sorep:MeasurementScale ;
                      owl:disjointWith sorep:OrdinalScale ,
                                       sorep:QuantitativeScale ;
                      rdfs:label "categorical scale"@en .


###  http://sweetontology.net/repr/Component
sorep:Component rdf:type owl:Class ;
               owl:equivalentClass sorep:Coordinate ;
               rdfs:label "component"@en .


###  http://sweetontology.net/repr/Coordinate
sorep:Coordinate rdf:type owl:Class ;
                rdfs:subClassOf sorepm:Scalar ;
                rdfs:label "coordinate"@en .


###  http://sweetontology.net/repr/CoordinateSystem
sorep:CoordinateSystem rdf:type owl:Class ;
                      rdfs:subClassOf sorep:ReferenceFrame ;
                      rdfs:label "coordinate system"@en .


###  http://sweetontology.net/repr/Coordinates
sorep:Coordinates rdf:type owl:Class ;
                 rdfs:subClassOf sorepm:Array ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty sorelm:eachElementHasType ;
                                   owl:allValuesFrom sorep:Coordinate
                                 ] ;
                 rdfs:label "coordinates"@en .


###  http://sweetontology.net/repr/D
sorep:D rdf:type owl:Class ;
       rdfs:subClassOf sorep:Representation ,
                       [ rdf:type owl:Restriction ;
                         owl:onProperty sorelm:hasDimension ;
                         owl:hasValue 1
                       ] ,
                       [ rdf:type owl:Restriction ;
                         owl:onProperty sorelm:hasDimension ;
                         owl:hasValue 2
                       ] ,
                       [ rdf:type owl:Restriction ;
                         owl:onProperty sorelm:hasDimension ;
                         owl:hasValue 3
                       ] .


###  http://sweetontology.net/repr/DependentVariable
sorep:DependentVariable rdf:type owl:Class ;
                       rdfs:subClassOf sorepm:Variable ;
                       rdfs:label "dependent variable"@en .


###  http://sweetontology.net/repr/Dimension
sorep:Dimension rdf:type owl:Class ;
               rdfs:subClassOf sorep:Representation ;
               rdfs:label "dimension"@en .


###  http://sweetontology.net/repr/IndependentVariable
sorep:IndependentVariable rdf:type owl:Class ;
                         rdfs:subClassOf sorepm:Variable ;
                         rdfs:label "independent variable"@en .


###  http://sweetontology.net/repr/IntervalScale
sorep:IntervalScale rdf:type owl:Class ;
                   rdfs:subClassOf sorep:QuantitativeScale ;
                   rdfs:label "interval scale"@en .


###  http://sweetontology.net/repr/Knowledge
sorep:Knowledge rdf:type owl:Class ;
               rdfs:subClassOf sorep:Representation ;
               rdfs:label "knowledge"@en .


###  http://sweetontology.net/repr/LogarithmicScale
sorep:LogarithmicScale rdf:type owl:Class ;
                      rdfs:subClassOf sorep:QuantitativeScale ;
                      rdfs:label "logarithmic scale"@en .


###  http://sweetontology.net/repr/Measurement
sorep:Measurement rdf:type owl:Class ;
                 rdfs:subClassOf sorep:Representation ;
                 rdfs:label "measurement"@en .


###  http://sweetontology.net/repr/MeasurementScale
sorep:MeasurementScale rdf:type owl:Class ;
                      owl:equivalentClass sorep:Scale ;
                      rdfs:label "measurement scale"@en .


###  http://sweetontology.net/repr/OrdinalScale
sorep:OrdinalScale rdf:type owl:Class ;
                  rdfs:subClassOf sorep:MeasurementScale ;
                  owl:disjointWith sorep:QuantitativeScale ;
                  rdfs:label "ordinal scale"@en .


###  http://sweetontology.net/repr/Qualitative
sorep:Qualitative rdf:type owl:Class ;
                 rdfs:subClassOf sorep:MeasurementScale ;
                 rdfs:label "qualitative"@en .


###  http://sweetontology.net/repr/QuantitativeScale
sorep:QuantitativeScale rdf:type owl:Class ;
                       rdfs:subClassOf sorep:MeasurementScale ;
                       rdfs:label "quantitative scale"@en .


###  http://sweetontology.net/repr/RatioScale
sorep:RatioScale rdf:type owl:Class ;
                rdfs:subClassOf sorep:MeasurementScale ;
                rdfs:label "ratio scale"@en .


###  http://sweetontology.net/repr/ReferenceFrame
sorep:ReferenceFrame rdf:type owl:Class ;
                    rdfs:subClassOf sorepm:NumericalEntity ;
                    rdfs:label "reference frame"@en .


###  http://sweetontology.net/repr/Representation
sorep:Representation rdf:type owl:Class ;
                    rdfs:label "representation"@en .


###  http://sweetontology.net/repr/Scale
sorep:Scale rdf:type owl:Class ;
           rdfs:subClassOf sorep:Representation ;
           rdfs:label "scale"@en .


###  http://sweetontology.net/reprMath/Array
sorepm:Array rdf:type owl:Class .


###  http://sweetontology.net/reprMath/NumericalEntity
sorepm:NumericalEntity rdf:type owl:Class .


###  http://sweetontology.net/reprMath/Scalar
sorepm:Scalar rdf:type owl:Class .


###  http://sweetontology.net/reprMath/Variable
sorepm:Variable rdf:type owl:Class .


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

###  http://sweetontology.net/repr/Barycentric
sorep:Barycentric rdf:type owl:NamedIndividual ,
                          sorep:ReferenceFrame ;
                 rdfs:label "barycentric"@en .


###  http://sweetontology.net/repr/Eulerian
sorep:Eulerian rdf:type owl:NamedIndividual ,
                       sorep:ReferenceFrame ;
              rdfs:label "eulerian"@en .


###  http://sweetontology.net/repr/Geocentric
sorep:Geocentric rdf:type owl:NamedIndividual ,
                         sorep:ReferenceFrame ;
                rdfs:label "geocentric"@en .


###  http://sweetontology.net/repr/Geodetic
sorep:Geodetic rdf:type owl:NamedIndividual ,
                       sorep:ReferenceFrame ;
              rdfs:label "geodetic"@en .


###  http://sweetontology.net/repr/Heliocentric
sorep:Heliocentric rdf:type owl:NamedIndividual ,
                           sorep:ReferenceFrame ;
                  rdfs:label "heliocentric"@en .


###  http://sweetontology.net/repr/Lagrangian
sorep:Lagrangian rdf:type owl:NamedIndividual ,
                         sorep:ReferenceFrame ;
                rdfs:label "lagrangian"@en .


###  http://sweetontology.net/repr/Spectral
sorep:Spectral rdf:type owl:NamedIndividual ,
                       sorep:ReferenceFrame ;
              rdfs:label "spectral"@en .


###  http://sweetontology.net/repr/Synoptic
sorep:Synoptic rdf:type owl:NamedIndividual ,
                       sorep:ReferenceFrame ;
              rdfs:label "synoptic"@en .


#################################################################
#    Annotations
#################################################################

<http://sweetontology.net/repr/1D> rdfs:label "1d"@en .


<http://sweetontology.net/repr/2D> rdfs:label "2d"@en .


<http://sweetontology.net/repr/3D> rdfs:label "3d"@en .


#################################################################
#    General axioms
#################################################################

[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sorep:Eulerian
                        sorep:Lagrangian
                      )
] .


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