@prefix : <http://sweetontology.net/reprSpaceDirection/> .
@prefix sorepsd: <http://sweetontology.net/reprSpaceDirection/> .
@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 sopropsdir: <http://sweetontology.net/propSpaceDirection/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sorelsp: <http://sweetontology.net/relaSpace/> .
@base <http://sweetontology.net/reprSpaceDirection> .

<http://sweetontology.net/reprSpaceDirection> rdf:type owl:Ontology ;
                                               owl:imports <http://sweetontology.net/propSpaceDirection> ,
                                                           <http://sweetontology.net/relaSpace> ;
                                               rdfs:label "SWEET Ontology Representation Space Direction" ;
                                               dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
                                               owl:versionInfo "3.6.0" .

#################################################################
#    Object properties
#################################################################

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


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


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


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

###  http://sweetontology.net/propSpaceDirection/AngularDirection
sopropsdir:AngularDirection rdf:type owl:Class .


###  http://sweetontology.net/propSpaceDirection/Direction
sopropsdir:Direction rdf:type owl:Class .


###  http://sweetontology.net/propSpaceDirection/HorizontalDirection
sopropsdir:HorizontalDirection rdf:type owl:Class .


###  http://sweetontology.net/propSpaceDirection/VerticalDirection
sopropsdir:VerticalDirection rdf:type owl:Class .


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

###  http://sweetontology.net/reprSpaceDirection/Clockwise
sorepsd:Clockwise rdf:type owl:NamedIndividual ,
                       sopropsdir:AngularDirection ;
              rdfs:label "clockwise"@en .


###  http://sweetontology.net/reprSpaceDirection/Counterclockwise
sorepsd:Counterclockwise rdf:type owl:NamedIndividual ,
                              sopropsdir:AngularDirection ;
                     rdfs:label "counterclockwise"@en .


###  http://sweetontology.net/reprSpaceDirection/Diffuse
sorepsd:Diffuse rdf:type owl:NamedIndividual ,
                     sopropsdir:AngularDirection ;
            rdfs:label "diffuse"@en .


###  http://sweetontology.net/reprSpaceDirection/Direct
sorepsd:Direct rdf:type owl:NamedIndividual ,
                    sopropsdir:AngularDirection ;
           rdfs:label "direct"@en .


###  http://sweetontology.net/reprSpaceDirection/Directional
sorepsd:Directional rdf:type owl:NamedIndividual ,
                         sopropsdir:AngularDirection ;
                rdfs:label "directional"@en .


###  http://sweetontology.net/reprSpaceDirection/Down
sorepsd:Down rdf:type owl:NamedIndividual ,
                  sopropsdir:VerticalDirection ;
         owl:sameAs sorepsd:Downward ;
         rdfs:label "down"@en .


###  http://sweetontology.net/reprSpaceDirection/Downflow
sorepsd:Downflow rdf:type owl:NamedIndividual ,
                      sopropsdir:VerticalDirection ;
             rdfs:label "downflow"@en .


###  http://sweetontology.net/reprSpaceDirection/Downhill
sorepsd:Downhill rdf:type owl:NamedIndividual ,
                      sopropsdir:Direction ;
             rdfs:label "downhill"@en .


###  http://sweetontology.net/reprSpaceDirection/Downslope
sorepsd:Downslope rdf:type owl:NamedIndividual ,
                       sopropsdir:Direction ;
              rdfs:label "downslope"@en .


###  http://sweetontology.net/reprSpaceDirection/Downstream
sorepsd:Downstream rdf:type owl:NamedIndividual ,
                        sopropsdir:Direction ;
               rdfs:label "downstream"@en .


###  http://sweetontology.net/reprSpaceDirection/Downward
sorepsd:Downward rdf:type owl:NamedIndividual ,
                      sopropsdir:VerticalDirection ;
             rdfs:label "downward"@en .


###  http://sweetontology.net/reprSpaceDirection/Downwind
sorepsd:Downwind rdf:type owl:NamedIndividual ,
                      sopropsdir:Direction ;
             rdfs:label "downwind"@en .


###  http://sweetontology.net/reprSpaceDirection/East
sorepsd:East rdf:type owl:NamedIndividual ,
                  sopropsdir:HorizontalDirection ;
         owl:sameAs sorepsd:Eastward ;
         rdfs:label "east"@en .


###  http://sweetontology.net/reprSpaceDirection/Eastward
sorepsd:Eastward rdf:type owl:NamedIndividual ,
                      sopropsdir:HorizontalDirection ;
             rdfs:label "eastward"@en .


###  http://sweetontology.net/reprSpaceDirection/Emerging
sorepsd:Emerging rdf:type owl:NamedIndividual ,
                      sopropsdir:AngularDirection ;
             rdfs:label "emerging"@en .


###  http://sweetontology.net/reprSpaceDirection/Hemispheric
sorepsd:Hemispheric rdf:type owl:NamedIndividual ,
                         sopropsdir:AngularDirection ;
                rdfs:label "hemispheric"@en .


