added prov:Inform as qualified form of wasInformedBy.
--- a/ontology/components/Involvement.ttl Fri Feb 17 19:09:42 2012 -0500
+++ b/ontology/components/Involvement.ttl Fri Feb 17 20:01:12 2012 -0500
@@ -47,6 +47,12 @@
];
.
+prov:Inform
+ a owl:Class;
+ rdfs:comment "The Qualified form of the binary relation prov:wasInformedBy";
+ rdfs:seeAlso prov:wasInformedBy;
+.
+
prov:entity
a owl:ObjectProperty;
rdfs:label "entity";
--- a/ontology/components/QualifiedInvolvement.ttl Fri Feb 17 19:09:42 2012 -0500
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,56 +0,0 @@
-@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://www.w3.org/ns/prov-o/> .
-
-prov:qualifiedInvolvement
- a owl:ObjectProperty;
- rdfs:label "qualifiedInvolvement";
- rdfs:comment "The superproperty of qualifiedUsage, qualifiedGeneration, qualifiedParticipation, and qualifiedControl that associates some Activity or Entity with another Activity or Entity.";
- rdfs:domain [ owl:unionOf ( prov:Activity prov:Entity ) ];
- rdfs:range prov:QualifiedInvolvement;
-.
-
-prov:QualifiedInvolvement
- a owl:Class;
- rdfs:label "QualifiedInvolvement";
-.
-
-prov:QualifiedEntityInvolvement
- a owl:Class;
- rdfs:label "QualifiedEntityInvolvement";
- rdfs:subClassOf prov:QualifiedInvolvement;
- rdfs:subClassOf [
- owl:onProperty prov:qualifiedEntity;
- owl:minCardinality 1;
- ];
-.
-
-prov:QualifiedActivityInvolvement
- a owl:Class;
- rdfs:label "QualifiedEntityInvolvement";
- rdfs:subClassOf prov:QualifiedInvolvement;
- rdfs:subClassOf [
- owl:onProperty prov:qualifiedActivity;
- owl:minCardinality 1;
- ];
-.
-
-prov:qualifiedEntity
- a owl:ObjectProperty;
- rdfs:label "entity";
- rdfs:comment "The Entity whose involvement (PE's used, hadParticipant, wasControlledBy, or generation) is being qualified.";
- rdfs:comment "This is effectively the rdf:object or owl:AnnotationTarget of the triple being reified.";
- rdfs:domain prov:QualifiedEntityInvolvement;
- rdfs:range prov:Entity;
-.
-
-prov:qualifiedActivity
- a owl:ObjectProperty;
- rdfs:label "entity";
- rdfs:comment "The Entity whose involvement (PE's used, hadParticipant, wasControlledBy, or generation) is being qualified.";
- rdfs:comment "This is effectively the rdf:object or owl:AnnotationTarget of the triple being reified.";
- rdfs:domain prov:QualifiedActivityInvolvement;
- rdfs:range prov:Activity;
-.
--- a/ontology/components/wasInformedBy.ttl Fri Feb 17 19:09:42 2012 -0500
+++ b/ontology/components/wasInformedBy.ttl Fri Feb 17 20:01:12 2012 -0500
@@ -9,8 +9,8 @@
prov:wasInformedBy
rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-OrderingOfProcessExecutions>;
- rdfs:domain prov:ProcessExecution;
- rdfs:range prov:ProcessExecution;
+ rdfs:domain prov:Activity;
+ rdfs:range prov:Activity;
rdfs:comment "A representation that an entity was generated by an activity, before it was used by another activity.";
rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-OrderingOfProcessExecutions>;
@@ -47,7 +47,7 @@
.
:narrative_to_axiom
- a prov:ProcessExecution;
+ a prov:Activity;
prov:generated :was:informedBy_not_transitive_axiom;
prov:wasControlledBy <http://purl.org/twc/id/person/TimLebo>;
.