@prefix : <http://sweetontology.net/relaMath/> .
@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 sopropdife: <http://sweetontology.net/propDifference/> .
@prefix sorepmf: <http://sweetontology.net/reprMathFunction/> .
@prefix sorepm: <http://sweetontology.net/reprMath/> .
@prefix sorepmo: <http://sweetontology.net/reprMathOperation/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sorelm: <http://sweetontology.net/relaMath/> .
@prefix sorep: <http://sweetontology.net/repr/> .
@prefix sorepmst: <http://sweetontology.net/reprMathStatistics/> .
@prefix sorepmg: <http://sweetontology.net/reprMathGraph/> .
@prefix sopropfu: <http://sweetontology.net/propFunction/> .
@base <http://sweetontology.net/relaMath> .

<http://sweetontology.net/relaMath> rdf:type owl:Ontology ;
                                     owl:imports <http://sweetontology.net/propDifference> ,
                                                 <http://sweetontology.net/propFunction> ,
                                                 <http://sweetontology.net/repr> ,
                                                 <http://sweetontology.net/reprMath> ,
                                                 <http://sweetontology.net/reprMathFunction> ,
                                                 <http://sweetontology.net/reprMathGraph> ,
                                                 <http://sweetontology.net/reprMathOperation> ,
                                                 <http://sweetontology.net/reprMathStatistics> ;
                                     rdfs:label "SWEET Ontology Relationships Mathematical" ;
                                     dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
                                     owl:versionInfo "3.6.0" .

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

###  http://sweetontology.net/relaMath/approximates
sorelm:approximates rdf:type owl:ObjectProperty ;
                  rdfs:label "approximates"@en .


###  http://sweetontology.net/relaMath/averageOver
sorelm:averageOver rdf:type owl:ObjectProperty ;
                 rdfs:domain sopropfu:Average ;
                 rdfs:label "average over"@en .


###  http://sweetontology.net/relaMath/basedOn
sorelm:basedOn rdf:type owl:ObjectProperty ;
             rdfs:label "based on"@en .


###  http://sweetontology.net/relaMath/coordinate_1
sorelm:coordinate_1 rdf:type owl:ObjectProperty ;
                  rdfs:range sorep:Coordinate ;
                  rdfs:label "coordinate 1"@en .


###  http://sweetontology.net/relaMath/coordinate_2
sorelm:coordinate_2 rdf:type owl:ObjectProperty ;
                  rdfs:range sorep:Coordinate ;
                  rdfs:label "coordinate 2"@en .


###  http://sweetontology.net/relaMath/coordinate_3
sorelm:coordinate_3 rdf:type owl:ObjectProperty ;
                  rdfs:range sorep:Coordinate ;
                  rdfs:label "coordinate 3"@en .


###  http://sweetontology.net/relaMath/coordinate_4
sorelm:coordinate_4 rdf:type owl:ObjectProperty ;
                  rdfs:range sorep:Coordinate ;
                  rdfs:label "coordinate 4"@en .


###  http://sweetontology.net/relaMath/derivativeWithRespectTo
sorelm:derivativeWithRespectTo rdf:type owl:ObjectProperty ;
                             rdfs:label "derivative with respect to"@en .


###  http://sweetontology.net/relaMath/deviationFrom
sorelm:deviationFrom rdf:type owl:ObjectProperty ;
                   rdfs:domain sopropdife:Deviation ;
                   rdfs:label "deviation from"@en .


###  http://sweetontology.net/relaMath/dividedBy
sorelm:dividedBy rdf:type owl:ObjectProperty ;
               owl:inverseOf sorelm:productOf ;
               rdfs:range sorepmo:Quotient ;
               rdfs:label "divided by"@en .


###  http://sweetontology.net/relaMath/eachElementHasType
sorelm:eachElementHasType rdf:type owl:ObjectProperty ;
                        rdfs:range sorepm:NumericalEntity ;
                        rdfs:label "each element has type"@en .


###  http://sweetontology.net/relaMath/equals
sorelm:equals rdf:type owl:ObjectProperty ;
            rdfs:subPropertyOf sorelm:relation ;
            rdf:type owl:SymmetricProperty ,
                     owl:TransitiveProperty ;
            rdfs:label "equals"@en .


###  http://sweetontology.net/relaMath/estimateOf
sorelm:estimateOf rdf:type owl:ObjectProperty ;
                rdfs:label "estimate of"@en .


