account "scoping" - same entity uri in different accounts; and supporting owl axioms.
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/Account/different-accounts-can-include-the-same-entity.ttl Tue Nov 08 11:14:56 2011 -0500
@@ -0,0 +1,61 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix foaf: <http://xmlns.com/foaf/0.1/> .
+@prefix sd: <http://www.w3.org/ns/sparql-service-description#> .
+@prefix prov: <http://www.w3.org/ns/prov-o/> .
+@prefix : <#> .
+
+<http://example.org/id/account/1> {
+
+ <> a :TriGFile .
+
+ :container_1
+ a rdf:GraphContainer, prov:ProvenanceContainer;
+ sd:name <http://example.org/id/account/1>;
+ prov:inDataset <>;
+ .
+
+ :account_1
+ a prov:Account;
+ prov:wasGeneratedBy :assertion_1;
+ .
+ :assertion_1
+ a prov:AssertionProcessExecution;
+ prov:wasControlledBy <http://data.semanticweb.org/person/paolo-missier>;
+ prov:used :container_1;
+ rdfs:comment "Paolo said that Tim did it.";
+ prov:generated [ a rdf:Graph; rdf:value
+"""""<http://example.org/id/entity/2> prov:wasGeneratedBy <http://example.org/id/process-execution/0> .
+<http://example.org/id/process-execution/0>
+prov:wasControlledBy <http://purl.org/twc/id/person/TimLebo>;
+."""; ];
+ .
+
+ <http://example.org/id/entity/2> prov:wasGeneratedBy <http://example.org/id/process-execution/0> .
+ <http://example.org/id/process-execution/0>
+ prov:wasControlledBy <http://purl.org/twc/id/person/TimLebo>;
+ .
+}
+
+<http://example.org/id/account/2> {
+
+ :container_2
+ a rdf:GraphContainer, prov:ProvenanceContainer;
+ prov:hadLocation <>;
+ sd:name <http://example.org/id/account/2>;
+ prov:wasGeneratedBy [
+ a prov:AssertionProcessExecution;
+ ];
+ .
+
+ <http://example.org/id/entity/2> prov:wasGeneratedBy <http://example.org/id/process-execution/1> .
+ <http://example.org/id/process-execution/1> .
+ prov:wasControlledBy <http://data.semanticweb.org/person/luc-moreau>;
+ .
+
+ [ a owl:NegativeObjectPropertyAssertion;
+ owl:sourceIndividual <http://purl.org/twc/id/person/TimLebo>;
+ owl:annotatedProperty owl:sameAs;
+ owl:targetIndividual <http://data.semanticweb.org/person/luc-moreau>;
+ ] .
+}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/AssertionProcessExecution.ttl Tue Nov 08 11:14:56 2011 -0500
@@ -0,0 +1,23 @@
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@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#> .
+
+prov:AssertionProcessExecution
+ a owl:Class;
+ rdfs:label "AssertionProcessExecution";
+ rdfs:comment "A special activity where a controlling Agent 'asserts' a set of provenance assertions";
+ rdfs:subClassOf prov:ProcessExecution;
+ rdfs:subClassOf [
+ a owl:Restriction;
+ owl:onProperty prov:hadAsserter;
+ owl:minCardinality 1;
+ ];
+.
+
+prov:hadAsserter
+ a owl:ObjectProperty;
+ rdfs:label "hadAsserter";
+ rdfs:subPropertyOf prov:wasControlledBy;
+.
--- a/ontology/components/Control.ttl Tue Nov 08 16:04:40 2011 +0000
+++ b/ontology/components/Control.ttl Tue Nov 08 11:14:56 2011 -0500
@@ -15,6 +15,11 @@
prov:Control
a owl:Class;
rdfs:subClassOf prov:QualifiedInvolvement;
+ rdfs:subClassOf [
+ a owl:Restriction;
+ owl:onProperty prov:role;
+ owl:hasValue prov:controller;
+ ];
rdfs:comment "This class is reifying the triple from the ProcessExecution to the Entity: subClassOf onProperty rdf:predicate/owl:AnnotatedProperty; hasValue prov:wasControlledBy -tlebo 2011-11-06";
.
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/inDataset.ttl Tue Nov 08 11:14:56 2011 -0500
@@ -0,0 +1,12 @@
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@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#> .
+
+prov:inDataset
+ a owl:ObjectProperty;
+ rdfs:comment "This is a stand in to associate a rdf:GraphContainer to its 'location' - which RDF 1.1 would rather call 'dataset'. -tlebo 2011-11-08";
+ rdfs:comment "practically, this points to <> for a trig file or something close to the URI for the SPARQL endpoint service that offers RDF from a graph container";
+ rdfs:seeAlso <http://www.w3.org/2011/prov/wiki/Reflections_from_RDF-WG_F2F2#Just_give_me_a_URI.21>;
+.
--- a/ontology/components/role.ttl Tue Nov 08 16:04:40 2011 +0000
+++ b/ontology/components/role.ttl Tue Nov 08 11:14:56 2011 -0500
@@ -8,4 +8,23 @@
a owl:ObjectProperty;
rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#extensibility-section>;
rdfs:comment "The PROV-DM namespace declares a reserved qualifier: role.";
+ rdfs:domain prov:QualifiedInvolvement;
+ rdfs:range prov:Role;
.
+
+prov:Role
+ a owl:Class;
+ rdfs:label "Role";
+.
+
+prov:controller
+ a prov:Role
+ rdfs:label "controller";
+ rdfs:comment "The role of controling a ProcessExecution. This is an implied role when asserting wasControlledBy and qualifedControl.";
+.
+
+prov:participant
+ a prov:Role
+ rdfs:label "participant";
+ rdfs:comment "The role of participating in a ProcessExecution. This is an implied role when asserting hadParticipant and qualifiedParticipation..";
+.