<?xml version="1.0"?>


<!DOCTYPE rdf:RDF [
    <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
    <!ENTITY bfo "http://www.ifomis.org/bfo/1.0#" >
    <!ENTITY dc "http://purl.org/dc/elements/1.1/" >
    <!ENTITY owl11 "http://www.w3.org/2006/12/owl11#" >
    <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
    <!ENTITY dl "http://ontology.dumontierlab.com/" >
    <!ENTITY snap "http://www.ifomis.org/bfo/1.0/snap#" >
    <!ENTITY span "http://www.ifomis.org/bfo/1.0/span#" >
    <!ENTITY owl11xml "http://www.w3.org/2006/12/owl11-xml#" >
    <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
    <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
]>


<rdf:RDF xmlns="http://ontology.dumontierlab.com/nulo-constraints"
     xml:base="http://ontology.dumontierlab.com/nulo-constraints"
     xmlns:dc="http://purl.org/dc/elements/1.1/"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:owl11="http://www.w3.org/2006/12/owl11#"
     xmlns:owl11xml="http://www.w3.org/2006/12/owl11-xml#"
     xmlns:snap="http://www.ifomis.org/bfo/1.0/snap#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:dl="http://ontology.dumontierlab.com/"
     xmlns:bfo="http://www.ifomis.org/bfo/1.0#"
     xmlns:span="http://www.ifomis.org/bfo/1.0/span#">
    <owl:Ontology rdf:about="">
        <dc:title rdf:datatype="&xsd;string"
            >New Upper Level Ontology (NULO) - contraints</dc:title>
        <owl:versionInfo rdf:datatype="&xsd;string">1.0</owl:versionInfo>
        <dc:publisher rdf:datatype="&xsd;string">Dumontier Lab</dc:publisher>
        <dc:language rdf:datatype="&xsd;string">en</dc:language>
        <dc:creator rdf:datatype="&xsd;string"
            >Michel Dumontier</dc:creator>
        <dc:format rdf:datatype="&xsd;string"
            >application/rdf+xml</dc:format>
        <dc:description rdf:datatype="&xsd;string"
            >Adds universal constraints to guide proper use of relations.</dc:description>
        <dc:date rdf:datatype="&xsd;date">2008-02-01</dc:date>
        <owl:imports rdf:resource="&dl;nulo"/>
    </owl:Ontology>
    


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

    <owl:AnnotationProperty rdf:about="&dc;date"/>
    <owl:AnnotationProperty rdf:about="&dc;publisher"/>
    <owl:AnnotationProperty rdf:about="&dc;title"/>
    <owl:AnnotationProperty rdf:about="&dc;description"/>
    <owl:AnnotationProperty rdf:about="&dc;language"/>
    <owl:AnnotationProperty rdf:about="&dc;format"/>
    <owl:AnnotationProperty rdf:about="&dc;creator"/>
    


    <!-- http://www.ifomis.org/bfo/1.0/snap#Continuant -->

    <owl:Class rdf:about="&snap;Continuant">
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&dl;hasPart"/>
                <owl:allValuesFrom rdf:resource="&snap;Continuant"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://www.ifomis.org/bfo/1.0/snap#DependentContinuant -->

    <owl:Class rdf:about="&snap;DependentContinuant">
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&dl;inheresIn"/>
                <owl:allValuesFrom rdf:resource="&snap;IndependentContinuant"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
        


    <!-- http://www.ifomis.org/bfo/1.0/snap#IndependentContinuant -->

    <owl:Class rdf:about="&snap;IndependentContinuant">
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&dl;hasPart"/>
                <owl:allValuesFrom rdf:resource="&snap;IndependentContinuant"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&dl;bearerOf"/>
                <owl:allValuesFrom rdf:resource="&snap;DependentContinuant"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&dl;isSpatiallyLocatedIn"/>
                <owl:allValuesFrom rdf:resource="&snap;SpatialRegion"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://www.ifomis.org/bfo/1.0/snap#SpatialRegion -->

    <owl:Class rdf:about="&snap;SpatialRegion">
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&dl;hasPart"/>
                <owl:allValuesFrom rdf:resource="&snap;SpatialRegion"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://www.ifomis.org/bfo/1.0/span#Occurrent -->

    <owl:Class rdf:about="&span;Occurrent">
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&dl;hasPart"/>
                <owl:allValuesFrom rdf:resource="&span;Occurrent"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://www.ifomis.org/bfo/1.0/span#ProcessualEntity -->

    <owl:Class rdf:about="&span;ProcessualEntity">
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&dl;hasParticipant"/>
                <owl:allValuesFrom rdf:resource="&snap;Continuant"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&dl;isTemporallyLocatedIn"/>
                <owl:allValuesFrom rdf:resource="&span;TemporalRegion"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&dl;hasParticipant"/>
                <owl:someValuesFrom rdf:resource="&snap;Continuant"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&dl;hasPart"/>
                <owl:allValuesFrom rdf:resource="&span;ProcessualEntity"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://www.ifomis.org/bfo/1.0/span#SpatiotemporalRegion -->

    <owl:Class rdf:about="&span;SpatiotemporalRegion">
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&dl;hasPart"/>
                <owl:allValuesFrom rdf:resource="&span;SpatiotemporalRegion"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://www.ifomis.org/bfo/1.0/span#TemporalRegion -->

    <owl:Class rdf:about="&span;TemporalRegion">
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&dl;hasPart"/>
                <owl:allValuesFrom rdf:resource="&span;TemporalRegion"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
</rdf:RDF>
