ontology/prov.ttl
author Tim L <lebot@rpi.edu>
Mon, 07 May 2012 10:18:49 -0400
changeset 2718 bc9d5a763ed6
child 2720 4adc416d6429
permissions -rw-r--r--
added hadActivity and hadUsage to provo eg Derivation
     1 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     2 @prefix : <http://example.com/> .
     3 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
     4 @prefix prov: <http://www.w3.org/ns/prov#> .
     5 @prefix owl2xml: <http://www.w3.org/2006/12/owl2-xml#> .
     6 @prefix owl: <http://www.w3.org/2002/07/owl#> .
     7 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
     8 @prefix skos: <http://www.w3.org/2004/02/skos/core#> .
     9 
    10 rdfs:comment
    11     a owl:AnnotationProperty ;
    12     rdfs:comment ""@en .
    13 
    14 rdfs:label
    15     a owl:AnnotationProperty ;
    16     rdfs:comment ""@en .
    17 
    18 rdfs:seeAlso
    19     a owl:AnnotationProperty ;
    20     rdfs:comment ""@en .
    21 
    22 owl:Thing
    23     a owl:Class .
    24 
    25 owl:topObjectProperty
    26     a owl:ObjectProperty .
    27 
    28 <http://www.w3.org/ns/prov#>
    29     a owl:Ontology ;
    30     rdfs:comment "0.2"^^xsd:string, """This document is published by the Provenance Working Group (http://www.w3.org/2011/prov/wiki/Main_Page). 
    31 
    32 If you wish to make comments regarding this document, please send them to public-prov-wg@w3.org (subscribe, archives). All feedback is welcome."""@en ;
    33     rdfs:label "PROV Ontology"@en ;
    34     rdfs:seeAlso <http://www.w3.org/2011/prov/wiki/ProvRDF>, <http://www.w3.org/TR/prov#> .
    35 
    36 prov:Account
    37     a owl:Class ;
    38     rdfs:comment "Note that there are kinds of accounts (e.g. handwritten letters, audio recordings, etc.) that are not expressed in PROV-O, but can be still be described by PROV-O."@en ;
    39     rdfs:label "Account" ;
    40     rdfs:subClassOf prov:Entity ;
    41     prov:category "expanded" ;
    42     prov:definition "An account is any mechanism by which a set of provenance descriptions can be bundled up and named."^^xsd:anyURI ;
    43     prov:editorialNote """Accounts expressed in PROV-O (i.e. RDF) may be modeled using:
    44 
    45 :account1
    46    a prov:Account, sd:NamedGraph; 
    47    sd:name <>; 
    48    sd:graph [ a void:Dataset; void:dataDump <>; void:triples x ] .
    49 
    50 Abstract accounts that are independent of location may be modeled using:
    51 
    52 :account2
    53    a prov:Account, void:Dataset; 
    54    void:dataDump <>; 
    55     void:triples        x .
    56 
    57 
    58 (sd : http://www.w3.org/ns/sparql-service-description#)
    59 (void : http://rdfs.org/ns/void#)"""@en ;
    60     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#FurtherConsiderations" ;
    61     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#account-constraints" ;
    62     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#account" .
    63 
    64 prov:Activity
    65     a owl:Class ;
    66     rdfs:comment "An activity is something that occurs over a period of time and acts upon or with entities. This action can take multiple forms: consuming, processing, transforming, modifying, relocating, using, generating, or being associated with entities. Activities that operate on digital entities may for example move, copy, or duplicate them."@en ;
    67     rdfs:label "Activity" ;
    68     owl:disjointWith prov:Entity ;
    69     prov:category "starting-point" ;
    70     prov:component "entities-activities" ;
    71     prov:definition "An activity is something that occurs over a period of time and acts upon or with entities. This action can take multiple forms: consuming, processing, transforming, modifying, relocating, using, generating, or being associated with entities. Activities that operate on digital entities may for example move, copy, or duplicate them." ;
    72     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#section-entity-activity"^^xsd:anyURI ;
    73     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Activity" ;
    74     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Activity" .
    75 
    76 prov:ActivityInvolvement
    77     a owl:Class ;
    78     rdfs:comment "prov:ActivityInvolvement provides descriptions of any binary involvement between any instance and an prov:Activity."@en ;
    79     rdfs:label "ActivityInvolvement" ;
    80     rdfs:seeAlso prov:activity ;
    81     rdfs:subClassOf prov:Involvement ;
    82     owl:disjointWith prov:EntityInvolvement ;
    83     prov:category "qualified" .
    84 
    85 prov:Agent
    86     a owl:Class ;
    87     rdfs:comment "An agent is a type of entity that bears some form of responsibility for an activity taking place."@en ;
    88     rdfs:label "Agent" ;
    89     prov:category "starting-point" ;
    90     prov:component "agents-responsibility" ;
    91     prov:definition "An agent is a type of entity that bears some form of responsibility for an activity taking place." ;
    92     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Agent" ;
    93     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Agent" ;
    94     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Agent" .
    95 
    96 prov:AgentInvolvement
    97     a owl:Class ;
    98     rdfs:comment "prov:AgentInvolvement provides descriptions of any binary involvement between any instance and an prov:Agent."@en ;
    99     rdfs:label "AgentInvolvement" ;
   100     rdfs:seeAlso prov:agent ;
   101     rdfs:subClassOf prov:Involvement ;
   102     prov:category "qualified" .
   103 
   104 prov:Association
   105     a owl:Class ;
   106     rdfs:comment "An instance of prov:Association provides additional descriptions about the binary prov:wasAssociatedWith relation from an prov:Activity to some prov:Agent that is responsible for it. For example, :baking prov:wasAssociatedWith :baker; prov:qualified [ a prov:Association; prov:agent :baker; :foo :bar ]."@en ;
   107     rdfs:label "Association" ;
   108     rdfs:subClassOf prov:AgentInvolvement ;
   109     prov:category "qualified" ;
   110     prov:component "agents-responsibility" ;
   111     prov:definition "An activity association is an assignment of responsibility to an agent for an activity, indicating that the agent had a role in the activity. It further allows for a plan to be specified, which is the plan intended by the agent to achieve some goals in the context of this activity." ;
   112     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-ActivityAssociation" ;
   113     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Association" ;
   114     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Association" ;
   115     prov:unqualifiedForm prov:wasAssociatedWith .
   116 
   117 prov:Attribution
   118     a owl:Class ;
   119     rdfs:comment "An instance of prov:Attribution provides additional descriptions about the binary prov:wasAttributedTo relation from an prov:Entity to some prov:Agent that is responsible for it. For example, :cake prov:wasAttributedTo :baker; prov:qualified [ a prov:Attribution; prov:entity :baker; :foo :bar ]."@en ;
   120     rdfs:label "Attribution" ;
   121     rdfs:subClassOf prov:AgentInvolvement ;
   122     prov:category "qualified" ;
   123     prov:component "agents-responsibility" ;
   124     prov:definition "Attribution is the ascribing of an entity to an agent." ;
   125     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-attribution" ;
   126     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#recod-attribution" ;
   127     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-attribution" ;
   128     prov:unqualifiedForm prov:wasAttributedTo .
   129 
   130 prov:Communication
   131     a owl:Class ;
   132     rdfs:comment "An instance of prov:Communication provides additional descriptions about the binary prov:wasInformedBy relation from an informed prov:Activity to the prov:Activity that informed it. For example, :you_jumping_off_bridge prov:wasInformedBy :everyone_else_jumping_off_bridge; prov:qualifiedCommunication [ a prov:Communication; prov:entity :everyone_else_jumping_off_bridge; :foo :bar ]."@en ;
   133     rdfs:label "Communication" ;
   134     rdfs:subClassOf prov:ActivityInvolvement ;
   135     prov:category "qualified" ;
   136     prov:component "entities-activities" ;
   137     prov:definition "Communication is the exchange of an entity by two activities, one activity using the entity generated by the other." ;
   138     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-wasInformedBy" ;
   139     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Communication" ;
   140     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-wasInformedBy" ;
   141     prov:unqualifiedForm prov:wasInformedBy .
   142 
   143 prov:CompleteMembership
   144     a owl:Class ;
   145     rdfs:comment "Indicates that no other member belongs to the collection, that is all the prov:member stated for this CompleteMembership constitutes all members of the collection."@en ;
   146     rdfs:label "CompleteMembership"@en ;
   147     rdfs:subClassOf prov:Membership ;
   148     prov:category "collections" ;
   149     prov:component "collections"@en .
   150 
   151 prov:Derivation
   152     a owl:Class ;
   153     rdfs:comment "An instance of prov:Derivation provides additional descriptions about the binary prov:wasDerivedFrom relation from some prov:Entity to another prov:Entity. For example, :chewed_bubble_gum prov:wasDerivedFrom :unwrapped_bubble_gum; prov:qualified [ a prov:Derivation; prov:entity :unwrapped_bubble_gum; :foo :bar ]."@en ;
   154     rdfs:label "Derivation" ;
   155     rdfs:subClassOf prov:EntityInvolvement ;
   156     prov:category "qualified" ;
   157     prov:component "derivations" ;
   158     prov:definition "A derivation is a transformation of an entity into another, a construction of an entity into another, or an update of an entity, resulting in a new one." ;
   159     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#Derivation-Relation" ;
   160     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#Derivation-Relation" ;
   161     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#Derivation-Relation" ;
   162     prov:unqualifiedForm prov:wasDerivedFrom .
   163 
   164 prov:Dictionary
   165     a owl:Class ;
   166     rdfs:comment "A given dictionary forms a given structure for its members. A different structure (obtained either by insertion or removal of members) constitutes a different dictionary."@en, "This concept allows for the provenance of the dictionary, but also of its constituents to be expressed. Such a notion of dictionary corresponds to a wide variety of concrete data structures, such as a maps or associative arrays."@en ;
   167     rdfs:label "Dictionary"@en ;
   168     rdfs:subClassOf prov:Entity ;
   169     prov:category "collections" ;
   170     prov:component "collections" ;
   171     prov:definition "A dictionary is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be member of the dictionary." ;
   172     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#concept-collection", "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#section-types-entities-agents", "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection" ;
   173     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Collection" ;
   174     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#component5" .
   175 
   176 prov:DictionaryInvolvement
   177     a owl:Class ;
   178     rdfs:comment "prov:DictionaryInvolvement provides descriptions of any binary involvement between any instance and a prov:Dictionary."@en ;
   179     rdfs:subClassOf prov:Involvement ;
   180     prov:category "collections" ;
   181     prov:component "collections" .
   182 
   183 prov:EmptyDictionary
   184     a owl:Class ;
   185     rdfs:comment "An empty dictionary."@en ;
   186     rdfs:subClassOf prov:Dictionary ;
   187     prov:category "collections" ;
   188     prov:component "collections" .
   189 
   190 prov:End
   191     a owl:Class ;
   192     rdfs:comment "An instance of prov:End provides additional descriptions about the binary prov:wasEndedBy relation from some ended prov:Activity to an prov:Entity that ended it. For example, :ball_game prov:wasEndedBy :buzzer; prov:qualified [ a prov:Usage; prov:entity :buzzer; :foo :bar; prov:atTime '2012-03-09T08:05:08-05:00'^^xsd:dateTime ]."@en ;
   193     rdfs:label "End" ;
   194     rdfs:subClassOf prov:EntityInvolvement, prov:InstantaneousEvent ;
   195     prov:category "qualified" ;
   196     prov:component "entities-activities" ;
   197     prov:definition "An activity end event is the instantaneous event that marks the instant an activity ends." ;
   198     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-End" ;
   199     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-End", "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#types-of-events" ;
   200     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-End" ;
   201     prov:unqualifiedForm prov:wasEndedBy .
   202 
   203 prov:Entity
   204     a owl:Class ;
   205     rdfs:comment "An entity is a thing one wants to provide provenance for. For the purpose of this specification, things can be physical, digital, conceptual, or otherwise; things may be real or imaginary."@en ;
   206     rdfs:label "Entity" ;
   207     prov:category "starting-point" ;
   208     prov:component "entities-activities" ;
   209     prov:definition "An entity is a thing one wants to provide provenance for. For the purpose of this specification, things can be physical, digital, conceptual, or otherwise; things may be real or imaginary."@en ;
   210     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#section-entity-activity"^^xsd:anyURI ;
   211     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Entity" ;
   212     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Entity" .
   213 
   214 prov:EntityInvolvement
   215     a owl:Class ;
   216     rdfs:comment "prov:EntityInvolvement provides descriptions of any binary involvement between any instance and an prov:Entity."@en ;
   217     rdfs:label "EntityInvolvement" ;
   218     rdfs:seeAlso prov:entity ;
   219     rdfs:subClassOf prov:Involvement ;
   220     prov:category "qualified" .
   221 
   222 prov:Generation
   223     a owl:Class ;
   224     rdfs:comment "An instance of prov:Generation provides additional descriptions about the binary prov:wasGeneratedBy relation from a generated prov:Entity to the prov:Activity that generated it. For example, :cake prov:wasGeneratedBy :baking; prov:qualifiedGeneration [ a prov:Generation; prov:entity :baking; :foo :bar ]."@en ;
   225     rdfs:label "Generation" ;
   226     rdfs:subClassOf prov:ActivityInvolvement, prov:InstantaneousEvent ;
   227     prov:category "qualified" ;
   228     prov:component "entities-activities" ;
   229     prov:definition "An entity generation event is the instantaneous event that marks the final instant of an entity's creation timespan, after which it is no longer available for use." ;
   230     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Generation" ;
   231     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Generation", "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#types-of-events" ;
   232     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Generation" ;
   233     prov:unqualifiedForm prov:wasGeneratedBy .
   234 
   235 prov:Insertion
   236     a owl:Class ;
   237     rdfs:comment "Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-value pairs."@en ;
   238     rdfs:label "Insertion" ;
   239     rdfs:subClassOf prov:DictionaryInvolvement ;
   240     prov:category "collections" ;
   241     prov:component "collections" ;
   242     prov:definition "Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-value pairs." ;
   243     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-insertion" ;
   244     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Collection" ;
   245     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-collection-insertion" ;
   246     prov:unqualifiedForm prov:derivedByInsertionFrom .
   247 
   248 prov:InstantaneousEvent
   249     a owl:Class ;
   250     rdfs:comment "An instantaneous event, or event for short, happens in the world and marks a change in the world, in its activities and in its entities. The term 'event' is commonly used in process algebra with a similar meaning. Events represent communications or interactions; they are assumed to be atomic and instantaneous."@en ;
   251     rdfs:label "InstantaneousEvent" ;
   252     prov:category "qualified" ;
   253     prov:component "entities-activities" ;
   254     prov:definition "An instantaneous event, or event for short, happens in the world and marks a change in the world, in its activities and in its entities. The term 'event' is commonly used in process algebra with a similar meaning. Events represent communications or interactions; they are assumed to be atomic and instantaneous." ;
   255     prov:prov-dm "" ;
   256     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#section-time-event" ;
   257     prov:prov-n "" .
   258 
   259 prov:Invalidation
   260     a owl:Class ;
   261     rdfs:subClassOf prov:ActivityInvolvement, prov:InstantaneousEvent ;
   262     prov:category "qualified" ;
   263     prov:component "entities-activities" ;
   264     prov:definition "Invalidation is the start of the destruction, cessation, or expiry of an existing entity by an activity. The entity is no longer available for use after invalidation. Any generation or usage of an entity precedes its invalidation." ;
   265     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Invalidation" ;
   266     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#dfn-invalidation-event" ;
   267     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Invalidation" .
   268 
   269 prov:Involvement
   270     a owl:Class ;
   271     rdfs:comment "Any resource that involved an prov:Activity, prov:Entity, or prov:Agent can qualify its involvement by also referencing an instance of prov:Involvement. Instances of prov:Involvement reference the involved Activity, Entity, or Agent (using prov:activity, prov:entity, or prov:agent, respectively) and may be described with any kind of attributes, including user-defined attributes and those provided by PROV (prov:hadRole, prov:hadPlan, prov:atTime, prov:hadLocation). A description (via prov:Involvement) of the binary involvement implies the assertion of the binary involvement."@en ;
   272     rdfs:label "Involvement" ;
   273     prov:category "qualified" ;
   274     prov:editorialNote "For simplicity, the hierarchy 'stops' at the primary resources (Activity, Entity, Agent). Distinctions beyond the type of object involved are not necessary in PROV-O, but may be established by others." ;
   275     prov:unqualifiedForm prov:involved .
   276 
   277 prov:KeyValuePair
   278     a owl:Class ;
   279     rdfs:comment "A key-value pair. Part of a prov:Dictionary through prov:Membership. The key is any RDF Literal, the value is a prov:Entity."@en ;
   280     prov:category "collections" .
   281 
   282 prov:Location
   283     a owl:Class ;
   284     rdfs:comment "A location can be an identifiable geographic place (ISO 19112), but it can also be a non-geographic place such as a directory, row, or column. As such, there are numerous ways in which location can be expressed, such as by a coordinate, address, landmark, and so forth."@en ;
   285     rdfs:label "Location" ;
   286     rdfs:seeAlso prov:hadLocation ;
   287     prov:category "expanded" ;
   288     prov:definition "A location can be an identifiable geographic place (ISO 19112), but it can also be a non-geographic place such as a directory, row, or column. As such, there are numerous ways in which location can be expressed, such as by a coordinate, address, landmark, and so forth." ;
   289     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-attribute-location" ;
   290     prov:prov-dm-constraints "" ;
   291     prov:prov-n "" .
   292 
   293 prov:Membership
   294     a owl:Class ;
   295     rdfs:comment "Described members of a collection, in the form of key-value pairs. The Membership resource can also be annotated with attributes."@en ;
   296     prov:category "collections" ;
   297     prov:component "collections" ;
   298     prov:unqualifiedForm prov:membership .
   299 
   300 prov:Note
   301     a owl:Class ;
   302     rdfs:comment "Attribute-value pairs occurring in notes are application specific."@en ;
   303     rdfs:label "Note" ;
   304     rdfs:seeAlso prov:hasAnnotation ;
   305     prov:category "expanded" ;
   306     prov:component "annotations" ;
   307     prov:definition "Attribute-value pairs occurring in notes are application specific." ;
   308     prov:editorialNote "When using RDF, 'application-specific properties' directly describe the subject resource and do not require a prov:Note to distinguish them. When choosing how to model your application, note that prov:Note provides a level of indirection that is relatively unnatural in RDF when reflecting the purposes stated in PROV-DM. However, prov:Note may be effectively used in RDF for other purposes. Please also note that accounts are more appropriate mechanims for distinguishing 'who said what'; the indirection imposed by prov:Note is a poorer mechanism to model provenance of provenance." ;
   309     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-note" ;
   310     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-note" ;
   311     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-note" .
   312 
   313 prov:Organization
   314     a owl:Class ;
   315     rdfs:comment "Agents of type Organization are social institutions such as companies, societies etc."@en ;
   316     rdfs:label "Organization" ;
   317     rdfs:subClassOf prov:Agent ;
   318     prov:category "expanded" ;
   319     prov:component "agents-responsibility" ;
   320     prov:definition "Agents of type Organization are social institutions such as companies, societies etc." ;
   321     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Agent" ;
   322     prov:prov-dm-constraints "" ;
   323     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-types" .
   324 
   325 prov:Person
   326     a owl:Class ;
   327     rdfs:comment "Agents of type Person are people."@en ;
   328     rdfs:label "Person" ;
   329     rdfs:subClassOf prov:Agent ;
   330     prov:category "expanded" ;
   331     prov:component "agents-responsibility" ;
   332     prov:definition "Agents of type Person are people." ;
   333     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Agent" ;
   334     prov:prov-dm-constraints "" ;
   335     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-types" .
   336 
   337 prov:Plan
   338     a owl:Class ;
   339     rdfs:comment "There exist no prescriptive requirement on the nature of plans, their representation, the actions or steps they consist of, or their intended goals. Since plans may evolve over time, it may become necessary to track their provenance, so plans themselves are entities. Representing the plan explicitly in the provenance can be useful for various tasks: for example, to validate the execution as represented in the provenance record, to manage expectation failures, or to provide explanations."@en ;
   340     rdfs:label "Plan" ;
   341     rdfs:subClassOf prov:Entity ;
   342     prov:category "qualified" ;
   343     prov:component "agents-responsibility" ;
   344     prov:definition "A plan is an entity that represents a set of actions or steps intended by one or more agents to achieve some goals." ;
   345     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#section-types-entities-agents" ;
   346     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Association" ;
   347     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Association" .
   348 
   349 prov:Quotation
   350     a owl:Class ;
   351     rdfs:comment "An instance of prov:Quotation provides additional descriptions about the binary prov:wasQuotedFrom relation from some prov:Entity to another prov:Entity. For example, :here_is_looking_at_you_kid prov:wasQuotedFrom :casablanca_script; prov:qualified [ a prov:Quotation; prov:entity :casablanca_script; :foo :bar ]."@en ;
   352     rdfs:label "Quotation" ;
   353     rdfs:subClassOf prov:EntityInvolvement ;
   354     prov:category "qualified" ;
   355     prov:component "derivations" ;
   356     prov:definition "A quotation is the repeat of (some or all of) an entity, such as text or image, by someone other than its original author." ;
   357     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-quotation" ;
   358     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-quotation" ;
   359     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-quotation" ;
   360     prov:unqualifiedForm prov:wasQuotedFrom .
   361 
   362 prov:Removal
   363     a owl:Class ;
   364     rdfs:comment "Removal is a derivation that transforms a dictionary into another, by removing one or more key-value pairs."@en ;
   365     rdfs:label "Removal" ;
   366     rdfs:subClassOf prov:DictionaryInvolvement ;
   367     prov:category "collections" ;
   368     prov:component "collections" ;
   369     prov:definition "Removal is a derivation that transforms a dictionary into another, by removing one or more key-value pairs." ;
   370     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection-removal" ;
   371     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Collection" ;
   372     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-collection-removal" ;
   373     prov:unqualifiedForm prov:derivedByRemovalFrom .
   374 
   375 prov:Responsibility
   376     a owl:Class ;
   377     rdfs:comment "An instance of prov:Responsibility provides additional descriptions about the binary prov:actedOnBehalfOf relation from a performing prov:Agent to some prov:Agent for whom it was performed. For example, :mixing prov:wasAssociatedWith :toddler . :toddler prov:actedOnBehalfOf :mother; prov:qualified [ a prov:Responsiblity; prov:entity :mother; :foo :bar ]."@en ;
   378     rdfs:label "Responsibility" ;
   379     rdfs:subClassOf prov:AgentInvolvement ;
   380     prov:category "qualified" ;
   381     prov:component "agents-responsibility" ;
   382     prov:definition "Responsibility is the fact that an agent is accountable for the actions of a 'subordinate' agent, in the context of an activity." ;
   383     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-responsibility" ;
   384     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Responsibility" ;
   385     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-responsibility" ;
   386     prov:unqualifiedForm prov:actedOnBehalfOf .
   387 
   388 prov:Revision
   389     a owl:Class ;
   390     rdfs:comment "An instance of prov:Revision provides additional descriptions about the binary prov:wasRevisionOf relation from some prov:Entity to another prov:Entity. For example, :draft_2 prov:wasRevisionOf :draft_1; prov:qualified [ a prov:Source; prov:entity :draft_1; :foo :bar ]."@en ;
   391     rdfs:label "Revision" ;
   392     rdfs:subClassOf prov:EntityInvolvement ;
   393     prov:category "qualified" ;
   394     prov:component "derivations" ;
   395     prov:definition "A revision is a derivation that revises an entity into a revised version." ;
   396     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Revision" ;
   397     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Revision" ;
   398     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Revision" ;
   399     prov:unqualifiedForm prov:wasRevisionOf .
   400 
   401 prov:Role
   402     a owl:Class ;
   403     rdfs:comment "A Role is the function of an entity with respect to an activity, in the context of a usage, generation, association, start, and end."@en ;
   404     rdfs:label "Role" ;
   405     rdfs:seeAlso prov:hadRole ;
   406     prov:category "qualified" ;
   407     prov:component "agents-responsibility" ;
   408     prov:definition "A Role is the function of an entity with respect to an activity, in the context of a usage, generation, association, start, and end." ;
   409     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-attribute-role" ;
   410     prov:prov-dm-constraints "" ;
   411     prov:prov-n "" .
   412 
   413 prov:SoftwareAgent
   414     a owl:Class ;
   415     rdfs:comment "A software agent is running software."@en ;
   416     rdfs:label "SoftwareAgent" ;
   417     rdfs:subClassOf prov:Agent ;
   418     prov:category "expanded" ;
   419     prov:component "agents-responsibility" ;
   420     prov:definition "A software agent is running software." ;
   421     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Agent" ;
   422     prov:prov-dm-constraints "" ;
   423     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-types" .
   424 
   425 prov:Source
   426     a owl:Class ;
   427     rdfs:comment "An instance of prov:Source provides additional descriptions about the binary prov:hadOriginalSource relation from some prov:Entity to another prov:Entity. For example, :blog prov:hadOriginalSource :newsArticle; prov:qualified [ a prov:Source; prov:entity :newsArticle; :foo :bar ]."@en ;
   428     rdfs:label "Source" ;
   429     rdfs:subClassOf prov:EntityInvolvement ;
   430     prov:category "qualified" ;
   431     prov:component "derivations" ;
   432     prov:definition "An original source refers to the source material that is closest to the person, information, period, or idea being studied." ;
   433     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-original-source" ;
   434     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-orignal-source" ;
   435     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-original-source" ;
   436     prov:unqualifiedForm prov:hadOriginalSource .
   437 
   438 prov:Start
   439     a owl:Class ;
   440     rdfs:comment "An instance of prov:Start provides additional descriptions about the binary prov:wasStartedBy relation from some started prov:Activity to an prov:Entity that started it. For example, :foot_race prov:wasStartedBy :bang; prov:qualified [ a prov:Usage; prov:entity :bang; :foo :bar; prov:atTime '2012-03-09T08:05:08-05:00'^^xsd:dateTime ]."@en ;
   441     rdfs:label "Start" ;
   442     rdfs:subClassOf prov:EntityInvolvement, prov:InstantaneousEvent ;
   443     prov:category "qualified" ;
   444     prov:component "entities-activities" ;
   445     prov:definition "An activity start event is the instantaneous event that marks the instant an activity starts." ;
   446     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Start" ;
   447     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Start", "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#types-of-events" ;
   448     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Start" ;
   449     prov:unqualifiedForm prov:wasStartedBy .
   450 
   451 prov:StartByActivity
   452     a owl:Class ;
   453     rdfs:comment "An instance of prov:StartedByActivity provides additional descriptions about the binary prov:wasStartedByActivity relation from some started prov:Activity to another prov:Activity started it. For example, :second_leg_of_relay prov:wasStartedByActivity :handed_baton; prov:qualified [ a prov:Usage; prov:entity :handed_baton; :foo :bar; prov:atTime '2012-03-09T08:05:08-05:00'^^xsd:dateTime ]."@en ;
   454     rdfs:label "StartByActivity" ;
   455     rdfs:subClassOf prov:ActivityInvolvement ;
   456     prov:category "qualified" ;
   457     prov:component "entities-activities" ;
   458     prov:definition "Start by Activity is the start of an activity with an implicit trigger generated by another activity." ;
   459     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-wasStartedByActivity" ;
   460     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-StartByActivity", "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#types-of-events" ;
   461     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-startByActivity" ;
   462     prov:unqualifiedForm prov:wasStartedByActivity .
   463 
   464 prov:Trace
   465     a owl:Class ;
   466     rdfs:comment "An instance of prov:Trace provides additional descriptions about the binary prov:tracedTo relation from some prov:Entity to some other prov:Element. For example, :stomach_ache prov:tracedTo :spoon; prov:qualified [ a prov:Trace; prov:entity :spoon; :foo :bar ]."@en ;
   467     rdfs:label "Trace" ;
   468     rdfs:subClassOf prov:EntityInvolvement ;
   469     prov:category "qualified" ;
   470     prov:component "derivations" ;
   471     prov:definition "Traceability is the ability to link back an entity to another by means of derivation or responsibility relations, possibly repeatedly traversed." ;
   472     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-traceability" ;
   473     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-traceability" ;
   474     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-traceability" ;
   475     prov:unqualifiedForm prov:tracedTo .
   476 
   477 prov:Usage
   478     a owl:Class ;
   479     rdfs:comment "An instance of prov:Usage provides additional descriptions about the binary prov:used relation from some prov:Activity to an prov:Entity that it used. For example, :keynote prov:used :podium; prov:qualified [ a prov:Usage; prov:entity :podium; :foo :bar ]."@en ;
   480     rdfs:label "Usage" ;
   481     rdfs:subClassOf prov:EntityInvolvement, prov:InstantaneousEvent ;
   482     prov:category "qualified" ;
   483     prov:component "entities-activities" ;
   484     prov:definition "A usage is an instantaneous world event: an activity beginning to consume an entity. Before this event, the activity had not begun to consume or use to this entity." ;
   485     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Usage" ;
   486     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Usage", "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#types-of-events" ;
   487     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Usage" ;
   488     prov:unqualifiedForm prov:used .
   489 
   490 prov:actedOnBehalfOf
   491     a owl:ObjectProperty ;
   492     rdfs:comment "An object property to express the accountability of an agent towards another agent. The subordinate agent acted on behalf of the responsible agent in an actual activity. "@en ;
   493     rdfs:domain prov:Agent ;
   494     rdfs:range prov:Agent ;
   495     rdfs:subPropertyOf prov:involved ;
   496     owl:propertyChainAxiom (prov:qualifiedResponsibility
   497     ) ;
   498     prov:category "starting-point" ;
   499     prov:component "agents-responsibility" ;
   500     prov:inverse "responsibleFor" ;
   501     prov:qualifiedForm prov:Responsibility, prov:qualifiedResponsibility .
   502 
   503 prov:activity
   504     a owl:FunctionalProperty, owl:ObjectProperty ;
   505     rdfs:comment "The property used by an prov:ActivityInvolvement to cite the prov:Activity that was involved with either an Activity or Entity. It can be used to refer to the activity involved in generating an entity, informing another activity, or starting another activity."@en ;
   506     rdfs:domain prov:ActivityInvolvement ;
   507     rdfs:range prov:Activity ;
   508     rdfs:subPropertyOf prov:involvee ;
   509     prov:category "qualified" ;
   510     prov:editorialNote "This property behaves in spirit like rdf:object; it references the object of a prov:involved triple."@en ;
   511     prov:inverse "activityInvolvement" .
   512 
   513 prov:agent
   514     a owl:FunctionalProperty, owl:ObjectProperty ;
   515     rdfs:comment "The property used by a prov:AgentInvolvement to cite the Agent that was prov:involved with either an Activity or Entity. It can be used to express the agent involved in being responsible for an activity, being attributed to an entity, starting or ending an activity, or being responsible for another subordinate agent in an activity."@en ;
   516     rdfs:domain prov:AgentInvolvement ;
   517     rdfs:range prov:Agent ;
   518     rdfs:subPropertyOf prov:involvee ;
   519     prov:category "qualified" ;
   520     prov:component "alternate" ;
   521     prov:editorialNote "This property behaves in spirit like rdf:object; it references the object of a prov:involved triple." ;
   522     prov:inverse "agentInvolvement" .
   523 
   524 prov:alternateOf
   525     a owl:ObjectProperty ;
   526     rdfs:comment "An entity is alternate of another if they are both a specialization of some common entity. The common entity does not need to be identified."@en ;
   527     rdfs:domain prov:Entity ;
   528     rdfs:range prov:Entity ;
   529     rdfs:seeAlso prov:specializationOf ;
   530     rdfs:subPropertyOf owl:topObjectProperty ;
   531     prov:category "expanded" ;
   532     prov:component "alternate" ;
   533     prov:definition "An entity is alternate of another if they are both a specialization of some common entity. The common entity does not need to be identified."@en ;
   534     prov:inverse "alternateOf" ;
   535     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-alternate" ;
   536     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Alternate" ;
   537     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-alternate" .
   538 
   539 prov:atLocation
   540     a owl:AsymmetricProperty, owl:IrreflexiveProperty, owl:ObjectProperty ;
   541     rdfs:comment "Location is an optional attribute of Entity and Activity."@en ;
   542     rdfs:range prov:Location ;
   543     prov:category "expanded" ;
   544     prov:editorialNote "The naming of prov:atLocation parallels prov:atTime, and is not named prov:hadLocation to avoid conflicting with the convention that prov:had* properties are used on prov:Involvement classes.", "This property is not functional because the many values could be at a variety of granularies (In this building, in this room, in that chair)." ;
   545     prov:inverse "locationOf" .
   546 
   547 prov:atTime
   548     a owl:DatatypeProperty, owl:FunctionalProperty ;
   549     rdfs:domain prov:InstantaneousEvent ;
   550     rdfs:range xsd:dateTime ;
   551     prov:category "qualified" ;
   552     prov:component "entities-activities" .
   553 
   554 prov:category
   555     a owl:AnnotationProperty ;
   556     rdfs:comment "Classify prov-o terms into three categories, including 'starting-point', 'qualifed', and 'extended'. This classification is used by the prov-o html document to gently introduce prov-o terms to its users. "@en .
   557 
   558 prov:component
   559     a owl:AnnotationProperty ;
   560     rdfs:comment "Classify prov-o terms into six components according to prov-dm, including 'agents-responsibility', 'alternate', 'annotations', 'collections', 'derivations', and 'entities-activities'. This classification is used so that readers of prov-o specification can find its correspondence with the prov-dm specification."@en .
   561 
   562 prov:definition
   563     a owl:AnnotationProperty ;
   564     rdfs:comment "A definition quoted from PROV-DM or PROV-CONSTRAINTS that describes the concept expressed with this OWL term."@en .
   565 
   566 prov:derivedByInsertionFrom
   567     a owl:ObjectProperty ;
   568     rdfs:comment "The dictionary was derived from the other by insertion. prov:qualifiedInsertion shows details of the insertion, in particular the inserted key-value pairs."@en ;
   569     rdfs:domain prov:Dictionary ;
   570     rdfs:range prov:Dictionary ;
   571     rdfs:subPropertyOf prov:wasDerivedFrom ;
   572     owl:propertyChainAxiom (prov:qualifiedInsertion
   573     ) ;
   574     prov:category "collections" ;
   575     prov:component "collections" ;
   576     prov:inverse "hadDerivationByInsertion" ;
   577     prov:qualifiedForm prov:Insertion, prov:qualifiedInsertion .
   578 
   579 prov:derivedByRemovalFrom
   580     a owl:ObjectProperty ;
   581     rdfs:comment "The dictionary was derived from the other by removal. prov:qualifiedRemoval shows details of the removal, in particular the removed key-value pairs."@en ;
   582     rdfs:domain prov:Dictionary ;
   583     rdfs:range prov:Dictionary ;
   584     rdfs:subPropertyOf prov:wasDerivedFrom ;
   585     owl:propertyChainAxiom (prov:qualifiedRemoval
   586     ) ;
   587     prov:category "collections" ;
   588     prov:component "collections" ;
   589     prov:inverse "hadDerivationByRemoval" ;
   590     prov:qualifiedForm prov:Removal, prov:qualifiedRemoval .
   591 
   592 prov:dictionary
   593     a owl:ObjectProperty ;
   594     rdfs:comment "The property used by a prov:DictionaryInvolvement to cite the prov:Dictionary that was prov:involved in insertion or removal of elements of a collection. "@en ;
   595     rdfs:domain prov:DictionaryInvolvement ;
   596     rdfs:range prov:Dictionary ;
   597     rdfs:subPropertyOf prov:involvee ;
   598     prov:category "collections" ;
   599     prov:component "collections" ;
   600     prov:editorialNote "This property behaves in spirit like rdf:object; it references the object of a prov:involved triple." ;
   601     prov:inverse "dictionaryInvolvement" .
   602 
   603 prov:editorialNote
   604     a owl:AnnotationProperty ;
   605     rdfs:comment "A note by the OWL development team about how this term expresses the PROV-DM concept, or how it should be used in context of semantic web or linked data."@en .
   606 
   607 prov:endedAtTime
   608     a owl:DatatypeProperty, owl:FunctionalProperty ;
   609     rdfs:comment "The time when an activity ended."@en ;
   610     rdfs:domain prov:Activity ;
   611     rdfs:range xsd:dateTime ;
   612     prov:category "starting-point" ;
   613     prov:component "entities-activities" ;
   614     prov:qualifiedForm prov:End, prov:atTime .
   615 
   616 prov:entity
   617     a owl:FunctionalProperty, owl:ObjectProperty ;
   618     rdfs:comment "The property used by an prov:EntityInvolvement to cite the Entity that was prov:involved with either an Activity or Entity. It can be used to refer to the entity involved in deriving another entity, being quoted or revised from, being the source of another entity, or being used in an activity. "@en ;
   619     rdfs:domain prov:EntityInvolvement ;
   620     rdfs:range prov:Entity ;
   621     rdfs:subPropertyOf prov:involvee ;
   622     prov:category "qualified" ;
   623     prov:editorialNote "This property behaves in spirit like rdf:object; it references the object of a prov:involved triple."@en ;
   624     prov:inverse "entityInvolvement" .
   625 
   626 prov:generated
   627     a owl:ObjectProperty ;
   628     rdfs:comment "This inverse of prov:wasGeneratedBy is defined so that Activities being described can reference their generated outputs directly without needing to 'stop' and start describing the Entity. This helps 'Activity-centric' modeling as opposed to 'Entity-centric' modeling." ;
   629     rdfs:domain prov:Activity ;
   630     rdfs:range prov:Entity ;
   631     rdfs:subPropertyOf prov:involved ;
   632     owl:inverseOf prov:wasGeneratedBy ;
   633     prov:category "expanded" ;
   634     prov:component "entities-activities" ;
   635     prov:inverse "wasGeneratedBy" .
   636 
   637 prov:generatedAtTime
   638     a owl:DatatypeProperty ;
   639     rdfs:comment "The time at which an entity was completely created."@en ;
   640     rdfs:domain prov:Entity ;
   641     rdfs:range xsd:dateTime ;
   642     prov:category "starting-point" ;
   643     prov:component "entities-activities" ;
   644     prov:qualifiedForm prov:Generation, prov:atTime .
   645 
   646 prov:hadActivity
   647     a owl:FunctionalProperty, owl:ObjectProperty ;
   648     rdfs:comment "Optional: The Activity that is part of the Involvement, which used, generated, invalidated, or was the responsibility of some Entity."@en ;
   649     rdfs:domain prov:Involvement, [
   650         a owl:Class ;
   651         owl:unionOf (prov:Derivation
   652             prov:Invalidation
   653             prov:Responsibility
   654         )
   655     ] ;
   656     rdfs:range prov:Activity ;
   657     prov:category "qualified" ;
   658     prov:component "derivations" ;
   659     prov:editorialNote "The multiple rdfs:domain assertions are intended. One is simpler and works for OWL-RL, the union is more specific but is not recognized by OWL-RL." ;
   660     prov:inverse "wasActivityOfInvolvement" .
   661 
   662 prov:hadGeneration
   663     a owl:FunctionalProperty, owl:ObjectProperty ;
   664     rdfs:comment "The generation involving the generated entity and activity."@en ;
   665     rdfs:domain prov:Derivation ;
   666     rdfs:range prov:Generation ;
   667     prov:category "qualified" ;
   668     prov:component "derivations" ;
   669     prov:inverse "generatedAsDerivation" .
   670 
   671 prov:hadOriginalSource
   672     a owl:ObjectProperty ;
   673     rdfs:comment "An original source refers to the source material that is closest to the person, information, period, or idea being studied. An original source relation is a particular case of derivation that aims to give credit to the source that originated some information."@en ;
   674     rdfs:domain prov:Entity ;
   675     rdfs:range prov:Entity ;
   676     rdfs:subPropertyOf prov:wasDerivedFrom ;
   677     owl:propertyChainAxiom (prov:qualifiedSource
   678     ) ;
   679     prov:category "expanded" ;
   680     prov:component "derivations" ;
   681     prov:inverse "wasOriginalSourceOf" ;
   682     prov:qualifiedForm prov:Source, prov:qualifiedSource .
   683 
   684 prov:hadPlan
   685     a owl:AsymmetricProperty, owl:FunctionalProperty, owl:IrreflexiveProperty, owl:ObjectProperty ;
   686     rdfs:comment "The Activity performed was described by the given plan resource. Activity specifications, as referred to by plan links, are out of scope of this specification"@en ;
   687     rdfs:domain prov:Association ;
   688     rdfs:range prov:Plan ;
   689     prov:category "qualified" ;
   690     prov:component "agents-responsibility" ;
   691     prov:inverse "wasPlanFor" .
   692 
   693 prov:hadQuoted
   694     a owl:ObjectProperty ;
   695     rdfs:comment "The agent who attributed to the original entity."@en ;
   696     rdfs:domain prov:Quotation ;
   697     rdfs:range prov:Agent ;
   698     rdfs:subPropertyOf owl:topObjectProperty ;
   699     prov:category "qualified" ;
   700     prov:component "derivations" ;
   701     prov:inverse "wasQuotedIn" .
   702 
   703 prov:hadQuoter
   704     a owl:ObjectProperty ;
   705     rdfs:comment "The agent who is doing the quoting."@en ;
   706     rdfs:domain prov:Quotation ;
   707     rdfs:range prov:Agent ;
   708     rdfs:subPropertyOf owl:topObjectProperty ;
   709     prov:category "qualified" ;
   710     prov:component "derivations" ;
   711     prov:inverse "wasQuotingIn" .
   712 
   713 prov:hadRole
   714     a owl:IrreflexiveProperty, owl:ObjectProperty ;
   715     rdfs:comment "When an instance of prov:Involvement uses the prov:hadRole property to cite a prov:Role, it is providing a role for the instance referenced by the prov:entity or the prov:activity properties. For example, :baking prov:used :spoon; prov:qualified [ a prov:Usage; prov:entity :spoon; prov:hadRole roles:mixing_implement ]."@en ;
   716     rdfs:domain prov:Involvement, [
   717         a owl:Class ;
   718         owl:unionOf (prov:Association
   719             prov:End
   720             prov:Generation
   721             prov:Start
   722             prov:Usage
   723         )
   724     ] ;
   725     rdfs:range prov:Role ;
   726     prov:category "qualified" ;
   727     prov:component "agents-responsibility" ;
   728     prov:definition "prov:hadRole references the Role (i.e. the function of an entity with respect to an activity), in the context of a usage, generation, association, start, and end." ;
   729     prov:inverse "wasRoleIn" .
   730 
   731 prov:hadUsage
   732     a owl:FunctionalProperty, owl:ObjectProperty ;
   733     rdfs:comment "The usage involving the used entity and activity."@en ;
   734     rdfs:domain prov:Derivation ;
   735     rdfs:range prov:Usage ;
   736     prov:category "qualified" ;
   737     prov:component "derivations" ;
   738     prov:inverse "wasUsedInDerivation" .
   739 
   740 prov:hasAnnotation
   741     a owl:ObjectProperty ;
   742     rdfs:range prov:Note ;
   743     prov:category "expanded" ;
   744     prov:component "annotations" ;
   745     prov:inverse "annotates" .
   746 
   747 prov:inserted
   748     a owl:ObjectProperty ;
   749     rdfs:comment "An object property to refer to the prov:KeyValuePair inserted into a prov:Dictionary."@en ;
   750     rdfs:domain prov:Insertion ;
   751     rdfs:range prov:KeyValuePair ;
   752     prov:category "collections" ;
   753     prov:component "collections" ;
   754     prov:inverse "wasInsertedBy" .
   755 
   756 prov:invalidatedAtTime
   757     a owl:DatatypeProperty ;
   758     rdfs:comment "The time at which the entity began to be invalidated."@en ;
   759     rdfs:domain prov:Entity ;
   760     rdfs:range xsd:dateTime ;
   761     prov:category "starting-point" ;
   762     prov:component "entities-activities" ;
   763     prov:qualifiedForm prov:Invalidation, prov:atTime .
   764 
   765 prov:inverse
   766     a owl:AnnotationProperty ;
   767     rdfs:comment "PROV-O does not define all property inverses. The directionalities defined in PROV-O should be given preference over those not defined. However, if users wish to name the inverse of a PROV-O property, the local name given by prov:inverse should be used."@en .
   768 
   769 prov:involved
   770     a owl:ObjectProperty ;
   771     rdfs:comment """Subproperties of prov:involved may be be qualified by creating instances of a corresponding prov:Involvement class. For example, the binary relation :baking prov:used :spoon can be qualified by asserting :baking prov:qualified [ a prov:Usage; prov:entity :baking; :foo :bar ]
   772 
   773 prov:involved should not be used without also using one of its subproperties.
   774 
   775 Subproperties of prov:involved may also be asserted directly without being qualified."""@en ;
   776     prov:category "qualified" ;
   777     prov:inverse "wasInvolvedWith" .
   778 
   779 prov:involvee
   780     a owl:ObjectProperty ;
   781     rdfs:comment "Subproperties of prov:involvee are used to cite the object of an unqualified PROV-O triple whose predicate is a subproperty of prov:involved (e.g. prov:used, prov:wasGeneratedBy). prov:involvee is used much like rdf:object is used." ;
   782     rdfs:domain prov:Involvement ;
   783     prov:category "qualified" ;
   784     prov:inverse "involvement" .
   785 
   786 prov:key
   787     a owl:DatatypeProperty, owl:FunctionalProperty ;
   788     rdfs:comment "The key of a KeyValuePair, which is an element of a prov:Dictionary."@en ;
   789     rdfs:domain prov:KeyValuePair ;
   790     rdfs:range rdfs:Literal ;
   791     prov:category "collections" ;
   792     prov:component "collections" .
   793 
   794 prov:member
   795     a owl:ObjectProperty ;
   796     rdfs:comment "The key-value pair was part of the membership. A membership can have multiple members."@en ;
   797     rdfs:domain prov:Membership ;
   798     rdfs:range prov:KeyValuePair ;
   799     prov:category "collections" ;
   800     prov:component "collections" ;
   801     prov:inverse "inMembership" .
   802 
   803 prov:membership
   804     a owl:ObjectProperty ;
   805     rdfs:comment "The collection included the specified membership of keys-values."@en ;
   806     rdfs:domain prov:Dictionary ;
   807     rdfs:range prov:Membership ;
   808     prov:category "collections" ;
   809     prov:component "collections" ;
   810     prov:inverse "membershipOf" .
   811 
   812 prov:prov-dm
   813     a owl:AnnotationProperty ;
   814     rdfs:comment "A reference to the principal section of the PROV-DM document that describes this concept."@en ;
   815     rdfs:subPropertyOf rdfs:seeAlso .
   816 
   817 prov:prov-dm-constraints
   818     a owl:AnnotationProperty ;
   819     rdfs:comment "A reference to the principal section of the PROV-CONSTRAINTS document that describes this concept."@en ;
   820     rdfs:subPropertyOf rdfs:seeAlso .
   821 
   822 prov:prov-n
   823     a owl:AnnotationProperty ;
   824     rdfs:comment "A reference to the principal section of the PROV-M document that describes this concept."@en ;
   825     rdfs:subPropertyOf rdfs:seeAlso .
   826 
   827 prov:qualifiedAssociation
   828     a owl:InverseFunctionalProperty, owl:ObjectProperty ;
   829     rdfs:comment "If this Activity prov:wasAssociatedWith Agent :ag, then it can qualify the Association using prov:qualifiedAssociation [ a prov:Association;  prov:agent :ag; :foo :bar ]."@en ;
   830     rdfs:domain prov:Activity ;
   831     rdfs:range prov:Association ;
   832     prov:category "qualified" ;
   833     prov:component "agents-responsibility" ;
   834     prov:inverse "associatedActivity" ;
   835     prov:unqualifiedForm prov:wasAssociatedWith .
   836 
   837 prov:qualifiedAttribution
   838     a owl:InverseFunctionalProperty, owl:ObjectProperty ;
   839     rdfs:comment "If this Entity prov:wasAttributedTo Agent :ag, then it can qualify how it was  using prov:qualifiedAttribution [ a prov:Attribution;  prov:agent :ag; :foo :bar ]."@en ;
   840     rdfs:domain prov:Entity ;
   841     rdfs:range prov:Attribution ;
   842     prov:category "qualified" ;
   843     prov:component "agents-responsibility" ;
   844     prov:inverse "attributedEntity" ;
   845     prov:unqualifiedForm prov:wasAttributedTo .
   846 
   847 prov:qualifiedCommunication
   848     a owl:InverseFunctionalProperty, owl:ObjectProperty ;
   849     rdfs:comment "If this Activity prov:wasInformedBy Activity :a, then it can qualify how it was Inform[ed] using prov:qualifiedCommunication [ a prov:Communication;  prov:activity :a; :foo :bar ]."@en ;
   850     rdfs:domain prov:Activity ;
   851     rdfs:range prov:Communication ;
   852     prov:category "qualified" ;
   853     prov:component "entities-activities" ;
   854     prov:inverse "informedActivity" ;
   855     prov:qualifiedForm prov:Communication .
   856 
   857 prov:qualifiedDerivation
   858     a owl:InverseFunctionalProperty, owl:ObjectProperty ;
   859     rdfs:comment "If this Entity prov:wasDerivedFrom Entity :e, then it can qualify how it was derived using prov:qualifiedDerivation [ a prov:Derivation;  prov:entity :e; :foo :bar ]."@en ;
   860     rdfs:domain prov:Entity ;
   861     rdfs:range prov:Derivation ;
   862     prov:category "qualified" ;
   863     prov:component "derivations" ;
   864     prov:inverse "derivedEntity" ;
   865     prov:unqualifiedForm prov:wasDerivedFrom .
   866 
   867 prov:qualifiedEnd
   868     a owl:InverseFunctionalProperty, owl:ObjectProperty ;
   869     rdfs:comment "If this Activity prov:wasEndedBy Entity :e1, then it can qualify how it was ended using prov:qualifiedEnd [ a prov:End;  prov:entity :e1; :foo :bar ]."@en ;
   870     rdfs:domain prov:Activity ;
   871     rdfs:range prov:End ;
   872     prov:category "qualified" ;
   873     prov:component "entities-activities" ;
   874     prov:inverse "endedActivity" ;
   875     prov:unqualifiedForm prov:wasEndedBy .
   876 
   877 prov:qualifiedForm
   878     a owl:AnnotationProperty ;
   879     rdfs:comment """This annotation property links a prov:involved subproperty with a prov:Involved subclass. This indicates that the property can be qualified by using prov:qualified. 
   880 
   881 Example:
   882     prov:wasGeneratedBy prov:qualifiedForm prov:Generation .
   883 
   884 Then this unqualified assertion:
   885     :entity1 prov:wasGeneratedBy :activity1 .
   886 
   887 can be qualified by adding:
   888    :entity1 prov:qualified :entity1Gen .
   889    :entity1Gen a prov:Generation;
   890        prov:activity :activity1 ;
   891        :customValue 1337 .
   892 
   893 Note how the range of the unqualified property is mirrored by the prov:activity or prov:entity on the involvement class."""@en ;
   894     rdfs:subPropertyOf rdfs:seeAlso .
   895 
   896 prov:qualifiedGeneration
   897     a owl:InverseFunctionalProperty, owl:ObjectProperty ;
   898     rdfs:comment "If this Activity prov:generated Entity :e, then it can qualify how it did performed the Generation using prov:qualifiedGeneration [ a prov:Generation;  prov:entity :e; :foo :bar ]."@en ;
   899     rdfs:domain prov:Entity ;
   900     rdfs:range prov:Generation ;
   901     prov:category "qualified" ;
   902     prov:component "entities-activities" ;
   903     prov:inverse "generatedEntity" ;
   904     prov:unqualifiedForm prov:wasGeneratedBy .
   905 
   906 prov:qualifiedInsertion
   907     a owl:ObjectProperty ;
   908     rdfs:comment "If this Dictionary prov:derivedByInsertionFrom another Dictionary :e, then it can qualify how it did perform the Insertion using prov:qualifiedInsertion [ a prov:Insertion;  prov:dictionary :e; prov:inserted [a prov:KeyValuePair; prov:key \"k1\"^^xsd:string; prov:value :foo] ]."@en ;
   909     rdfs:domain prov:Dictionary ;
   910     rdfs:range prov:Insertion ;
   911     prov:category "collections" ;
   912     prov:component "collections" ;
   913     prov:inverse "insertedToDictionary" ;
   914     prov:unqualifiedForm prov:derivedByInsertionFrom .
   915 
   916 prov:qualifiedQuotation
   917     a owl:InverseFunctionalProperty, owl:ObjectProperty ;
   918     rdfs:comment "If this Entity prov:wasQuotedFrom Entity :e, then it can qualify how using prov:qualifiedQuotation [ a prov:Quotation;  prov:entity :e; :foo :bar ]."@en ;
   919     rdfs:domain prov:Entity ;
   920     rdfs:range prov:Quotation ;
   921     prov:category "qualified" ;
   922     prov:component "derivations" ;
   923     prov:inverse "quotedByEntity" ;
   924     prov:unqualifiedForm prov:wasQuotedFrom .
   925 
   926 prov:qualifiedRemoval
   927     a owl:ObjectProperty ;
   928     rdfs:comment "If this Dictionary prov:derivedByRemovalFrom another Dictionary :e, then it can qualify how it did perform the Removal using prov:qualifiedRemoval [ a prov:Removal;  prov:dictionary :c; prov:removed \"k1\"^^xsd:string ]."@en ;
   929     rdfs:domain prov:Dictionary ;
   930     rdfs:range prov:Removal ;
   931     prov:category "collections" ;
   932     prov:component "collections" ;
   933     prov:inverse "removedFromDictionary" ;
   934     prov:unqualifiedForm prov:derivedByRemovalFrom .
   935 
   936 prov:qualifiedResponsibility
   937     a owl:InverseFunctionalProperty, owl:ObjectProperty ;
   938     rdfs:comment "If this Agent prov:actedOnBehalfOf Agent :ag, then it can qualify how with prov:qualifiedResponsibility [ a prov:Responsibility;  prov:agent :ag; :foo :bar ]."@en ;
   939     rdfs:domain prov:Agent ;
   940     rdfs:range prov:Responsibility ;
   941     prov:category "qualified" ;
   942     prov:component "agents-responsibility" ;
   943     prov:inverse "responsibleAgent" ;
   944     prov:unqualifiedForm prov:actedOnBehalfOf .
   945 
   946 prov:qualifiedRevision
   947     a owl:InverseFunctionalProperty, owl:ObjectProperty ;
   948     rdfs:comment "If this Entity prov:wasRevisionOf Entity :e, then it can qualify how it was  revised using prov:qualifiedRevision [ a prov:Revision;  prov:entity :e; :foo :bar ]."@en ;
   949     rdfs:domain prov:Entity ;
   950     rdfs:range prov:Revision ;
   951     prov:category "qualified" ;
   952     prov:component "derivations" ;
   953     prov:inverse "revisedEntity" ;
   954     prov:unqualifiedForm prov:wasRevisionOf .
   955 
   956 prov:qualifiedSource
   957     a owl:InverseFunctionalProperty, owl:ObjectProperty ;
   958     rdfs:comment "If this Entity prov:hadOriginalSource Entity :e, then it can qualify how using prov:qualifiedSource [ a prov:Source; prov:entity :e; :foo :bar ]."@en ;
   959     rdfs:domain prov:Entity ;
   960     rdfs:range prov:Source ;
   961     prov:category "qualified" ;
   962     prov:component "derivations" ;
   963     prov:inverse "sourcingEntity" ;
   964     prov:unqualifiedForm prov:hadOriginalSource .
   965 
   966 prov:qualifiedStart
   967     a owl:InverseFunctionalProperty, owl:ObjectProperty ;
   968     rdfs:comment "If this Activity prov:wasStartedBy Entity :e1, then it can qualify how it was started using prov:qualifiedStart [ a prov:Start;  prov:entity :e1; :foo :bar ]."@en ;
   969     rdfs:domain prov:Activity ;
   970     rdfs:range prov:Start ;
   971     prov:category "qualified" ;
   972     prov:component "entities-activities" ;
   973     prov:inverse "startedActivity" ;
   974     prov:unqualifiedForm prov:wasStartedBy .
   975 
   976 prov:qualifiedStartByActivity
   977     a owl:InverseFunctionalProperty, owl:ObjectProperty ;
   978     rdfs:comment "If this Activity prov:wasStartedByActivity :a, then it can qualify how it was started using prov:qualifiedStart [ a prov:Start;  prov:activity :a; :foo :bar ]."@en ;
   979     rdfs:domain prov:Activity ;
   980     rdfs:range prov:StartByActivity ;
   981     prov:category "qualified" ;
   982     prov:component "entities-activities" ;
   983     prov:inverse "activityStartedActivity" ;
   984     prov:unqualifiedForm prov:wasStartedByActivity .
   985 
   986 prov:qualifiedTrace
   987     a owl:InverseFunctionalProperty, owl:ObjectProperty ;
   988     rdfs:comment "If this prov:wasAttributedTo Entity :e, then it can qualify how using prov:qualifiedTrace [ a prov:Trace;  prov:entity :e; :foo :bar ]. If this prov:wasAttributedTo Activity :a, then it can qualify how using prov:qualifiedTrace [ a prov:Trace;  prov:activity :a; :foo :bar ]."@en ;
   989     rdfs:domain prov:Entity ;
   990     rdfs:range prov:Trace ;
   991     prov:category "qualified" ;
   992     prov:component "derivations" ;
   993     prov:inverse "tracedEntity" ;
   994     prov:unqualifiedForm prov:tracedTo .
   995 
   996 prov:qualifiedUsage
   997     a owl:InverseFunctionalProperty, owl:ObjectProperty ;
   998     rdfs:comment "If this Activity prov:used Entity :e, then it can qualify how it used it using prov:qualifiedUsage [ a prov:Usage; prov:entity :e; :foo :bar ]."@en ;
   999     rdfs:domain prov:Activity ;
  1000     rdfs:range prov:Usage ;
  1001     prov:category "qualified" ;
  1002     prov:component "entities-activities" ;
  1003     prov:inverse "consumingActivity" ;
  1004     prov:unqualifiedForm prov:used .
  1005 
  1006 prov:removedKey
  1007     a owl:DatatypeProperty ;
  1008     rdfs:comment "The key removed in a Removal."@en ;
  1009     rdfs:domain prov:Removal ;
  1010     rdfs:range rdfs:Literal ;
  1011     prov:category "collections" ;
  1012     prov:component "collections" .
  1013 
  1014 prov:specializationOf
  1015     a owl:ObjectProperty ;
  1016     rdfs:comment "An entity is a specialization of another if they both refer to some common thing but the former is a more constrained entity than the former. The common entity does not need to be identified."@en ;
  1017     rdfs:domain prov:Entity ;
  1018     rdfs:range prov:Entity ;
  1019     rdfs:seeAlso prov:alternateOf ;
  1020     rdfs:subPropertyOf owl:topObjectProperty ;
  1021     prov:category "expanded" ;
  1022     prov:component "alternate" ;
  1023     prov:definition "An entity is a specialization of another if they both refer to some common thing but the former is a more constrained entity than the former. The common entity does not need to be identified." ;
  1024     prov:inverse "generalizationOf" ;
  1025     prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-specialization" ;
  1026     prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Specialization" ;
  1027     prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-specialization" .
  1028 
  1029 prov:startedAtTime
  1030     a owl:DatatypeProperty, owl:FunctionalProperty ;
  1031     rdfs:comment "The time when an activity started."@en ;
  1032     rdfs:domain prov:Activity ;
  1033     rdfs:range xsd:dateTime ;
  1034     prov:category "starting-point" ;
  1035     prov:component "entities-activities" ;
  1036     prov:qualifiedForm prov:Start, prov:atTime .
  1037 
  1038 prov:todo
  1039     a owl:AnnotationProperty .
  1040 
  1041 prov:tracedTo
  1042     a owl:ObjectProperty, owl:TransitiveProperty ;
  1043     rdfs:comment "An object property to link back an entity to another by means of derivation or responsibility relations, possibly repeatedly traversed."@en ;
  1044     rdfs:domain prov:Entity ;
  1045     rdfs:range prov:Entity ;
  1046     rdfs:subPropertyOf prov:involved ;
  1047     owl:propertyChainAxiom (prov:qualifiedTrace
  1048     ) ;
  1049     prov:category "expanded" ;
  1050     prov:component "derivations" ;
  1051     prov:inverse "tracedFrom" ;
  1052     prov:qualifiedForm prov:Trace, prov:qualifiedTrace .
  1053 
  1054 prov:unqualifiedForm
  1055     a owl:AnnotationProperty ;
  1056     rdfs:comment "Classes and properties used to qualify relationships are annotated with prov:unqualifiedForm to indicate the property used to assert an unqualified provenance relation."@en ;
  1057     rdfs:subPropertyOf rdfs:seeAlso .
  1058 
  1059 prov:used
  1060     a owl:AsymmetricProperty, owl:IrreflexiveProperty, owl:ObjectProperty ;
  1061     rdfs:comment "A prov:Entity that was used by this prov:Activity. For example, :baking prov:used :spoon, :egg, :oven ."@en ;
  1062     rdfs:domain prov:Activity ;
  1063     rdfs:range prov:Entity ;
  1064     rdfs:subPropertyOf prov:involved ;
  1065     owl:propertyChainAxiom (prov:qualifiedUsage
  1066     ) ;
  1067     prov:category "starting-point" ;
  1068     prov:component "entities-activities" ;
  1069     prov:inverse "wasUsedBy" ;
  1070     prov:qualifiedForm prov:Usage, prov:qualifiedUsage .
  1071 
  1072 prov:value
  1073     a owl:FunctionalProperty, owl:ObjectProperty ;
  1074     rdfs:comment "The value of a KeyValuePair."@en ;
  1075     rdfs:domain prov:KeyValuePair ;
  1076     rdfs:range prov:Entity ;
  1077     prov:category "collections" ;
  1078     prov:component "collections" ;
  1079     prov:inverse "valueOf" .
  1080 
  1081 prov:wasApprovedBy
  1082     a owl:ObjectProperty ;
  1083     rdfs:comment "The agent who approved the revision."@en ;
  1084     rdfs:domain prov:Revision ;
  1085     rdfs:range prov:Agent ;
  1086     prov:category "qualified" ;
  1087     prov:component "derivations" ;
  1088     prov:definition "responsibility: an optional identifier (ag) for the agent who approved the newer entity as a variant of the older"@en ;
  1089     prov:inverse "approvedRevision"@en .
  1090 
  1091 prov:wasAssociatedWith
  1092     a owl:ObjectProperty ;
  1093     rdfs:comment "An prov:Agent that had some (unspecified) responsibility for the occurrence of this prov:Activity."@en ;
  1094     rdfs:domain prov:Activity ;
  1095     rdfs:range prov:Agent ;
  1096     rdfs:subPropertyOf prov:involved ;
  1097     owl:propertyChainAxiom (prov:qualifiedAssociation
  1098     ) ;
  1099     prov:category "starting-point" ;
  1100     prov:component "agents-responsibility" ;
  1101     prov:inverse "wasAssociateFor" ;
  1102     prov:qualifiedForm prov:Association, prov:qualifiedAssociation .
  1103 
  1104 prov:wasAttributedTo
  1105     a owl:ObjectProperty ;
  1106     rdfs:comment "Attribution is the ascribing of an entity to an agent."@en ;
  1107     rdfs:domain prov:Entity ;
  1108     rdfs:range prov:Agent ;
  1109     rdfs:subPropertyOf prov:tracedTo ;
  1110     owl:propertyChainAxiom (prov:qualifiedAttribution
  1111     ) ;
  1112     prov:category "starting-point" ;
  1113     prov:component "agents-responsibility" ;
  1114     prov:definition "Attribution is the ascribing of an entity to an agent." ;
  1115     prov:inverse "contributed" ;
  1116     prov:qualifiedForm prov:Attribution, prov:qualifiedAttribution .
  1117 
  1118 prov:wasDerivedFrom
  1119     a owl:AsymmetricProperty, owl:IrreflexiveProperty, owl:ObjectProperty ;
  1120     rdfs:comment "A derivation is a transformation of an entity into another, a construction of an entity into another, or an update of an entity, resulting in a new one."@en ;
  1121     rdfs:domain prov:Entity ;
  1122     rdfs:range prov:Entity ;
  1123     rdfs:subPropertyOf prov:tracedTo ;
  1124     owl:propertyChainAxiom (prov:qualifiedDerivation
  1125     ) ;
  1126     prov:category "starting-point" ;
  1127     prov:component "derivations" ;
  1128     prov:definition "A derivation is a transformation of an entity into another, a construction of an entity into another, or an update of an entity, resulting in a new one."@en ;
  1129     prov:inverse "hadDerivation" ;
  1130     prov:qualifiedForm prov:Derivation, prov:qualifiedDerivation .
  1131 
  1132 prov:wasEndedBy
  1133     a owl:ObjectProperty ;
  1134     rdfs:comment "End is when an activity is deemed to have ended. An end may refer to an entity, known as trigger, that terminated the activity."@en ;
  1135     rdfs:domain prov:Activity ;
  1136     rdfs:range prov:Entity ;
  1137     rdfs:subPropertyOf prov:involved ;
  1138     owl:propertyChainAxiom (prov:qualifiedEnd
  1139     ) ;
  1140     prov:category "expanded" ;
  1141     prov:component "entities-activities" ;
  1142     prov:editorialNote "was{Started,Ended}By do not have anything to do with agent/attribution. -Luc 20 April 2012"@en ;
  1143     prov:inverse "ended" ;
  1144     prov:qualifiedForm prov:End, prov:qualifiedEnd .
  1145 
  1146 prov:wasGeneratedBy
  1147     a owl:AsymmetricProperty, owl:FunctionalProperty, owl:IrreflexiveProperty, owl:ObjectProperty ;
  1148     rdfs:comment "wasGeneratedBy links Entitites with Activity representing that entity was generated as a result of Activity"@en ;
  1149     rdfs:domain prov:Entity ;
  1150     rdfs:range prov:Activity ;
  1151     rdfs:subPropertyOf prov:involved ;
  1152     owl:propertyChainAxiom (prov:qualifiedGeneration
  1153     ) ;
  1154     prov:category "starting-point" ;
  1155     prov:component "entities-activities" ;
  1156     prov:inverse "generated" ;
  1157     prov:qualifiedForm prov:Generation, prov:qualifiedGeneration .
  1158 
  1159 prov:wasInformedBy
  1160     a owl:ObjectProperty ;
  1161     rdfs:comment "An activity a2 is dependent on or informed by another activity a1, by way of some unspecified entity that is generated by a1 and used by a2."@en ;
  1162     rdfs:domain prov:Activity ;
  1163     rdfs:range prov:Activity ;
  1164     rdfs:subPropertyOf prov:involved ;
  1165     owl:propertyChainAxiom (prov:qualifiedCommunication
  1166     ) ;
  1167     prov:category "starting-point" ;
  1168     prov:component "entities-activities" ;
  1169     prov:inverse "informed" ;
  1170     prov:qualifiedForm prov:Communication, prov:qualifiedCommunication .
  1171 
  1172 prov:wasInvalidatedBy
  1173     a owl:ObjectProperty ;
  1174     rdfs:domain prov:Entity ;
  1175     rdfs:range prov:Activity ;
  1176     rdfs:subPropertyOf prov:involved ;
  1177     prov:category "starting-point" ;
  1178     prov:component "entities-activities" ;
  1179     prov:inverse "invalidated" .
  1180 
  1181 prov:wasQuotedFrom
  1182     a owl:ObjectProperty ;
  1183     rdfs:comment "An entity is derived from an original entity by copying, or \"quoting\", some or all of it."@en ;
  1184     rdfs:domain prov:Entity ;
  1185     rdfs:range prov:Entity ;
  1186     rdfs:subPropertyOf prov:wasDerivedFrom ;
  1187     owl:propertyChainAxiom (prov:qualifiedQuotation
  1188     ) ;
  1189     prov:category "expanded" ;
  1190     prov:component "derivations" ;
  1191     prov:inverse "wasQuotedBy" ;
  1192     prov:qualifiedForm prov:Quotation, prov:qualifiedQuotation .
  1193 
  1194 prov:wasRevisionOf
  1195     a owl:ObjectProperty ;
  1196     rdfs:comment "A revision is a derivation that revises an entity into a revised version."@en ;
  1197     rdfs:domain prov:Entity ;
  1198     rdfs:range prov:Entity ;
  1199     rdfs:subPropertyOf prov:wasDerivedFrom ;
  1200     owl:propertyChainAxiom (prov:qualifiedRevision
  1201     ) ;
  1202     prov:category "expanded" ;
  1203     prov:component "derivations" ;
  1204     prov:inverse "hadRevision" ;
  1205     prov:qualifiedForm prov:Revision, prov:qualifiedRevision .
  1206 
  1207 prov:wasStartedBy
  1208     a owl:ObjectProperty ;
  1209     rdfs:comment "Start is when an activity is deemed to have started. A start may refer to an entity, known as trigger, that initiated the activity."@en ;
  1210     rdfs:domain prov:Activity ;
  1211     rdfs:range prov:Entity ;
  1212     rdfs:subPropertyOf prov:involved ;
  1213     owl:propertyChainAxiom (prov:qualifiedStart
  1214     ) ;
  1215     prov:category "expanded" ;
  1216     prov:component "entities-activities" ;
  1217     prov:editorialNote "was{Started,Ended}By do not have anything to do with agent/attribution. -Luc 20 April 2012"@en ;
  1218     prov:inverse "started" ;
  1219     prov:qualifiedForm prov:Start, prov:qualifiedStart .
  1220 
  1221 prov:wasStartedByActivity
  1222     a owl:ObjectProperty ;
  1223     rdfs:comment "The start of an activity with an implicit trigger generated by another activity."@en ;
  1224     rdfs:domain prov:Activity ;
  1225     rdfs:range prov:Activity ;
  1226     rdfs:subPropertyOf prov:involved ;
  1227     owl:propertyChainAxiom (prov:qualifiedStartByActivity
  1228     ) ;
  1229     prov:category "starting-point" ;
  1230     prov:component "entities-activities" ;
  1231     prov:inverse "activityStarted" ;
  1232     prov:qualifiedForm prov:StartByActivity, prov:qualifiedStartByActivity .
  1233 
  1234 []
  1235     a owl:Axiom ;
  1236     rdfs:comment "hadOriginalSource property is a particular case of wasDerivedFrom that aims to give credit to the source that originated some information." ;
  1237     owl:annotatedProperty rdfs:subPropertyOf ;
  1238     owl:annotatedSource prov:hadOriginalSource ;
  1239     owl:annotatedTarget prov:wasDerivedFrom .
  1240 
  1241 []
  1242     a owl:Axiom ;
  1243     rdfs:comment "Attribution is a particular case of trace, in the sense that it links an entity to the agent that ascribed it." ;
  1244     owl:annotatedProperty rdfs:subPropertyOf ;
  1245     owl:annotatedSource prov:wasAttributedTo ;
  1246     owl:annotatedTarget prov:tracedTo .
  1247 
  1248 []
  1249     a owl:Axiom ;
  1250     rdfs:comment "Derivation is a particular case of trace, since it links an entity to another entity that contributed to its existence." ;
  1251     owl:annotatedProperty rdfs:subPropertyOf ;
  1252     owl:annotatedSource prov:wasDerivedFrom ;
  1253     owl:annotatedTarget prov:tracedTo .
  1254 
  1255 []
  1256     a owl:Axiom ;
  1257     rdfs:comment "Quotation is a particular case of derivation in which an entity is derived from an original entity by copying, or \"quoting\", some or all of it. " ;
  1258     owl:annotatedProperty rdfs:subPropertyOf ;
  1259     owl:annotatedSource prov:wasQuotedFrom ;
  1260     owl:annotatedTarget prov:wasDerivedFrom .
  1261 
  1262 []
  1263     a owl:Axiom ;
  1264     rdfs:comment "Insertion is a form of derivation that transforms a dictionary into another, by insertion of one or more key-entity pairs. " ;
  1265     owl:annotatedProperty rdfs:subPropertyOf ;
  1266     owl:annotatedSource prov:derivedByInsertionFrom ;
  1267     owl:annotatedTarget prov:wasDerivedFrom .
  1268 
  1269 []
  1270     a owl:Axiom ;
  1271     rdfs:comment "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Revision 23 April 2012 'wasRevisionOf is a strict sub-relation of wasDerivedFrom since two entities e2 and e1 may satisfy wasDerivedFrom(e2,e1) without being a variant of each other.'" ;
  1272     owl:annotatedProperty rdfs:subPropertyOf ;
  1273     owl:annotatedSource prov:wasRevisionOf ;
  1274     owl:annotatedTarget prov:wasDerivedFrom .
  1275 
  1276 []
  1277     a owl:Axiom ;
  1278     rdfs:comment "Removal is a form of derivation that transforms a dictionary into another, by removing one or more key-entity pairs. " ;
  1279     owl:annotatedProperty rdfs:subPropertyOf ;
  1280     owl:annotatedSource prov:derivedByRemovalFrom ;
  1281     owl:annotatedTarget prov:wasDerivedFrom .
  1282