<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="https://ontobee.org/ontology/view/ONTOAVIDA?iri=http://purl.obolibrary.org/obo/ONTOAVIDA_00001209"?>
<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:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:foaf="http://xmlns.com/foaf/0.1/"
     xmlns:dc="http://purl.org/dc/elements/1.1/"
     xmlns:ns3="http://purl.obolibrary.org/obo/">
    


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

    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000115"/>
    


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

    


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

    


    <!-- http://purl.obolibrary.org/obo/ONTOAVIDA_00000182 -->

    <ObjectProperty rdf:about="http://purl.obolibrary.org/obo/ONTOAVIDA_00000182">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AsymmetricProperty"/>
        <rdfs:label xml:lang="en">computes</rdfs:label>
    </ObjectProperty>
    


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

    


    <!-- http://purl.obolibrary.org/obo/GSSO_009994 -->

    <Class rdf:about="http://purl.obolibrary.org/obo/GSSO_009994">
        <rdfs:label xml:lang="en">digital organism</rdfs:label>
    </Class>
    


    <!-- http://purl.obolibrary.org/obo/ONTOAVIDA_00000111 -->

    <Class rdf:about="http://purl.obolibrary.org/obo/ONTOAVIDA_00000111">
        <rdfs:label xml:lang="en">logic operation</rdfs:label>
    </Class>
    


    <!-- http://purl.obolibrary.org/obo/ONTOAVIDA_00001209 -->

    <Class rdf:about="http://purl.obolibrary.org/obo/ONTOAVIDA_00001209">
        <rdfs:label xml:lang="en">merely-viable digital organism</rdfs:label>
        <equivalentClass>
            <Class>
                <intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://purl.obolibrary.org/obo/GSSO_009994"/>
                    <Restriction>
                        <onProperty rdf:resource="http://purl.obolibrary.org/obo/ONTOAVIDA_00000182"/>
                        <onClass rdf:resource="http://purl.obolibrary.org/obo/ONTOAVIDA_00000111"/>
                        <qualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">0</qualifiedCardinality>
                    </Restriction>
                </intersectionOf>
            </Class>
        </equivalentClass>
        <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/GSSO_009994"/>
        <disjointWith rdf:resource="http://purl.obolibrary.org/obo/ONTOAVIDA_00001210"/>
        <ns3:IAO_0000115 xml:lang="en">A merely-viable digital organism is a digital organism that does not compute any logic operation (i.e., it can only produce an offpring).</ns3:IAO_0000115>
    </Class>
    


    <!-- http://purl.obolibrary.org/obo/ONTOAVIDA_00001210 -->

    <Class rdf:about="http://purl.obolibrary.org/obo/ONTOAVIDA_00001210">
        <rdfs:label xml:lang="en">single-trait digital organism</rdfs:label>
    </Class>
</rdf:RDF>



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



