added prov:Inform as qualified form of wasInformedBy.
authorTim L <lebot@rpi.edu>
Fri, 17 Feb 2012 20:01:12 -0500
changeset 1603 739984da9cbe
parent 1602 ecc2d07239a3
child 1604 ee4567bc73a4
added prov:Inform as qualified form of wasInformedBy.
ontology/components/Involvement.ttl
ontology/components/QualifiedInvolvement.ttl
ontology/components/wasInformedBy.ttl
--- 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>;
 .