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


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

    


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

    


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

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


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Data properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


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

    <DatatypeProperty rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000251">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
        <rdfs:label xml:lang="en">has type</rdfs:label>
    </DatatypeProperty>
    


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

    


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000074">
        <rdfs:label xml:lang="en">binomial tau-leaping method</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000244">
        <rdfs:label xml:lang="en">granularity control parameter</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000253">
        <rdfs:label xml:lang="en">coarse-graining factor</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000244"/>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000251"/>
                <someValuesFrom rdf:resource="http://www.w3.org/2001/XMLSchema#double"/>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000250"/>
                <allValuesFrom rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000074"/>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:seeAlso rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">http://identifiers.org/pubmed/15638577</rdfs:seeAlso>
        <skos:definition xml:lang="en">The time in each Monte-Carlo iteration of &#39;binomial tau-leaping method&#39; [http://identifiers.org/biomodels.kisao/KISAO_0000074] is updated with the time increments tau=f/(a1+a2+...+aM). Here 1/(a1+a2+...+aM) is the averaged microscopic increment of the SSA [http://identifiers.org/biomodels.kisao/KISAO_0000029] and f is a coarse-graining factor, controlling the speed-up.</skos:definition>
    </Class>
</rdf:RDF>



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



