Mercurial > repos > mikel-egana-aranguren > oppl
view test-data/ontology/single/inference_test.owl @ 21:ffde1fafa066 draft
README corrected with proper installation instructions for mercurial (hg pull + hg update)
author | Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu> |
---|---|
date | Mon, 08 Oct 2012 13:10:44 +0200 |
parents | cc270db37d33 |
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 -->