@prefix : <http://sweetontology.net/reprMathSolution/> .
@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 sohur: <http://sweetontology.net/humanResearch/> .
@prefix sorepmso: <http://sweetontology.net/reprMathSolution/> .
@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#> .
@base <http://sweetontology.net/reprMathSolution> .

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

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

###  http://sweetontology.net/humanResearch/Assessment
sohur:Assessment rdf:type owl:Class .


###  http://sweetontology.net/reprMathSolution/AlgebraicSolution
sorepmso:AlgebraicSolution rdf:type owl:Class ;
                      rdfs:subClassOf sorepmso:AnalyticalSolution ;
                      rdfs:label "algebraic solution"@en .


###  http://sweetontology.net/reprMathSolution/Algorithm
sorepmso:Algorithm rdf:type owl:Class ;
              rdfs:subClassOf sorepmso:Solution ;
              rdfs:label "algorithm"@en .


###  http://sweetontology.net/reprMathSolution/AnalyticalSolution
sorepmso:AnalyticalSolution rdf:type owl:Class ;
                       rdfs:subClassOf sorepmso:Solution ;
                       rdfs:label "analytical solution"@en .


###  http://sweetontology.net/reprMathSolution/Approximation
sorepmso:Approximation rdf:type owl:Class ;
                  rdfs:subClassOf sorepmso:Solution ;
                  rdfs:label "approximation"@en .


###  http://sweetontology.net/reprMathSolution/BreadthFirstSearch
sorepmso:BreadthFirstSearch rdf:type owl:Class ;
                       rdfs:subClassOf sorepmso:Search ;
                       rdfs:label "breadth first search"@en .


###  http://sweetontology.net/reprMathSolution/DepthFirstSearch
sorepmso:DepthFirstSearch rdf:type owl:Class ;
                     rdfs:subClassOf sorepmso:Search ;
                     rdfs:label "depth first search"@en .


###  http://sweetontology.net/reprMathSolution/DivideAndConquer
sorepmso:DivideAndConquer rdf:type owl:Class ;
                     rdfs:subClassOf sorepmso:Algorithm ;
                     rdfs:label "divide and conquer"@en .


###  http://sweetontology.net/reprMathSolution/DynamicProgramming
sorepmso:DynamicProgramming rdf:type owl:Class ;
                       rdfs:subClassOf sorepmso:Solution ;
                       rdfs:label "dynamic programming"@en .


###  http://sweetontology.net/reprMathSolution/Emulate
sorepmso:Emulate rdf:type owl:Class ;
            owl:equivalentClass sorepmso:Simulate ;
            rdfs:label "emulate"@en .


###  http://sweetontology.net/reprMathSolution/ExhaustiveSearch
sorepmso:ExhaustiveSearch rdf:type owl:Class ;
                     rdfs:subClassOf sorepmso:Search ;
                     rdfs:label "exhaustive search"@en .


###  http://sweetontology.net/reprMathSolution/Expansion
sorepmso:Expansion rdf:type owl:Class ;
              rdfs:subClassOf sorepmso:Solution ;
              rdfs:label "expansion"@en .


###  http://sweetontology.net/reprMathSolution/FlowChart
sorepmso:FlowChart rdf:type owl:Class ;
              rdfs:subClassOf sorepmso:Solution ;
              rdfs:label "flow chart"@en .


###  http://sweetontology.net/reprMathSolution/GeneticAlgorithm
sorepmso:GeneticAlgorithm rdf:type owl:Class ;
                     rdfs:subClassOf sorepmso:HeuristicAlgorithm ;
                     rdfs:label "genetic algorithm"@en .


###  http://sweetontology.net/reprMathSolution/HeuristicAlgorithm
sorepmso:HeuristicAlgorithm rdf:type owl:Class ;
                       rdfs:subClassOf sorepmso:Algorithm ;
                       rdfs:label "heuristic algorithm"@en .


