view OPPL/test-data/ontology/single/inference_test.owl @ 11:6ca67b155e32

Imports simplified, new tool for inference added
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Fri, 09 Mar 2012 16:15:27 +0100
parents
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 inference_test "http://www.oeg-upm.net/inference_test.owl/" >
    <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
]>


<rdf:RDF xmlns="http://www.oeg-upm.net/inference_test.owl#"
     xml:base="http://www.oeg-upm.net/inference_test.owl"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     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:inference_test="http://www.oeg-upm.net/inference_test.owl/">
    <owl:Ontology rdf:about="http://www.oeg-upm.net/inference_test.owl"/>
    


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

    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Datatypes
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


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

    


    <!-- http://www.oeg-upm.net/inference_test.owl/p -->

    <owl:ObjectProperty rdf:about="&inference_test;p"/>
    


    <!-- http://www.oeg-upm.net/inference_test.owl/q -->

    <owl:ObjectProperty rdf:about="&inference_test;q"/>
    


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

    


    <!-- http://www.oeg-upm.net/inference_test.owl/a -->

    <owl:Class rdf:about="&inference_test;a">
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&inference_test;p"/>
                <owl:someValuesFrom rdf:resource="&inference_test;b"/>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    


    <!-- http://www.oeg-upm.net/inference_test.owl/b -->

    <owl:Class rdf:about="&inference_test;b"/>
    


    <!-- http://www.oeg-upm.net/inference_test.owl/c -->

    <owl:Class rdf:about="&inference_test;c">
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&inference_test;p"/>
                <owl:someValuesFrom rdf:resource="&inference_test;b"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://www.w3.org/2002/07/owl#Thing -->

    <rdf:Description rdf:about="&owl;Thing">
        <rdfs:comment>Expected inferences: 

aa memberOf a

c subClassOf a</rdfs:comment>
    </rdf:Description>
    


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

    


    <!-- http://www.oeg-upm.net/inference_test.owl/aa -->

    <owl:Thing rdf:about="&inference_test;aa">
        <rdf:type rdf:resource="&owl;NamedIndividual"/>
        <inference_test:p rdf:resource="&inference_test;bb"/>
    </owl:Thing>
    


    <!-- http://www.oeg-upm.net/inference_test.owl/bb -->

    <owl:NamedIndividual rdf:about="&inference_test;bb">
        <rdf:type rdf:resource="&inference_test;b"/>
    </owl:NamedIndividual>
    


    <!-- http://www.oeg-upm.net/inference_test.owl/cc -->

    <owl:Thing rdf:about="&inference_test;cc">
        <rdf:type rdf:resource="&owl;NamedIndividual"/>
    </owl:Thing>
</rdf:RDF>



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