Mercurial > hg > prov / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset
Example of adding OWL restrictions
authorStian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Fri, 24 Feb 2012 16:11:52 +0000
changeset 1688 9af00af842f8
parent 1687 61171c7de48d
child 1690 e1f5882757a3
Example of adding OWL restrictions
ontology/ProvenanceOntologyFull.owl 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/ProvenanceOntologyFull.owl	Fri Feb 24 16:11:52 2012 +0000
@@ -0,0 +1,288 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+    <!ENTITY prov "http://www.w3.org/ns/prov#" >
+    <!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#" >
+]>
+
+
+<rdf:RDF xmlns="http://www.w3.org/ns/prov-o-full#"
+     xml:base="http://www.w3.org/ns/prov-o-full"
+     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+     xmlns:prov="http://www.w3.org/ns/prov#"
+     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.w3.org/ns/prov-o-full#">
+        <owl:imports rdf:resource="http://www.w3.org/ns/prov#"/>
+    </owl:Ontology>
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
+    // Object Properties
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- http://www.w3.org/ns/prov#hadOriginalSource -->
+
+    <rdf:Description rdf:about="&prov;hadOriginalSource">
+        <rdfs:subPropertyOf rdf:resource="&prov;wasEndedBy"/>
+    </rdf:Description>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#involved -->
+
+    <rdf:Description rdf:about="&prov;involved">
+        <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov-o-full#wasInvolvedBy"/>
+    </rdf:Description>
+    
+
+
+    <!-- http://www.w3.org/ns/prov-o-full#wasInvolvedBy -->
+
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov-o-full#wasInvolvedBy"/>
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
+    // Classes
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- http://www.w3.org/ns/prov#Activity -->
+
+    <rdf:Description rdf:about="&prov;Activity">
+        <owl:disjointWith rdf:resource="&prov;Entity"/>
+    </rdf:Description>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#ActivityInvolvement -->
+
+    <rdf:Description rdf:about="&prov;ActivityInvolvement">
+        <rdfs:subClassOf>
+            <owl:Restriction>
+                <owl:onProperty rdf:resource="&prov;activity"/>
+                <owl:someValuesFrom rdf:resource="&prov;Activity"/>
+            </owl:Restriction>
+        </rdfs:subClassOf>
+        <rdfs:subClassOf>
+            <owl:Class>
+                <owl:unionOf rdf:parseType="Collection">
+                    <rdf:Description rdf:about="&prov;Generation"/>
+                    <rdf:Description rdf:about="&prov;Inform"/>
+                    <rdf:Description rdf:about="&prov;StartByActivity"/>
+                </owl:unionOf>
+            </owl:Class>
+        </rdfs:subClassOf>
+    </rdf:Description>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#AgentInvolvement -->
+
+    <rdf:Description rdf:about="&prov;AgentInvolvement">
+        <rdfs:subClassOf>
+            <owl:Restriction>
+                <owl:onProperty rdf:resource="&prov;entity"/>
+                <owl:someValuesFrom rdf:resource="&prov;Agent"/>
+            </owl:Restriction>
+        </rdfs:subClassOf>
+        <rdfs:subClassOf>
+            <owl:Class>
+                <owl:unionOf rdf:parseType="Collection">
+                    <rdf:Description rdf:about="&prov;Association"/>
+                    <rdf:Description rdf:about="&prov;Attribution"/>
+                    <rdf:Description rdf:about="&prov;Responsibility"/>
+                </owl:unionOf>
+            </owl:Class>
+        </rdfs:subClassOf>
+    </rdf:Description>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#Derivation -->
+
+    <rdf:Description rdf:about="&prov;Derivation">
+        <rdfs:subClassOf>
+            <owl:Restriction>
+                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov-o-full#wasInvolvedBy"/>
+                <owl:someValuesFrom rdf:resource="&prov;Entity"/>
+            </owl:Restriction>
+        </rdfs:subClassOf>
+    </rdf:Description>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#Element -->
+
+    <rdf:Description rdf:about="&prov;Element">
+        <rdfs:subClassOf>
+            <owl:Class>
+                <owl:unionOf rdf:parseType="Collection">
+                    <rdf:Description rdf:about="&prov;Activity"/>
+                    <rdf:Description rdf:about="&prov;Entity"/>
+                </owl:unionOf>
+            </owl:Class>
+        </rdfs:subClassOf>
+    </rdf:Description>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#Entity -->
+
+    <rdf:Description rdf:about="&prov;Entity"/>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#EntityInvolvement -->
+
+    <rdf:Description rdf:about="&prov;EntityInvolvement">
+        <rdfs:subClassOf>
+            <owl:Class>
+                <owl:unionOf rdf:parseType="Collection">
+                    <rdf:Description rdf:about="&prov;AgentInvolvement"/>
+                    <rdf:Description rdf:about="&prov;Derivation"/>
+                    <rdf:Description rdf:about="&prov;Quotation"/>
+                    <rdf:Description rdf:about="&prov;Summarization"/>
+                    <rdf:Description rdf:about="&prov;Trace"/>
+                    <rdf:Description rdf:about="&prov;Usage"/>
+                </owl:unionOf>
+            </owl:Class>
+        </rdfs:subClassOf>
+        <rdfs:subClassOf>
+            <owl:Restriction>
+                <owl:onProperty rdf:resource="&prov;entity"/>
+                <owl:someValuesFrom rdf:resource="&prov;Entity"/>
+            </owl:Restriction>
+        </rdfs:subClassOf>
+    </rdf:Description>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#Generation -->
+
+    <rdf:Description rdf:about="&prov;Generation">
+        <rdfs:subClassOf>
+            <owl:Restriction>
+                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov-o-full#wasInvolvedBy"/>
+                <owl:someValuesFrom rdf:resource="&prov;Entity"/>
+            </owl:Restriction>
+        </rdfs:subClassOf>
+    </rdf:Description>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#InstantaneousEvent -->
+
+    <rdf:Description rdf:about="&prov;InstantaneousEvent">
+        <rdfs:subClassOf>
+            <owl:Class>
+                <owl:unionOf rdf:parseType="Collection">
+                    <rdf:Description rdf:about="&prov;End"/>
+                    <rdf:Description rdf:about="&prov;Generation"/>
+                    <rdf:Description rdf:about="&prov;Start"/>
+                    <rdf:Description rdf:about="&prov;Usage"/>
+                </owl:unionOf>
+            </owl:Class>
+        </rdfs:subClassOf>
+    </rdf:Description>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#Involvement -->
+
+    <rdf:Description rdf:about="&prov;Involvement">
+        <rdfs:subClassOf>
+            <owl:Class>
+                <owl:unionOf rdf:parseType="Collection">
+                    <rdf:Description rdf:about="&prov;ActivityInvolvement"/>
+                    <rdf:Description rdf:about="&prov;EntityInvolvement"/>
+                </owl:unionOf>
+            </owl:Class>
+        </rdfs:subClassOf>
+        <rdfs:subClassOf>
+            <owl:Restriction>
+                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov-o-full#wasInvolvedBy"/>
+                <owl:someValuesFrom rdf:resource="&prov;Element"/>
+            </owl:Restriction>
+        </rdfs:subClassOf>
+    </rdf:Description>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#StartByActivity -->
+
+    <rdf:Description rdf:about="&prov;StartByActivity">
+        <rdfs:subClassOf>
+            <owl:Restriction>
+                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov-o-full#wasInvolvedBy"/>
+                <owl:someValuesFrom rdf:resource="&prov;Activity"/>
+            </owl:Restriction>
+        </rdfs:subClassOf>
+    </rdf:Description>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#Usage -->
+
+    <rdf:Description rdf:about="&prov;Usage">
+        <rdfs:subClassOf>
+            <owl:Restriction>
+                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov-o-full#wasInvolvedBy"/>
+                <owl:someValuesFrom rdf:resource="&prov;Activity"/>
+            </owl:Restriction>
+        </rdfs:subClassOf>
+    </rdf:Description>
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
+    // General axioms
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    <rdf:Description>
+        <rdf:type rdf:resource="&owl;AllDisjointClasses"/>
+        <owl:members rdf:parseType="Collection">
+            <rdf:Description rdf:about="&prov;End"/>
+            <rdf:Description rdf:about="&prov;Generation"/>
+            <rdf:Description rdf:about="&prov;Start"/>
+            <rdf:Description rdf:about="&prov;Usage"/>
+        </owl:members>
+    </rdf:Description>
+    <rdf:Description>
+        <rdf:type rdf:resource="&owl;AllDisjointClasses"/>
+        <owl:members rdf:parseType="Collection">
+            <rdf:Description rdf:about="&prov;Organization"/>
+            <rdf:Description rdf:about="&prov;Person"/>
+            <rdf:Description rdf:about="&prov;System"/>
+        </owl:members>
+    </rdf:Description>
+</rdf:RDF>
+
+
+
+<!-- Generated by the OWL API (version 3.2.3.1824) http://owlapi.sourceforge.net -->
+
prov

Hosted by W3C Systems Team, please report bugs to sysreq@w3.org