###  http://sweetontology.net/reprMathSolution/Iteration
sorepmso:Iteration rdf:type owl:Class ;
              rdfs:subClassOf sorepmso:Solution ;
              rdfs:label "iteration"@en .


###  http://sweetontology.net/reprMathSolution/MapReduce
sorepmso:MapReduce rdf:type owl:Class ;
              rdfs:subClassOf sorepmso:ParallelAlgorithm ;
              rdfs:label "map reduce"@en .


###  http://sweetontology.net/reprMathSolution/NewtonianRelaxation
sorepmso:NewtonianRelaxation rdf:type owl:Class ;
                        rdfs:subClassOf sorepmso:NumericalSolution ;
                        rdfs:label "newtonian relaxation"@en .


###  http://sweetontology.net/reprMathSolution/NumericalApproximation
sorepmso:NumericalApproximation rdf:type owl:Class ;
                           rdfs:subClassOf sorepmso:Approximation ;
                           rdfs:label "numerical approximation"@en .


###  http://sweetontology.net/reprMathSolution/NumericalSolution
sorepmso:NumericalSolution rdf:type owl:Class ;
                      rdfs:subClassOf sorepmso:Solution ;
                      rdfs:label "numerical solution"@en .


###  http://sweetontology.net/reprMathSolution/Parallel
sorepmso:Parallel rdf:type owl:Class ;
             rdfs:subClassOf sorepmso:Solution ;
             rdfs:label "parallel"@en .


###  http://sweetontology.net/reprMathSolution/ParallelAlgorithm
sorepmso:ParallelAlgorithm rdf:type owl:Class ;
                      rdfs:subClassOf sorepmso:Algorithm ,
                                      sorepmso:Solution ;
                      rdfs:label "parallel algorithm"@en .


###  http://sweetontology.net/reprMathSolution/Reduction
sorepmso:Reduction rdf:type owl:Class ;
              rdfs:subClassOf sorepmso:Solution ;
              rdfs:label "reduction"@en .


###  http://sweetontology.net/reprMathSolution/Search
sorepmso:Search rdf:type owl:Class ;
           rdfs:subClassOf sorepmso:Algorithm ;
           rdfs:label "search"@en .


###  http://sweetontology.net/reprMathSolution/SensitivityAnalysis
sorepmso:SensitivityAnalysis rdf:type owl:Class ;
                        rdfs:subClassOf sohur:Assessment ;
                        rdfs:label "sensitivity analysis"@en .


###  http://sweetontology.net/reprMathSolution/SeriesAlgorithm
sorepmso:SeriesAlgorithm rdf:type owl:Class ;
                    rdfs:subClassOf sorepmso:Algorithm ;
                    rdfs:label "series algorithm"@en .


###  http://sweetontology.net/reprMathSolution/Simulate
sorepmso:Simulate rdf:type owl:Class ;
             owl:equivalentClass sorepmso:Simulation ;
             rdfs:subClassOf sorepmso:Solution ;
             rdfs:label "simulate"@en .


###  http://sweetontology.net/reprMathSolution/Simulation
sorepmso:Simulation rdf:type owl:Class ;
               rdfs:label "simulation"@en .


###  http://sweetontology.net/reprMathSolution/Solution
sorepmso:Solution rdf:type owl:Class ;
             rdfs:subClassOf sorepm:NumericalEntity ;
             rdfs:label "solution"@en .


###  http://sweetontology.net/reprMathSolution/TaylorSeries
sorepmso:TaylorSeries rdf:type owl:Class ;
                 rdfs:subClassOf sorepmso:Expansion ,
                                 sorepmso:NumericalSolution ;
                 rdfs:label "taylor series"@en .


###  http://sweetontology.net/reprMathSolution/VisualSolution
sorepmso:VisualSolution rdf:type owl:Class ;
                   rdfs:subClassOf sorepmso:Approximation ,
                                   sorepmso:Solution ;
                   rdfs:label "visual solution"@en .


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