###  http://sweetontology.net/relaMath/fuzzyGreaterThan
sorelm:fuzzyGreaterThan rdf:type owl:ObjectProperty ;
                      rdfs:subPropertyOf sorelm:relation ;
                      rdfs:label "fuzzy greater than"@en .


###  http://sweetontology.net/relaMath/fuzzyLessThan
sorelm:fuzzyLessThan rdf:type owl:ObjectProperty ;
                   rdfs:subPropertyOf sorelm:relation ;
                   rdfs:label "fuzzy less than"@en .


###  http://sweetontology.net/relaMath/greaterThan
sorelm:greaterThan rdf:type owl:ObjectProperty ;
                 rdfs:subPropertyOf sorelm:inequality ,
                                    sorelm:ordinalRelation ;
                 owl:inverseOf sorelm:lessThanOrEqual ;
                 rdfs:label "greater than"@en .


###  http://sweetontology.net/relaMath/greaterThanOrEqual
sorelm:greaterThanOrEqual rdf:type owl:ObjectProperty ;
                        rdfs:subPropertyOf sorelm:ordinalRelation ;
                        owl:inverseOf sorelm:lessThan ;
                        rdfs:label "greater than or equal"@en .


###  http://sweetontology.net/relaMath/hasArc
sorelm:hasArc rdf:type owl:ObjectProperty ;
            rdfs:subPropertyOf sorelm:hasEdge ;
            rdfs:range sorepmg:Arc ;
            rdfs:label "has arc"@en .


###  http://sweetontology.net/relaMath/hasAverage
sorelm:hasAverage rdf:type owl:ObjectProperty ;
                rdfs:domain sorepm:Seq ;
                rdfs:range sopropfu:Average ;
                rdfs:label "has average"@en .


###  http://sweetontology.net/relaMath/hasBasisFunction
sorelm:hasBasisFunction rdf:type owl:ObjectProperty ;
                      rdfs:range sorepmf:BasisFunction ;
                      rdfs:label "has basis function"@en .


###  http://sweetontology.net/relaMath/hasCondition
sorelm:hasCondition rdf:type owl:ObjectProperty ;
                  rdfs:label "has condition"@en .


###  http://sweetontology.net/relaMath/hasConstant
sorelm:hasConstant rdf:type owl:ObjectProperty ;
                 rdfs:label "has constant"@en .


###  http://sweetontology.net/relaMath/hasCoordinates
sorelm:hasCoordinates rdf:type owl:ObjectProperty ;
                    rdfs:range sorep:Coordinates ;
                    rdfs:label "has coordinates"@en .


###  http://sweetontology.net/relaMath/hasEdge
sorelm:hasEdge rdf:type owl:ObjectProperty ;
             rdfs:range sorepmg:Edge ;
             rdfs:label "has edge"@en .


###  http://sweetontology.net/relaMath/hasExponent
sorelm:hasExponent rdf:type owl:ObjectProperty ;
                 rdfs:label "has exponent"@en .


###  http://sweetontology.net/relaMath/hasField
sorelm:hasField rdf:type owl:ObjectProperty ;
              rdfs:range sorepmf:Field ;
              rdfs:label "has field"@en .


###  http://sweetontology.net/relaMath/hasFirstOperand
sorelm:hasFirstOperand rdf:type owl:ObjectProperty ;
                     rdfs:subPropertyOf sorelm:hasOperand ;
                     rdfs:label "has first operand"@en .


###  http://sweetontology.net/relaMath/hasFunction
sorelm:hasFunction rdf:type owl:ObjectProperty ;
                 rdfs:range sorepmf:Function ;
                 rdfs:label "has function"@en .


###  http://sweetontology.net/relaMath/hasGradient
sorelm:hasGradient rdf:type owl:ObjectProperty ;
                 rdfs:label "has gradient"@en .


###  http://sweetontology.net/relaMath/hasInput
sorelm:hasInput rdf:type owl:ObjectProperty ;
              rdfs:range sorepm:NumericalEntity ;
              rdfs:label "has input"@en .


###  http://sweetontology.net/relaMath/hasInterval
sorelm:hasInterval rdf:type owl:ObjectProperty ;
                 rdfs:range sorepm:Interval ;
                 rdfs:label "has interval"@en .


###  http://sweetontology.net/relaMath/hasMaximum
sorelm:hasMaximum rdf:type owl:ObjectProperty ;
                rdfs:range sopropfu:Maximum ;
                rdfs:label "has maximum"@en .


