<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="https://ontobee.org/ontology/view/KISAO?iri=http://www.biomodels.net/kisao/KISAO%23KISAO_0000020"?>
<rdf:RDF xmlns="http://www.w3.org/2002/07/owl#"
     xml:base="http://www.w3.org/2002/07/owl"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:oboInOwl="http://www.geneontology.org/formats/oboInOwl#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:skos="http://www.w3.org/2004/02/skos/core#"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:obo="http://purl.obolibrary.org/obo/"
     xmlns:ns4="http://www.biomodels.net/kisao/KISAO#"
     xmlns:foaf="http://xmlns.com/foaf/0.1/"
     xmlns:dc="http://purl.org/dc/elements/1.1/">
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Annotation properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    <AnnotationProperty rdf:about="http://www.w3.org/2004/02/skos/core#definition"/>
    <AnnotationProperty rdf:about="http://www.biomodels.net/kisao/KISAO#isImplementedIn"/>
    <AnnotationProperty rdf:about="http://www.w3.org/2004/02/skos/core#altLabel"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Datatypes
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Object Properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.biomodels.net/kisao/KISAO#KISAO_0000359 -->

    <ObjectProperty rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000359">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ReflexiveProperty"/>
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#SymmetricProperty"/>
        <rdfs:label xml:lang="en">is similar to</rdfs:label>
    </ObjectProperty>
    


    <!-- http://www.biomodels.net/kisao/KISAO#KISAO_0000360 -->

    <ObjectProperty rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000360">
        <rdfs:label xml:lang="en">uses</rdfs:label>
    </ObjectProperty>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Classes
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.biomodels.net/kisao/KISAO#KISAO_0000019 -->

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000019">
        <rdfs:label xml:lang="en">CVODE</rdfs:label>
    </Class>
    


    <!-- http://www.biomodels.net/kisao/KISAO#KISAO_0000020 -->

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000020">
        <rdfs:label xml:lang="en">PVODE</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000433"/>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000359"/>
                <someValuesFrom rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000019"/>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Class>
                <unionOf rdf:parseType="Collection">
                    <Class>
                        <intersectionOf rdf:parseType="Collection">
                            <Restriction>
                                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000360"/>
                                <someValuesFrom rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000288"/>
                            </Restriction>
                            <Restriction>
                                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000360"/>
                                <someValuesFrom rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000353"/>
                            </Restriction>
                        </intersectionOf>
                    </Class>
                    <Restriction>
                        <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000360"/>
                        <someValuesFrom rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000280"/>
                    </Restriction>
                </unionOf>
            </Class>
        </rdfs:subClassOf>
        <disjointWith rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000283"/>
        <disjointWith rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000356"/>
        <rdfs:seeAlso rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">http://identifiers.org/doi/10.1145/1089014.1089020</rdfs:seeAlso>
        <rdfs:seeAlso rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">http://identifiers.org/doi/10.1177/109434209901300405</rdfs:seeAlso>
        <skos:definition xml:lang="en">PVODE is a general-purpose solver for ordinary differential equation (ODE) systems that implements methods for both stiff and nonstiff systems. [...] In the stiff case, PVODE uses a backward differentiation formula method [http://identifiers.org/biomodels.kisao/KISAO_0000288] combined with preconditioned GMRES [http://identifiers.org/biomodels.kisao/KISAO_0000253] iteration. Parallelism is achieved by distributing the ODE solution vector into user-specified segments and parallelizing a set of vector kernels accordingly. For PDE-based ODE systems, we provide a module that generates a band block-diagonal preconditioner for use with the GMRES [http://identifiers.org/biomodels.kisao/KISAO_0000253] iteration. PVODE is based on CVODE [http://identifiers.org/biomodels.kisao/KISAO_0000019].</skos:definition>
        <ns4:isImplementedIn xml:lang="en">SUNDIALS</ns4:isImplementedIn>
        <skos:altLabel xml:lang="en">parallel code value ordinary differential equation solver</skos:altLabel>
    </Class>
    


    <!-- http://www.biomodels.net/kisao/KISAO#KISAO_0000280 -->

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000280">
        <rdfs:label xml:lang="en">Adams-Moulton method</rdfs:label>
    </Class>
    


    <!-- http://www.biomodels.net/kisao/KISAO#KISAO_0000283 -->

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000283">
        <rdfs:label xml:lang="en">IDA</rdfs:label>
    </Class>
    


    <!-- http://www.biomodels.net/kisao/KISAO#KISAO_0000288 -->

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000288">
        <rdfs:label xml:lang="en">backward differentiation formula</rdfs:label>
    </Class>
    


    <!-- http://www.biomodels.net/kisao/KISAO#KISAO_0000353 -->

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000353">
        <rdfs:label xml:lang="en">generalized minimal residual algorithm</rdfs:label>
    </Class>
    


    <!-- http://www.biomodels.net/kisao/KISAO#KISAO_0000356 -->

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000356">
        <rdfs:label xml:lang="en">DASSL</rdfs:label>
    </Class>
    


    <!-- http://www.biomodels.net/kisao/KISAO#KISAO_0000433 -->

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000433">
        <rdfs:label xml:lang="en">CVODE-like method</rdfs:label>
    </Class>
</rdf:RDF>



<!-- Generated by the OWL API (version 3.2.4.1806) http://owlapi.sourceforge.net -->



