merged
authorStian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Mon, 03 Oct 2011 09:17:07 +0100
changeset 439 12189d79c7c5
parent 438 bed11d62f5c9 (current diff)
parent 437 235d9d818585 (diff)
child 440 1e75425e2324
merged
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/component-aggregations/prov-variant-1.ttl	Mon Oct 03 09:17:07 2011 +0100
@@ -0,0 +1,8 @@
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix prov: <http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceOntology.owl#> .
+
+<> 
+   a owl:Ontology;
+   owl:imports <../components/Account.ttl>;
+.
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/Account.ttl	Mon Oct 03 09:17:07 2011 +0100
@@ -0,0 +1,34 @@
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix prov: <http://dvcs.w3.org/hg/prov/file/tip/ontology/ProvenanceOntology.owl#> .
+@prefix sd:   <http://www.w3.org/ns/sparql-service-description#> .
+
+prov:Account
+   a owl:Class;
+   rdfs:seeAlso <http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-Account>;
+   rdfs:comment "Account requires that the asserter be identified."
+   rdfs:subClassOf [
+      a owl:Restriction;
+      owl:onProperty prov:hasAsserter;
+      owl:minQualifiedCardinality 1;
+      owl:onClass    prov:Agent;
+   ];
+   rdfs:subClassOf [
+      a owl:Restriction;
+      owl:onProperty     prov:hasAssertions;
+      owl:minCardinality 1;
+   ];
+   rdfs:comment "An Account associates an asserting agent with some set of assertions, which are available from a ProvenanceContainer.";
+   rdfs:subClassOf [
+      a owl:Restriction;
+      owl:onProperty    prov:hasAssertions;
+      owl:allValuesFrom prov:ProvenanceContainer;
+   ];
+.
+
+prov:hasAssertions 
+   a owl:ObjectProperty;
+   rdfs:label "hasAssertions";
+   rdfs:comment "A reference to the assertions that an asserter has made. This could be to a named graph, a file, a URL, etc.";
+   rdfs:subPropertyOf prov:hasLocation;
+.
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/Account/tbl-jah-2.trig.prov.simple.ttl	Mon Oct 03 09:17:07 2011 +0100
@@ -0,0 +1,10 @@
+@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
+@prefix owl:     <http://www.w3.org/2002/07/owl#> .
+@prefix nfo:     <http://www.semanticdesktop.org/ontologies/2007/03/22/nfo#> .
+@prefix time:    <http://www.w3.org/2006/time#> .
+@prefix dcterms: <http://purl.org/dc/terms/> .
+@prefix prov:    <http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceOntology.owl#> .
+@prefix :        <tbl-jah-2.trig.prov.ttl#> .
+
+:result prov:wasDerivedFrom :original .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/Account/tbl-jah-2.trig.prov.ttl	Mon Oct 03 09:17:07 2011 +0100
@@ -0,0 +1,62 @@
+@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
+@prefix owl:     <http://www.w3.org/2002/07/owl#> .
+@prefix nfo:     <http://www.semanticdesktop.org/ontologies/2007/03/22/nfo#> .
+@prefix time:    <http://www.w3.org/2006/time#> .
+@prefix dcterms: <http://purl.org/dc/terms/> .
+@prefix prov:    <http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceOntology.owl#> .
+@prefix :        <#> .
+
+:process_execution
+   a prov:ProcessExecution;
+   dcterms:description "Tim copy-pasted tbl-jah.trig to tbl-jah-2.trig and added a couple triples from two foaf files on the web.";
+   time:hasBeginning [
+      a prov:Time, time:Instant;
+      time:inXSDDateTime "2011-10-02T11:42:39-04:00"^^xsd:dateTime; 
+   ];
+   prov:wasControlledBy [
+      a prov:Agent, prov:Role;
+      prov:assumedBy <http://purl.org/twc/id/person/TimLebo>;
+   ];
+   prov:used      :original, :tbl_foaf,   :jah_foaf;
+   prov:generated :result,   :provenance;
+   time:hasEnd [
+      a prov:Time, time:Instant;
+      time:inXSDDateTime "2011-10-02T17:44:04-04:00"^^xsd:dateTime; 
+   ];
+.
+
+:result prov:wasDerivedFrom :original .
+
+:original
+   a prov:Entity, :Input, :File;
+   nfo:fileUrl </Users/tlebo/Desktop/prov-wg/hg/prov/ontology/components/Account/tbl-jah.trig>;
+               <tbl-jay.trig>;  
+   nfo:fileSize 810;
+.
+:tbl_foaf
+   a prov:Entity, :Input, :URL;
+   prov:hasLocation <http://www.w3.org/People/Berners-Lee/card>;
+   nfo:fileSize 7977;
+.
+:jah_foaf
+   a prov:Entity, :Input, :URL;
+   prov:hasLocation <http://www.cs.rpi.edu/~hendler/foaf.rdf>;
+   nfo:fileSize 29158;
+.
+
+:result
+   a prov:Entity, :Output, :File;
+   nfo:fileUrl <file:///Users/tlebo/Desktop/prov-wg/hg/prov/ontology/components/Account/tbl-jah-2.trig>;
+               <tbl-jay-2.trig>; # This refers to the absolute path above (originally), but now refers to
+                                 # http://dvcs.w3.org/hg/prov/file/tip/ontology/components/Account/tbl-jah-2.trig
+                                 # and your local file on disk if you retrieved this URL.  
+   nfo:fileSize 1065;
+.
+:provenance
+   a prov:Entity, :Provenance, :File;
+   nfo:fileUrl <file:///Users/tlebo/Desktop/prov-wg/hg/prov/ontology/components/Account/tbl-jah-2.trig.prov.ttl>;
+               <tbl-jay-2.trig.prov.ttl>;  
+   rdfs:comment "This file is describing itself with this :Entity";
+   nfo:fileSize 2399;
+.
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/NamedGraph.ttl	Mon Oct 03 09:17:07 2011 +0100
@@ -0,0 +1,30 @@
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix prov: <http://dvcs.w3.org/hg/prov/file/tip/ontology/ProvenanceOntology.owl#> .
+@prefix sd:   <http://www.w3.org/ns/sparql-service-description#> .
+
+prov:NamedGraph
+   a owl:Class;
+   rdfs:subClassOf sd:NamedGraph, prov:Account;
+   rdfs:seeAlso <http://www.w3.org/TR/sparql11-service-description/>,
+                <https://github.com/timrdf/csv2rdf4lod-automation/raw/master/doc/ontology-diagrams/sparql-service-description-2010-10-31.pdf>,
+                <http://www.w3.org/2011/prov/wiki/Using_named_graphs_to_model_Accounts>,
+                <https://github.com/timrdf/csv2rdf4lod-automation/wiki/Naming-sparql-service-description%27s-sd:NamedGraph>;
+   rdfs:subClassOf [
+      a owl:Restriction;
+      owl:onProperty sd:name;
+      owl:cardinality 1;
+   ];
+   rdfs:subClassOf [
+      a owl:Restriction;
+      owl:onProperty prov:hasLocation;
+      owl:cardinality 1;
+   ];
+   rdfs:subClassOf [
+      a owl:Restriction;
+      owl:onProperty prov:lastModified;
+      owl:cardinality 1;
+   ];
+   owl:hasKey ( sd:name prov:hasLocation prov:lastModified );
+   rdfs:seeAlso <http://www.w3.org/TR/2009/REC-owl2-rdf-based-semantics-20091027/#Semantic_Conditions_for_Keys>;
+.
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/ProvenanceContainer.ttl	Mon Oct 03 09:17:07 2011 +0100
@@ -0,0 +1,32 @@
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix prov: <http://dvcs.w3.org/hg/prov/file/tip/ontology/ProvenanceOntology.owl#> .
+@prefix sd:   <http://www.w3.org/ns/sparql-service-description#> .
+
+prov:ProvenanceContainer
+   a owl:Class;
+   rdfs:seeAlso <http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#ProvenanceContainer>;
+   rdfs:comment "ProvenanceContainer cannot be asserted by an Agent; this is left to Account."
+   rdfs:comment "A provenance container is not an expression, but can be exploited to return all the provenance assertions in response to a request for the provenance of something.";
+   rdfs:subClassOf [
+      a owl:Restriction;
+      owl:onProperty prov:hasAsserter;
+      owl:maxCardinality 0;
+   ];
+.
+
+prov:JavaObjectInstance
+   a rdfs:subClassOf prov:ProvenanceContainer;
+.
+
+prov:WebService
+   a rdfs:subClassOf prov:ProvenanceContainer;
+.
+
+prov:File
+   a rdfs:subClassOf prov:ProvenanceContainer;
+.
+
+prov:NamedGraph
+   a rdfs:subClassOf prov:ProvenanceContainer;
+.
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/hasLocation.ttl	Mon Oct 03 09:17:07 2011 +0100
@@ -0,0 +1,3 @@
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix prov: <http://dvcs.w3.org/hg/prov/file/tip/ontology/ProvenanceOntology.owl#> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/lastModified.ttl	Mon Oct 03 09:17:07 2011 +0100
@@ -0,0 +1,9 @@
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix prov: <http://dvcs.w3.org/hg/prov/file/tip/ontology/ProvenanceOntology.owl#> .
+
+prov:lastModified
+   a owl:DatasetProperty;
+   rdfs:range xsd:dateTime;
+   rdfs:comment "The most recent modified time known. Should be constructed by selecting the maximum dcterms:modified value.";
+.
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/used.ttl	Mon Oct 03 09:17:07 2011 +0100
@@ -0,0 +1,11 @@
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix prov: <http://dvcs.w3.org/hg/prov/file/tip/ontology/ProvenanceOntology.owl#> .
+
+prov:used
+   a owl:ObjectProperty, 
+     owl:IrreflexiveProperty, 
+     owl:AsymmetricProperty;
+   rdfs:domain prov:ProcessExecution;
+   rdfs:range  prov:Entity;
+.
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/wasGeneratedBy.ttl	Mon Oct 03 09:17:07 2011 +0100
@@ -0,0 +1,9 @@
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix prov: <http://dvcs.w3.org/hg/prov/file/tip/ontology/ProvenanceOntology.owl#> .
+
+prov:wasGeneratedBy
+   a owl:ObjectProperty;
+   rdfs:domain prov:Entity;
+   rdfs:range  prov:ProcessExecution;
+.   
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/examples/ontology-extensions/readme.txt	Mon Oct 03 09:17:07 2011 +0100
@@ -0,0 +1,5 @@
+prov/ontology/examples/ontology-extensions/readme.txt
+
+Applications will extend the core ontology (prov/ontology/ProvenanceOntology.owl) for their specific domain. This directory contains example ontologies that extend the core ontology and the instance data using those extensions.
+
+TLebo 2011 09 12