###  http://sweetontology.net/reprSpaceDirection/Horizontal
sorepsd:Horizontal rdf:type owl:NamedIndividual ,
                        sopropsdir:HorizontalDirection ;
               rdfs:label "horizontal"@en .


###  http://sweetontology.net/reprSpaceDirection/Landward
sorepsd:Landward rdf:type owl:NamedIndividual ,
                      sopropsdir:Direction ;
             rdfs:label "landward"@en .


###  http://sweetontology.net/reprSpaceDirection/Lee
sorepsd:Lee rdf:type owl:NamedIndividual ,
                 sopropsdir:HorizontalDirection ;
        owl:sameAs sorepsd:Leeward ;
        rdfs:label "lee"@en .


###  http://sweetontology.net/reprSpaceDirection/Leeward
sorepsd:Leeward rdf:type owl:NamedIndividual ,
                     sopropsdir:HorizontalDirection ;
            rdfs:label "leeward"@en .


###  http://sweetontology.net/reprSpaceDirection/Left
sorepsd:Left rdf:type owl:NamedIndividual ,
                  sopropsdir:Direction ;
         rdfs:label "left"@en .


###  http://sweetontology.net/reprSpaceDirection/LineOfSight
sorepsd:LineOfSight rdf:type owl:NamedIndividual ,
                         sopropsdir:AngularDirection ;
                rdfs:label "line of sight"@en .


###  http://sweetontology.net/reprSpaceDirection/Longitudinal
sorepsd:Longitudinal rdf:type owl:NamedIndividual ,
                          sopropsdir:Direction ;
                 rdfs:label "longitudinal"@en .


###  http://sweetontology.net/reprSpaceDirection/Normal
sorepsd:Normal rdf:type owl:NamedIndividual ,
                    sopropsdir:Direction ;
           owl:sameAs sorepsd:Perpendicular ;
           rdfs:label "normal"@en .


###  http://sweetontology.net/reprSpaceDirection/North
sorepsd:North rdf:type owl:NamedIndividual ,
                   sopropsdir:HorizontalDirection ;
          owl:sameAs sorepsd:Northward ;
           sorelsp:oppositeTo sorepsd:South ;
          rdfs:label "north"@en .


###  http://sweetontology.net/reprSpaceDirection/Northward
sorepsd:Northward rdf:type owl:NamedIndividual ,
                       sopropsdir:HorizontalDirection ;
              rdfs:label "northward"@en .


###  http://sweetontology.net/reprSpaceDirection/Oblique
sorepsd:Oblique rdf:type owl:NamedIndividual ,
                     sopropsdir:Direction ;
            rdfs:label "oblique"@en .


###  http://sweetontology.net/reprSpaceDirection/Parallel
sorepsd:Parallel rdf:type owl:NamedIndividual ,
                      sopropsdir:Direction ;
             rdfs:label "parallel"@en .


###  http://sweetontology.net/reprSpaceDirection/Perpendicular
sorepsd:Perpendicular rdf:type owl:NamedIndividual ,
                           sopropsdir:Direction ;
                  owl:sameAs sorepsd:Transverse ;
                   sorelsp:orthogonalTo sorepsd:Parallel ;
                  rdfs:label "perpendicular"@en .


###  http://sweetontology.net/reprSpaceDirection/Prograde
sorepsd:Prograde rdf:type owl:NamedIndividual ,
                      sopropsdir:AngularDirection ;
             rdfs:label "prograde"@en .


###  http://sweetontology.net/reprSpaceDirection/Retrograde
sorepsd:Retrograde rdf:type owl:NamedIndividual ,
                        sopropsdir:AngularDirection ;
                sorelsp:oppositeTo sorepsd:Prograde ;
               rdfs:label "retrograde"@en .


###  http://sweetontology.net/reprSpaceDirection/Right
sorepsd:Right rdf:type owl:NamedIndividual ,
                   sopropsdir:Direction ;
           sorelsp:oppositeTo sorepsd:Left ;
          rdfs:label "right"@en .


###  http://sweetontology.net/reprSpaceDirection/Seaward
sorepsd:Seaward rdf:type owl:NamedIndividual ,
                     sopropsdir:Direction ;
             sorelsp:oppositeTo sorepsd:Landward ;
            rdfs:label "seaward"@en .


###  http://sweetontology.net/reprSpaceDirection/Shear
sorepsd:Shear rdf:type owl:NamedIndividual ,
                   sopropsdir:Direction ;
          rdfs:label "shear"@en .


###  http://sweetontology.net/reprSpaceDirection/Sinking
sorepsd:Sinking rdf:type owl:NamedIndividual ,
                     sopropsdir:VerticalDirection ;
            rdfs:label "sinking"@en .


###  http://sweetontology.net/reprSpaceDirection/South
sorepsd:South rdf:type owl:NamedIndividual ,
                   sopropsdir:HorizontalDirection ;
          owl:sameAs sorepsd:Southward ;
          rdfs:label "south"@en .