###  http://sweetontology.net/relaMath/hasMinimum
sorelm:hasMinimum rdf:type owl:ObjectProperty ;
                rdfs:range sopropfu:Minimum ;
                rdfs:label "has minimum"@en .


###  http://sweetontology.net/relaMath/hasOperand
sorelm:hasOperand rdf:type owl:ObjectProperty ;
                rdfs:range sorepm:NumericalEntity ;
                rdfs:label "has operand"@en .


###  http://sweetontology.net/relaMath/hasOrderedPair
sorelm:hasOrderedPair rdf:type owl:ObjectProperty ;
                    rdfs:range sorepm:OrderedPair ;
                    rdfs:label "has ordered pair"@en .


###  http://sweetontology.net/relaMath/hasOrderedVertexPair
sorelm:hasOrderedVertexPair rdf:type owl:ObjectProperty ;
                          rdfs:subPropertyOf sorelm:hasOrderedPair ;
                          rdfs:range sorepmg:OrderedVertexPair ;
                          rdfs:label "has ordered vertex pair"@en .


###  http://sweetontology.net/relaMath/hasOutput
sorelm:hasOutput rdf:type owl:ObjectProperty ;
               rdfs:range sorepm:NumericalEntity ;
               rdfs:label "has output"@en .


###  http://sweetontology.net/relaMath/hasRepresentation
sorelm:hasRepresentation rdf:type owl:ObjectProperty ;
                       owl:equivalentProperty sorelm:representationOf ;
                       rdfs:range sorep:Representation ;
                       rdfs:label "has representation"@en .


###  http://sweetontology.net/relaMath/hasScale
sorelm:hasScale rdf:type owl:ObjectProperty ;
              rdfs:range sorep:Scale ;
              rdfs:label "has scale"@en .


###  http://sweetontology.net/relaMath/hasSecondOperand
sorelm:hasSecondOperand rdf:type owl:ObjectProperty ;
                      rdfs:subPropertyOf sorelm:hasOperand ;
                      rdfs:label "has second operand"@en .


###  http://sweetontology.net/relaMath/hasStatisticalDistribution
sorelm:hasStatisticalDistribution rdf:type owl:ObjectProperty ;
                                rdfs:range sorepmst:StatisticalDistribution ;
                                rdfs:label "has statistical distribution"@en .


###  http://sweetontology.net/relaMath/hasTest
sorelm:hasTest rdf:type owl:ObjectProperty ;
             rdfs:range sorepmst:HypothesisTest ;
             rdfs:label "has test"@en .


###  http://sweetontology.net/relaMath/hasThirdOperand
sorelm:hasThirdOperand rdf:type owl:ObjectProperty ;
                     rdfs:subPropertyOf sorelm:hasOperand ;
                     rdfs:label "has third operand"@en .


###  http://sweetontology.net/relaMath/hasThreshold
sorelm:hasThreshold rdf:type owl:ObjectProperty ;
                  rdfs:range sopropfu:Threshold ;
                  rdfs:label "has threshold"@en .


###  http://sweetontology.net/relaMath/hasUnorderedPair
sorelm:hasUnorderedPair rdf:type owl:ObjectProperty ;
                      rdfs:range sorepm:UnorderedPair ;
                      rdfs:label "has unordered pair"@en .


###  http://sweetontology.net/relaMath/hasUnorderedVertexPair
sorelm:hasUnorderedVertexPair rdf:type owl:ObjectProperty ;
                            rdfs:subPropertyOf sorelm:hasUnorderedPair ;
                            rdfs:range sorepmg:UnorderedVertexPair ;
                            rdfs:label "has unordered vertex pair"@en .


###  http://sweetontology.net/relaMath/hasVertex
sorelm:hasVertex rdf:type owl:ObjectProperty ;
               rdfs:range sorepmg:Vertex ;
               rdfs:label "has vertex"@en .


###  http://sweetontology.net/relaMath/hasWeightedEdge
sorelm:hasWeightedEdge rdf:type owl:ObjectProperty ;
                     rdfs:range sorepmg:WeightedEdge ;
                     rdfs:label "has weighted edge"@en .


###  http://sweetontology.net/relaMath/inequality
sorelm:inequality rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf sorelm:relation ;
                rdf:type owl:TransitiveProperty ;
                rdfs:label "inequality"@en .


###  http://sweetontology.net/relaMath/isDerivativeOf
sorelm:isDerivativeOf rdf:type owl:ObjectProperty ;
                    rdfs:label "is derivative of"@en .


###  http://sweetontology.net/relaMath/isomorphic
sorelm:isomorphic rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf sorelm:relation ;
                rdfs:label "isomorphic"@en .


