@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ns0: <https://w3id.org/amv#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix metadata: <http://data.bioontology.org/metadata/> .
@prefix metadata_def: <http://data.bioontology.org/metadata/def/> .

ns0:CombinatorialProblem
    rdfs:subClassOf ns0:Problem .

ns0:ComputationalGeometryProblem
    rdfs:subClassOf ns0:Problem .

ns0:DataStructuresProblem
    rdfs:subClassOf ns0:Problem .

ns0:GraphProblem
    rdfs:subClassOf ns0:Problem .

ns0:NeuralMachineTranslation
    a ns0:Problem .

ns0:NumericalProblem
    rdfs:subClassOf ns0:Problem .

ns0:OptimizationProblem
    rdfs:subClassOf ns0:Problem .

ns0:Problem
    metadata_def:mappingLoom "problem" ;
    metadata_def:mappingSameURI ns0:Problem ;
    metadata_def:prefLabel "Problem"@en ;
    metadata:prefixIRI "amv:Problem" ;
    a owl:Class ;
    rdfs:comment "The various problems for which an algorithm is written."@en ;
    rdfs:label "Problem"@en ;
    rdfs:subClassOf owl:Thing .

ns0:SetProblem
    rdfs:subClassOf ns0:Problem .

ns0:StringProblem
    rdfs:subClassOf ns0:Problem .

ns0:availableAlgorithm
    rdfs:domain ns0:Problem .

ns0:computesSolutionTo
    rdfs:range ns0:Problem .

ns0:hasSubproblem
    rdfs:domain ns0:Problem ;
    rdfs:range ns0:Problem .

ns0:n-bodyProblem
    a ns0:Problem .

ns0:problemDescription
    rdfs:domain ns0:Problem .

ns0:subproblemOf
    rdfs:domain ns0:Problem ;
    rdfs:range ns0:Problem .