###  http://sweetontology.net/reprSpaceDirection/Southward
sorepsd:Southward rdf:type owl:NamedIndividual ,
                       sopropsdir:HorizontalDirection ;
              rdfs:label "southward"@en .


###  http://sweetontology.net/reprSpaceDirection/Specular
sorepsd:Specular rdf:type owl:NamedIndividual ,
                      sopropsdir:AngularDirection ;
             rdfs:label "specular"@en .


###  http://sweetontology.net/reprSpaceDirection/Sunward
sorepsd:Sunward rdf:type owl:NamedIndividual ,
                     sopropsdir:Direction ;
            rdfs:label "sunward"@en .


###  http://sweetontology.net/reprSpaceDirection/Transverse
sorepsd:Transverse rdf:type owl:NamedIndividual ,
                        sopropsdir:Direction ;
               rdfs:label "transverse"@en .


###  http://sweetontology.net/reprSpaceDirection/Up
sorepsd:Up rdf:type owl:NamedIndividual ,
                sopropsdir:VerticalDirection ;
       owl:sameAs sorepsd:Upward ;
        sorelsp:oppositeTo sorepsd:Down ;
       rdfs:label "up"@en .


###  http://sweetontology.net/reprSpaceDirection/Upflow
sorepsd:Upflow rdf:type owl:NamedIndividual ,
                    sopropsdir:VerticalDirection ;
            sorelsp:oppositeTo sorepsd:Downflow ;
           rdfs:label "upflow"@en .


###  http://sweetontology.net/reprSpaceDirection/Uphill
sorepsd:Uphill rdf:type owl:NamedIndividual ,
                    sopropsdir:Direction ;
            sorelsp:oppositeTo sorepsd:Downhill ;
           rdfs:label "uphill"@en .


###  http://sweetontology.net/reprSpaceDirection/Upslope
sorepsd:Upslope rdf:type owl:NamedIndividual ,
                     sopropsdir:Direction ;
             sorelsp:oppositeTo sorepsd:Downslope ;
            rdfs:label "upslope"@en .


###  http://sweetontology.net/reprSpaceDirection/Upstream
sorepsd:Upstream rdf:type owl:NamedIndividual ,
                      sopropsdir:Direction ;
              sorelsp:oppositeTo sorepsd:Downstream ;
             rdfs:label "upstream"@en .


###  http://sweetontology.net/reprSpaceDirection/Upward
sorepsd:Upward rdf:type owl:NamedIndividual ,
                    sopropsdir:VerticalDirection ;
           rdfs:label "upward"@en .


###  http://sweetontology.net/reprSpaceDirection/Upwind
sorepsd:Upwind rdf:type owl:NamedIndividual ,
                    sopropsdir:Direction ;
            sorelsp:oppositeTo sorepsd:Downstream ;
           rdfs:label "upwind"@en .


###  http://sweetontology.net/reprSpaceDirection/Vertical
sorepsd:Vertical rdf:type owl:NamedIndividual ,
                      sopropsdir:VerticalDirection ;
              sorelsp:perpendicularTo sorepsd:Horizontal ;
             rdfs:label "vertical"@en .


###  http://sweetontology.net/reprSpaceDirection/West
sorepsd:West rdf:type owl:NamedIndividual ,
                  sopropsdir:HorizontalDirection ;
         owl:sameAs sorepsd:Westward ;
          sorelsp:oppositeTo sorepsd:East ;
         rdfs:label "west"@en .


###  http://sweetontology.net/reprSpaceDirection/Westward
sorepsd:Westward rdf:type owl:NamedIndividual ,
                      sopropsdir:HorizontalDirection ;
             rdfs:label "westward"@en .


###  http://sweetontology.net/reprSpaceDirection/Windward
sorepsd:Windward rdf:type owl:NamedIndividual ,
                      sopropsdir:HorizontalDirection ;
              sorelsp:oppositeTo sorepsd:Leeward ;
             rdfs:label "windward"@en .


###  http://sweetontology.net/reprSpaceDirection/X
sorepsd:X rdf:type owl:NamedIndividual ,
               sopropsdir:HorizontalDirection ;
      rdfs:label "x"@en .


###  http://sweetontology.net/reprSpaceDirection/Y
sorepsd:Y rdf:type owl:NamedIndividual ,
               sopropsdir:HorizontalDirection ;
       sorelsp:orthogonalTo sorepsd:X ;
      rdfs:label "y"@en .


###  http://sweetontology.net/reprSpaceDirection/Z
sorepsd:Z rdf:type owl:NamedIndividual ,
               sopropsdir:VerticalDirection ;
       sorelsp:orthogonalTo sorepsd:X ;
      rdfs:label "z"@en .


###  http://sweetontology.net/reprSpaceDirection/Zenith
sorepsd:Zenith rdf:type owl:NamedIndividual ,
                    sopropsdir:VerticalDirection ;
           rdfs:label "zenith"@en .


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

[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sorepsd:Clockwise
                        sorepsd:Counterclockwise
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sorepsd:Oblique
                        sorepsd:Parallel
                      )
] .


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