<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="https://ontobee.org/ontology/view/KISAO?iri=http://www.biomodels.net/kisao/KISAO%23KISAO_0000496"?>
<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:foaf="http://xmlns.com/foaf/0.1/"
     xmlns:dc="http://purl.org/dc/elements/1.1/"
     xmlns:ns3="http://www.biomodels.net/kisao/KISAO#">
    


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

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


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

    


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

    


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

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


    <!-- 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_0000433 -->

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


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000496">
        <rdfs:label xml:lang="en">CVODES</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_0000259"/>
                <onClass rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000556"/>
                <maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</maxQualifiedCardinality>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000259"/>
                <onClass rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000557"/>
                <maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</maxQualifiedCardinality>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000259"/>
                <onClass rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000558"/>
                <maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</maxQualifiedCardinality>
            </Restriction>
        </rdfs:subClassOf>
        <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>
            <Restriction>
                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000259"/>
                <onClass rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000543"/>
                <maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</maxQualifiedCardinality>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000259"/>
                <onClass rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000555"/>
                <maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</maxQualifiedCardinality>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000360"/>
                <someValuesFrom rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000497"/>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:seeAlso rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">http://computation.llnl.gov/projects/sundials/cvodes</rdfs:seeAlso>
        <ns3:isImplementedIn rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">http://identifiers.org/biosimulators/amici</ns3:isImplementedIn>
        <skos:definition xml:lang="en">CVODES is a solver for stiff and nonstiff ODE systems (initial value problem) given in explicit form y’ = f(t,y,p) with sensitivity analysis capabilities (both forward and adjoint modes).</skos:definition>
        <rdfs:comment xml:lang="en">CVODES is a superset of CVODE [http://identifiers.org/biomodels.kisao/KISAO_0000019] and hence all options available to CVODE (with the exception of the FCVODE interface module) are also available for CVODES. Both integration methods (Adams-Moulton [http://identifiers.org/biomodels.kisao/KISAO_0000280] and BDF [http://identifiers.org/biomodels.kisao/KISAO_0000288]) and the corresponding nonlinear iteration methods, as well as all linear solver and preconditioner modules, are available for the integration of the original ODEs, the sensitivity systems, or the adjoint system.</rdfs:comment>
        <ns3:isImplementedIn xml:lang="en">SUNDIALS</ns3:isImplementedIn>
    </Class>
    


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

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


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000543">
        <rdfs:label xml:lang="en">stability limit detection flag</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000555">
        <rdfs:label xml:lang="en">absolute quadrature tolerance</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000556">
        <rdfs:label xml:lang="en">relative quadrature tolerance</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000557">
        <rdfs:label xml:lang="en">absolute steady-state tolerance</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000558">
        <rdfs:label xml:lang="en">relative steady-state tolerance</rdfs:label>
    </Class>
</rdf:RDF>



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



