<?xml version="1.0"?>


<!DOCTYPE rdf:RDF [
    <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
    <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
    <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
    <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
    <!ENTITY test_datatype_one_of "http://www.semanticweb.org/jiba/ontologies/2018/10/test_datatype_one_of.owl#" >
]>


<rdf:RDF xmlns="http://www.semanticweb.org/jiba/ontologies/2018/10/test_datatype_one_of.owl#"
     xml:base="http://www.semanticweb.org/jiba/ontologies/2018/10/test_datatype_one_of.owl"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:test_datatype_one_of="http://www.semanticweb.org/jiba/ontologies/2018/10/test_datatype_one_of.owl#"
     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#">
    <owl:Ontology rdf:about="http://www.semanticweb.org/jiba/ontologies/2018/10/test_datatype_one_of.owl"/>
    


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

    


    <!-- http://www.semanticweb.org/jiba/ontologies/2018/10/test_datatype_one_of.owl#p -->

    <owl:DatatypeProperty rdf:about="&test_datatype_one_of;p">
        <rdfs:range rdf:resource="&xsd;integer"/>
    </owl:DatatypeProperty>
    


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

    


    <!-- http://www.semanticweb.org/jiba/ontologies/2018/10/test_datatype_one_of.owl#D -->

    <owl:Class rdf:about="&test_datatype_one_of;D">
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&test_datatype_one_of;p"/>
                <owl:allValuesFrom>
                    <rdfs:Datatype>
                        <owl:oneOf>
                            <rdf:Description>
                                <rdf:type rdf:resource="&rdf;List"/>
                                <rdf:first rdf:datatype="&xsd;integer">1</rdf:first>
                                <rdf:rest>
                                    <rdf:Description>
                                        <rdf:type rdf:resource="&rdf;List"/>
                                        <rdf:first rdf:datatype="&xsd;integer">2</rdf:first>
                                        <rdf:rest>
                                            <rdf:Description>
                                                <rdf:type rdf:resource="&rdf;List"/>
                                                <rdf:first rdf:datatype="&xsd;integer">3</rdf:first>
                                                <rdf:rest rdf:resource="&rdf;nil"/>
                                            </rdf:Description>
                                        </rdf:rest>
                                    </rdf:Description>
                                </rdf:rest>
                            </rdf:Description>
                        </owl:oneOf>
                    </rdfs:Datatype>
                </owl:allValuesFrom>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Individuals
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.semanticweb.org/jiba/ontologies/2018/10/test_datatype_one_of.owl#d1 -->

    <owl:NamedIndividual rdf:about="&test_datatype_one_of;d1">
        <rdf:type rdf:resource="&test_datatype_one_of;D"/>
        <p rdf:datatype="&xsd;integer">1</p>
    </owl:NamedIndividual>
    <owl:Axiom>
        <owl:annotatedTarget rdf:datatype="&xsd;integer">1</owl:annotatedTarget>
        <rdfs:comment>Annotation on a triple with a datatype value.</rdfs:comment>
        <owl:annotatedSource rdf:resource="&test_datatype_one_of;d1"/>
        <owl:annotatedProperty rdf:resource="&test_datatype_one_of;p"/>
    </owl:Axiom>
</rdf:RDF>



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

