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