annotate OPPL/test.owl @ 4:4f60202c58d9

Added option to push inferred subsumption axioms into output ontology

<?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 Ontology1314715036188 "http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/" >
]>


<rdf:RDF xmlns="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl#"
     xml:base="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:Ontology1314715036188="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.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/ontologies/2011/7/Ontology1314715036188.owl"/>
    


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

    


    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/part_of -->

    <owl:ObjectProperty rdf:about="&Ontology1314715036188;part_of"/>
    


    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/prop -->

    <owl:ObjectProperty rdf:about="&Ontology1314715036188;prop"/>
    


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

    


    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/OPPL_test -->

    <owl:Class rdf:about="&Ontology1314715036188;OPPL_test"/>
    


    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/Taxonomy_test -->

    <owl:Class rdf:about="&Ontology1314715036188;Taxonomy_test"/>
    


    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/child_class -->

    <owl:Class rdf:about="&Ontology1314715036188;child_class">
        <rdfs:subClassOf rdf:resource="&Ontology1314715036188;Taxonomy_test"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&Ontology1314715036188;prop"/>
                <owl:someValuesFrom rdf:resource="&Ontology1314715036188;filler"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/filler -->

    <owl:Class rdf:about="&Ontology1314715036188;filler">
        <rdfs:subClassOf rdf:resource="&Ontology1314715036188;Taxonomy_test"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/parent_class -->

    <owl:Class rdf:about="&Ontology1314715036188;parent_class">
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&Ontology1314715036188;prop"/>
                <owl:someValuesFrom rdf:resource="&Ontology1314715036188;filler"/>
            </owl:Restriction>
        </owl:equivalentClass>
        <rdfs:subClassOf rdf:resource="&Ontology1314715036188;Taxonomy_test"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/part -->

    <owl:Class rdf:about="&Ontology1314715036188;part">
        <rdfs:subClassOf rdf:resource="&Ontology1314715036188;OPPL_test"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&Ontology1314715036188;part_of"/>
                <owl:someValuesFrom rdf:resource="&Ontology1314715036188;whole"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/whole -->

    <owl:Class rdf:about="&Ontology1314715036188;whole">
        <rdfs:subClassOf rdf:resource="&Ontology1314715036188;OPPL_test"/>
    </owl:Class>
</rdf:RDF>



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