<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="https://ontobee.org/ontology/view/KISAO?iri=http://www.biomodels.net/kisao/KISAO%23KISAO_0000019"?>
<rdf:RDF xmlns="http://www.w3.org/2002/07/owl#"
     xml:base="http://www.w3.org/2002/07/owl"
     xmlns:ns5="http://www.biomodels.net/kisao/KISAO#"
     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:dcterms="http://purl.org/dc/terms/"
     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/">
    


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

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


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

    


    <!-- http://www.w3.org/2001/XMLSchema#date -->

    <rdfs:Datatype rdf:about="http://www.w3.org/2001/XMLSchema#date"/>
    


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


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // 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>
        <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_0000479"/>
                <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_0000570"/>
                <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_0000571"/>
                <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_0000211"/>
                <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_0000475"/>
                <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_0000481"/>
                <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_0000415"/>
                <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_0000476"/>
                <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_0000020"/>
            </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_0000478"/>
                <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_0000480"/>
                <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_0000209"/>
                <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_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_0000477"/>
                <maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</maxQualifiedCardinality>
            </Restriction>
        </rdfs:subClassOf>
        <disjointWith rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000355"/>
        <dcterms:created rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2007-11-30</dcterms:created>
        <rdfs:seeAlso rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">citeulike:1832863</rdfs:seeAlso>
        <ns5:isImplementedIn rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">http://identifiers.org/biosimulators/bionetgen</ns5:isImplementedIn>
        <ns5:isImplementedIn rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">http://identifiers.org/biosimulators/jsim</ns5:isImplementedIn>
        <ns5:isImplementedIn rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">http://identifiers.org/biosimulators/opencor</ns5:isImplementedIn>
        <ns5:isImplementedIn rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">http://identifiers.org/biosimulators/pysces</ns5:isImplementedIn>
        <ns5:isImplementedIn rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">http://identifiers.org/biosimulators/tellurium</ns5:isImplementedIn>
        <ns5:isImplementedIn rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">http://identifiers.org/biosimulators/vcell</ns5:isImplementedIn>
        <rdfs:seeAlso rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">http://identifiers.org/doi/10.1145/1089014.1089020</rdfs:seeAlso>
        <ns5:isImplementedIn xml:lang="en">SBML-SAT</ns5:isImplementedIn>
        <ns5:isImplementedIn xml:lang="en">SUNDIALS</ns5:isImplementedIn>
        <skos:definition xml:lang="en">The CVODE is a package written in C that solves ODE initial value problems, in real N-space, written as y&#39;=f(t,y),  y(t0)=y0. It is capable for stiff and non-stiff systems and uses two different linear multi-step methods, namely the Adam-Moulton [http://identifiers.org/biomodels.kisao/KISAO_0000280] method and the backward differentiation formula [http://identifiers.org/biomodels.kisao/KISAO_0000288].</skos:definition>
        <skos:altLabel xml:lang="en">VODE</skos:altLabel>
        <skos:altLabel xml:lang="en">VODEPK</skos:altLabel>
        <skos:altLabel xml:lang="en">code value ordinary differential equation solver</skos:altLabel>
        <dcterms:creator xml:lang="en">dk</dcterms:creator>
        <ns5:isImplementedIn xml:lang="en">libRoadRunner</ns5:isImplementedIn>
    </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>
    </Class>
    


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

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


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

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


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

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


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000415">
        <rdfs:label xml:lang="en">maximum number of steps</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_0000475 -->

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


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

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


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

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


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

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


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000479">
        <rdfs:label xml:lang="en">upper half-bandwidth</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000480">
        <rdfs:label xml:lang="en">lower half-bandwidth</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000481">
        <rdfs:label xml:lang="en">interpolate solution</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_0000570 -->

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000570">
        <rdfs:label xml:lang="en">auto reduce tolerances</rdfs:label>
    </Class>
    


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

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



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



