ontology/components/Involvement.ttl
author Tim L <lebot@rpi.edu>
Fri, 17 Feb 2012 20:01:12 -0500
changeset 1603 739984da9cbe
parent 1602 ecc2d07239a3
child 1604 ee4567bc73a4
permissions -rw-r--r--
added prov:Inform as qualified form of wasInformedBy.
     1 @prefix owl:     <http://www.w3.org/2002/07/owl#> .
     2 @prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
     3 @prefix time:    <http://www.w3.org/2006/time#> .
     4 @prefix dcterms: <http://purl.org/dc/terms/> .
     5 @prefix prov:    <http://www.w3.org/ns/prov-o/> .
     6 
     7 prov:qualified
     8    a owl:ObjectProperty;
     9    rdfs:label "qualified";
    10    rdfs:comment "OBE(no need for subproperties; it's handled by the type of the object): The superproperty of qualifiedUsage, qualifiedGeneration, qualifiedParticipation, and qualifiedControl that associates some Activity or Entity with another Activity or Entity.";
    11    rdfs:domain [ owl:unionOf ( prov:Activity prov:Entity ) ];
    12    rdfs:range prov:Involvement;
    13 .
    14 
    15 prov:Involvement
    16    a owl:Class;
    17    rdfs:label "Involvement";
    18 .
    19 
    20 prov:EntityInvolvement
    21    a owl:Class;
    22    rdfs:label "EntityInvolvement";
    23    rdfs:subClassOf prov:Involvement;
    24    rdfs:subClassOf [
    25        owl:onProperty prov:entity;
    26        owl:minCardinality 1;
    27    ];
    28 .
    29 
    30 prov:Generation rdfs:subClassOf prov:EntityInvolvement .
    31 prov:Used rdfs:subClassOf prov:EntityInvolvement .
    32 prov:Association 
    33    rdfs:subClassOf prov:EntityInvolvement; 
    34    rdfs:subClassOf [ 
    35       owl:onProperty prov:entity; 
    36       owl:allValuesFrom :Agent 
    37    ];
    38 .
    39 
    40 prov:ActivityInvolvement
    41    a owl:Class;
    42    rdfs:label "ActivityInvolvement";
    43    rdfs:subClassOf prov:Involvement;
    44    rdfs:subClassOf [
    45        owl:onProperty prov:activity;
    46        owl:minCardinality 1;
    47    ];
    48 .
    49 
    50 prov:Inform
    51    a owl:Class;
    52    rdfs:comment "The Qualified form of the binary relation prov:wasInformedBy";
    53    rdfs:seeAlso prov:wasInformedBy;
    54 .
    55 
    56 prov:entity
    57    a owl:ObjectProperty;
    58    rdfs:label "entity";
    59    rdfs:comment "The Entity whose involvement (PE's used, hadParticipant, wasControlledBy, or generation) is being qualified.";
    60    rdfs:comment "This is effectively the rdf:object or owl:AnnotationTarget of the triple being reified.";
    61    rdfs:domain prov:EntityInvolvement;
    62    rdfs:range  prov:Entity;
    63 .
    64 
    65 prov:activity
    66    a owl:ObjectProperty;
    67    rdfs:label "entity";
    68    rdfs:comment "The Activity whose involvement is being qualified.";
    69    rdfs:comment "This is effectively the rdf:object or owl:AnnotationTarget of the triple being reified.";
    70    rdfs:domain prov:ActivityInvolvement;
    71    rdfs:range  prov:Activity;
    72 .