account "scoping" - same entity uri in different accounts; and supporting owl axioms.
authorTim L <lebot@rpi.edu>
Tue, 08 Nov 2011 11:14:56 -0500
changeset 850 7ef37443dc30
parent 849 b4bb824d3884
child 852 9b4d8ba863f5
child 854 f4253ad815ed
account "scoping" - same entity uri in different accounts; and supporting owl axioms.
ontology/components/Account/different-accounts-can-include-the-same-entity.ttl
ontology/components/AssertionProcessExecution.ttl
ontology/components/Control.ttl
ontology/components/inDataset.ttl
ontology/components/role.ttl
--- /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..";
+.