Mercurial > repos > mikel-egana-aranguren > oppl

diff OPPL/test-data/ontology/single/elk.owl @ 18:d3616fac4ca5 draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elk support added
author Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Thu, 20 Sep 2012 12:46:36 +0200
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/OPPL/test-data/ontology/single/elk.owl	Thu Sep 20 12:46:36 2012 +0200
@@ -0,0 +1,106 @@
+<?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 debug "http://www.samuelcroset.com/debug.owl#" >
+    <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
+]>
+
+
+<rdf:RDF xmlns="http://www.samuelcroset.com/debug.owl#"
+     xml:base="http://www.samuelcroset.com/debug.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:debug="http://www.samuelcroset.com/debug.owl#">
+    <owl:Ontology rdf:about="http://www.samuelcroset.com/debug.owl"/>
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
+    // Object Properties
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- http://www.samuelcroset.com/debug.owl#eats -->
+
+    <owl:ObjectProperty rdf:about="&debug;eats"/>
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
+    // Classes
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- http://www.samuelcroset.com/debug.owl#Animal -->
+
+    <owl:Class rdf:about="&debug;Animal"/>
+    
+
+
+    <!-- http://www.samuelcroset.com/debug.owl#Food -->
+
+    <owl:Class rdf:about="&debug;Food"/>
+    
+
+
+    <!-- http://www.samuelcroset.com/debug.owl#Lion -->
+
+    <owl:Class rdf:about="&debug;Lion">
+        <rdfs:subClassOf rdf:resource="&debug;Animal"/>
+        <rdfs:subClassOf>
+            <owl:Restriction>
+                <owl:onProperty rdf:resource="&debug;eats"/>
+                <owl:someValuesFrom rdf:resource="&debug;Meat"/>
+            </owl:Restriction>
+        </rdfs:subClassOf>
+    </owl:Class>
+    
+
+
+    <!-- http://www.samuelcroset.com/debug.owl#Meat -->
+
+    <owl:Class rdf:about="&debug;Meat">
+        <rdfs:subClassOf rdf:resource="&debug;Food"/>
+    </owl:Class>
+    
+
+
+    <!-- http://www.samuelcroset.com/debug.owl#MeatEater -->
+
+    <owl:Class rdf:about="&debug;MeatEater">
+        <owl:equivalentClass>
+            <owl:Class>
+                <owl:intersectionOf rdf:parseType="Collection">
+                    <rdf:Description rdf:about="&debug;Animal"/>
+                    <owl:Restriction>
+                        <owl:onProperty rdf:resource="&debug;eats"/>
+                        <owl:someValuesFrom rdf:resource="&debug;Meat"/>
+                    </owl:Restriction>
+                </owl:intersectionOf>
+            </owl:Class>
+        </owl:equivalentClass>
+    </owl:Class>
+</rdf:RDF>
+
+
+
+<!-- Generated by the OWL API (version 3.2.3.1824) http://owlapi.sourceforge.net -->
+