Download this file

unitTest.owl    145 lines (88 with data), 3.4 kB

<?xml version="1.0"?>


<!DOCTYPE rdf:RDF [
    <!ENTITY kb "http://test/kb#" >
    <!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#" >
]>


<rdf:RDF xmlns="http://test/kb#"
     xml:base="http://test/kb"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:kb="http://test/kb#"
     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://test/kb"/>
    


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

    


    <!-- http://test/kb#objProp -->

    <owl:ObjectProperty rdf:about="&kb;objProp"/>
    


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

    


    <!-- http://test/kb#dataProp -->

    <owl:DatatypeProperty rdf:about="&kb;dataProp"/>
    


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

    


    <!-- http://test/kb#A -->

    <owl:Class rdf:about="&kb;A">
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&kb;objProp"/>
                <owl:someValuesFrom rdf:resource="&kb;C"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://test/kb#B -->

    <owl:Class rdf:about="&kb;B">
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&kb;dataProp"/>
                <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
                <owl:onDataRange rdf:resource="&xsd;string"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://test/kb#C -->

    <owl:Class rdf:about="&kb;C">
        <rdfs:subClassOf rdf:resource="&kb;B"/>
    </owl:Class>
    


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

    


    <!-- http://test/kb#iA -->

    <owl:NamedIndividual rdf:about="&kb;iA">
        <rdf:type rdf:resource="&kb;A"/>
        <objProp rdf:resource="&kb;iC"/>
    </owl:NamedIndividual>
    


    <!-- http://test/kb#iB -->

    <owl:NamedIndividual rdf:about="&kb;iB">
        <rdf:type rdf:resource="&kb;B"/>
        <dataProp>&quot;iBdata&quot;</dataProp>
    </owl:NamedIndividual>
    


    <!-- http://test/kb#iC -->

    <owl:NamedIndividual rdf:about="&kb;iC">
        <rdf:type rdf:resource="&kb;C"/>
        <dataProp>iCdata</dataProp>
    </owl:NamedIndividual>
</rdf:RDF>



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