Mercurial > repos > mikel-egana-aranguren > oppl

view OPPL/test.owl @ 4:4f60202c58d9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added option to push inferred subsumption axioms into output ontology
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Wed, 14 Sep 2011 19:52:06 +0200
parents 46b9d13a44fc
children
line wrap: on
line source

<?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 -->