###  http://sweetontology.net/relaMath/lessThan
sorelm:lessThan rdf:type owl:ObjectProperty ;
              rdfs:subPropertyOf sorelm:inequality ,
                                 sorelm:ordinalRelation ;
              rdfs:label "less than"@en .


###  http://sweetontology.net/relaMath/lessThanOrEqual
sorelm:lessThanOrEqual rdf:type owl:ObjectProperty ;
                     rdfs:subPropertyOf sorelm:ordinalRelation ;
                     rdfs:label "less than or equal"@en .


###  http://sweetontology.net/relaMath/maximumOf
sorelm:maximumOf rdf:type owl:ObjectProperty ;
               rdfs:label "maximum of"@en .


###  http://sweetontology.net/relaMath/minimumOf
sorelm:minimumOf rdf:type owl:ObjectProperty ;
               rdfs:label "minimum of"@en .


###  http://sweetontology.net/relaMath/minus
sorelm:minus rdf:type owl:ObjectProperty ;
           owl:inverseOf sorelm:plus ;
           rdfs:range sorepmo:Difference ;
           rdfs:label "minus"@en .


###  http://sweetontology.net/relaMath/ordinalRelation
sorelm:ordinalRelation rdf:type owl:ObjectProperty ;
                     rdfs:subPropertyOf sorelm:relation ;
                     rdf:type owl:TransitiveProperty ;
                     rdfs:label "ordinal relation"@en .


###  http://sweetontology.net/relaMath/plus
sorelm:plus rdf:type owl:ObjectProperty ;
          rdfs:range sorepmo:Sum ;
          rdfs:label "plus"@en .


###  http://sweetontology.net/relaMath/productOf
sorelm:productOf rdf:type owl:ObjectProperty ;
               owl:equivalentProperty sorelm:times ;
               rdfs:range sorepmo:Product ;
               rdfs:label "product of"@en .


###  http://sweetontology.net/relaMath/projection
sorelm:projection rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf sorelm:subsetOf ;
                rdfs:label "projection"@en .


###  http://sweetontology.net/relaMath/relation
sorelm:relation rdf:type owl:ObjectProperty ;
              rdfs:label "relation"@en .


###  http://sweetontology.net/relaMath/representationOf
sorelm:representationOf rdf:type owl:ObjectProperty ;
                      rdfs:label "representation of"@en .


###  http://sweetontology.net/relaMath/setExclusion
sorelm:setExclusion rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf sorelm:setRelation ;
                  rdfs:label "set exclusion"@en .


###  http://sweetontology.net/relaMath/setRelation
sorelm:setRelation rdf:type owl:ObjectProperty ;
                 rdfs:subPropertyOf sorelm:relation ;
                 rdfs:range sorepm:Set ;
                 rdfs:label "set relation"@en .


###  http://sweetontology.net/relaMath/subsetOf
sorelm:subsetOf rdf:type owl:ObjectProperty ;
              rdfs:subPropertyOf sorelm:setRelation ;
              owl:inverseOf sorelm:supersetOf ;
              rdfs:label "subset of"@en .


###  http://sweetontology.net/relaMath/supersetOf
sorelm:supersetOf rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf sorelm:setRelation ;
                rdfs:label "superset of"@en .


###  http://sweetontology.net/relaMath/times
sorelm:times rdf:type owl:ObjectProperty ;
           rdfs:label "times"@en .


###  http://sweetontology.net/relaMath/withRespectTo
sorelm:withRespectTo rdf:type owl:ObjectProperty ;
                   rdfs:range sorepm:Variable ;
                   rdfs:label "with respect to"@en .


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

###  http://sweetontology.net/relaMath/hasBase
sorelm:hasBase rdf:type owl:DatatypeProperty ;
             rdfs:label "has base"@en .


###  http://sweetontology.net/relaMath/hasDegree
sorelm:hasDegree rdf:type owl:DatatypeProperty ;
               rdfs:label "has degree"@en .


###  http://sweetontology.net/relaMath/hasDimension
sorelm:hasDimension rdf:type owl:DatatypeProperty ;
                  rdfs:range xsd:integer ;
                  rdfs:label "has dimension"@en .


###  http://sweetontology.net/relaMath/hasError
sorelm:hasError rdf:type owl:DatatypeProperty ;
              rdfs:range xsd:decimal ;
              rdfs:label "has error"@en .


