Mercurial > repos > mikel-egana-aranguren > oppl
diff 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 diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/OPPL/test-data/ontology/single/inference_test.owl Fri Mar 09 16:15:27 2012 +0100 @@ -0,0 +1,162 @@ +<?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 --> +