###  http://sweetontology.net/relaMath/hasIntegerValue
sorelm:hasIntegerValue rdf:type owl:DatatypeProperty ;
                     rdfs:range xsd:integer ;
                     rdfs:label "has integer value"@en .


###  http://sweetontology.net/relaMath/hasLowerBound
sorelm:hasLowerBound rdf:type owl:DatatypeProperty ;
                   owl:equivalentProperty sorelm:lowerBound ;
                   rdfs:label "has lower bound"@en .


###  http://sweetontology.net/relaMath/hasOrder
sorelm:hasOrder rdf:type owl:DatatypeProperty ;
              rdfs:range xsd:integer ;
              rdfs:label "has order"@en .


###  http://sweetontology.net/relaMath/hasScalingNumber
sorelm:hasScalingNumber rdf:type owl:DatatypeProperty ;
                      rdfs:range xsd:decimal ;
                      rdfs:label "has scaling number"@en .


###  http://sweetontology.net/relaMath/hasShiftingNumber
sorelm:hasShiftingNumber rdf:type owl:DatatypeProperty ;
                       rdfs:range xsd:decimal ;
                       rdfs:label "has shifting number"@en .


###  http://sweetontology.net/relaMath/hasTolerance
sorelm:hasTolerance rdf:type owl:DatatypeProperty ;
                  owl:equivalentProperty sorelm:tolerance ;
                  rdfs:range xsd:decimal ;
                  rdfs:label "has tolerance"@en .


###  http://sweetontology.net/relaMath/hasUpperBound
sorelm:hasUpperBound rdf:type owl:DatatypeProperty ;
                   owl:equivalentProperty sorelm:upperBound ;
                   rdfs:label "has upper bound"@en .


###  http://sweetontology.net/relaMath/hasWeight
sorelm:hasWeight rdf:type owl:DatatypeProperty ;
               rdfs:label "has weight"@en .


###  http://sweetontology.net/relaMath/lowerBound
sorelm:lowerBound rdf:type owl:DatatypeProperty ;
                rdfs:label "lower bound"@en .


###  http://sweetontology.net/relaMath/toThePower
sorelm:toThePower rdf:type owl:DatatypeProperty ;
                rdfs:range xsd:decimal ;
                rdfs:label "to the power"@en .


###  http://sweetontology.net/relaMath/tolerance
sorelm:tolerance rdf:type owl:DatatypeProperty ;
               rdfs:label "tolerance"@en .


###  http://sweetontology.net/relaMath/upperBound
sorelm:upperBound rdf:type owl:DatatypeProperty ;
                rdfs:label "upper bound"@en .


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

###  http://sweetontology.net/repr/Coordinate
sorep:Coordinate rdf:type owl:Class .


###  http://sweetontology.net/repr/Coordinates
sorep:Coordinates rdf:type owl:Class .


###  http://sweetontology.net/repr/Representation
sorep:Representation rdf:type owl:Class .


###  http://sweetontology.net/repr/Scale
sorep:Scale rdf:type owl:Class .


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


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


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


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


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


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


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


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


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


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


###  http://sweetontology.net/reprMathGraph/Arc
sorepmg:Arc rdf:type owl:Class .


###  http://sweetontology.net/reprMathGraph/Edge
sorepmg:Edge rdf:type owl:Class .


###  http://sweetontology.net/reprMathGraph/OrderedVertexPair
sorepmg:OrderedVertexPair rdf:type owl:Class .


###  http://sweetontology.net/reprMathGraph/UnorderedVertexPair
sorepmg:UnorderedVertexPair rdf:type owl:Class .


###  http://sweetontology.net/reprMathGraph/Vertex
sorepmg:Vertex rdf:type owl:Class .


###  http://sweetontology.net/reprMathGraph/WeightedEdge
sorepmg:WeightedEdge rdf:type owl:Class .


###  http://sweetontology.net/reprMathOperation/Difference
sorepmo:Difference rdf:type owl:Class .


###  http://sweetontology.net/reprMathOperation/Product
sorepmo:Product rdf:type owl:Class .


###  http://sweetontology.net/reprMathOperation/Quotient
sorepmo:Quotient rdf:type owl:Class .


###  http://sweetontology.net/reprMathOperation/Sum
sorepmo:Sum rdf:type owl:Class .


###  http://sweetontology.net/reprMathStatistics/HypothesisTest
sorepmst:HypothesisTest rdf:type owl:Class .


###  http://sweetontology.net/reprMathStatistics/StatisticalDistribution
sorepmst:StatisticalDistribution rdf:type owl:Class .


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