--- a/ontology/ProvenanceOntology.owl Fri Jun 29 17:08:10 2012 -0400
+++ b/ontology/ProvenanceOntology.owl Fri Jun 29 17:10:18 2012 -0400
@@ -151,7 +151,6 @@
<!-- http://www.w3.org/ns/prov#activity -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#activity">
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdfs:comment xml:lang="en">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.</rdfs:comment>
<editorialNote xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</editorialNote>
<inverse>activityOfInvolvement</inverse>
@@ -167,7 +166,6 @@
<!-- http://www.w3.org/ns/prov#agent -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#agent">
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
<component>alternate</component>
<inverse>agentOfInvolvement</inverse>
<rdfs:comment xml:lang="en">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.</rdfs:comment>
@@ -184,17 +182,14 @@
<!-- http://www.w3.org/ns/prov#alternateOf -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#alternateOf">
- <rdf:type rdf:resource="&owl;ReflexiveProperty"/>
- <rdf:type rdf:resource="&owl;SymmetricProperty"/>
- <rdf:type rdf:resource="&owl;TransitiveProperty"/>
<prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Alternate</prov-dm-constraints>
<category>expanded</category>
- <component>alternate</component>
<prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-alternate</prov-n>
+ <component>alternate</component>
<prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-alternate</prov-dm>
- <inverse>alternateOf</inverse>
<definition xml:lang="en">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.</definition>
<rdfs:comment xml:lang="en">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.</rdfs:comment>
+ <inverse>alternateOf</inverse>
<rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
@@ -217,8 +212,6 @@
<!-- http://www.w3.org/ns/prov#atLocation -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#atLocation">
- <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
- <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<editorialNote>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).</editorialNote>
<rdfs:comment xml:lang="en">The Location of any resource.</rdfs:comment>
<inverse>locationOf</inverse>
@@ -243,7 +236,6 @@
<!-- http://www.w3.org/ns/prov#entity -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#entity">
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdfs:comment xml:lang="en">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. </rdfs:comment>
<inverse>entityOfInvolvement</inverse>
<editorialNote xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</editorialNote>
@@ -275,7 +267,6 @@
<!-- http://www.w3.org/ns/prov#hadActivity -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadActivity">
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
<component>derivations</component>
<category>qualified</category>
<inverse>wasActivityOfInvolvement</inverse>
@@ -300,7 +291,6 @@
<!-- http://www.w3.org/ns/prov#hadGeneration -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadGeneration">
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
<inverse>generatedAsDerivation</inverse>
<category>qualified</category>
<rdfs:comment xml:lang="en">The _optional_ Generation involved in an Entity's Derivation.</rdfs:comment>
@@ -336,9 +326,6 @@
<!-- http://www.w3.org/ns/prov#hadPlan -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadPlan">
- <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
- <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<category>qualified</category>
<component>agents-responsibility</component>
<inverse>wasPlanOf</inverse>
@@ -379,7 +366,6 @@
<!-- http://www.w3.org/ns/prov#hadRole -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadRole">
- <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<component>agents-responsibility</component>
<rdfs:comment xml:lang="en">The _optional_ Role that an Entity assumes in the context of an Activity. For example, :baking prov:used :spoon; prov:qualified [ a prov:Usage; prov:entity :spoon; prov:hadRole roles:mixing_implement ].</rdfs:comment>
<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.</definition>
@@ -407,7 +393,6 @@
<!-- http://www.w3.org/ns/prov#hadUsage -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadUsage">
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
<category>qualified</category>
<rdfs:comment xml:lang="en">The _optional_ Usage involved in an Entity's Derivation.</rdfs:comment>
<inverse>wasUsedInDerivation</inverse>
@@ -487,7 +472,6 @@
<!-- http://www.w3.org/ns/prov#qualifiedAssociation -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedAssociation">
- <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<rdfs:comment xml:lang="en">If this Activity prov:wasAssociatedWith Agent :ag, then it can qualify the Association using prov:qualifiedAssociation [ a prov:Association; prov:agent :ag; :foo :bar ].</rdfs:comment>
<component>agents-responsibility</component>
<inverse>qualifiedAssociationOf</inverse>
@@ -503,7 +487,6 @@
<!-- http://www.w3.org/ns/prov#qualifiedAttribution -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedAttribution">
- <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<category>qualified</category>
<component>agents-responsibility</component>
<inverse>qualifiedAttributionOf</inverse>
@@ -519,7 +502,6 @@
<!-- http://www.w3.org/ns/prov#qualifiedCommunication -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedCommunication">
- <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<component>entities-activities</component>
<rdfs:comment xml:lang="en">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 ].</rdfs:comment>
<inverse>qualifiedCommunicationOf</inverse>
@@ -535,7 +517,6 @@
<!-- http://www.w3.org/ns/prov#qualifiedDelegation -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedDelegation">
- <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<category>qualified</category>
<inverse>qualifiedDelegationOf</inverse>
<rdfs:comment xml:lang="en">If this Agent prov:actedOnBehalfOf Agent :ag, then it can qualify how with prov:qualifiedResponsibility [ a prov:Responsibility; prov:agent :ag; :foo :bar ].</rdfs:comment>
@@ -551,7 +532,6 @@
<!-- http://www.w3.org/ns/prov#qualifiedDerivation -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedDerivation">
- <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<rdfs:comment xml:lang="en">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 ].</rdfs:comment>
<inverse>qualifiedDerivationOf</inverse>
<component>derivations</component>
@@ -567,7 +547,6 @@
<!-- http://www.w3.org/ns/prov#qualifiedEnd -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedEnd">
- <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<category>qualified</category>
<inverse>qualifiedEndOf</inverse>
<component>entities-activities</component>
@@ -583,7 +562,6 @@
<!-- http://www.w3.org/ns/prov#qualifiedGeneration -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedGeneration">
- <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<rdfs:comment xml:lang="en">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 ].</rdfs:comment>
<inverse>qualifiedGenerationOf</inverse>
<component>entities-activities</component>
@@ -599,7 +577,6 @@
<!-- http://www.w3.org/ns/prov#qualifiedInfluence -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedInfluence">
- <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<category>qualified</category>
<inverse>qualifiedInfluenceOf</inverse>
<rdfs:comment xml:lang="en">If this prov:wasAttributedTo Entity :e, then it can qualify how using prov:qualifiedInfluence [ a prov:Influence; prov:entity :e; :foo :bar ]. If this prov:wasAttributedTo Activity :a, then it can qualify how using prov:qualifiedInfluence [ a prov:Influence; prov:activity :a; :foo :bar ].</rdfs:comment>
@@ -615,7 +592,6 @@
<!-- http://www.w3.org/ns/prov#qualifiedInvalidation -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedInvalidation">
- <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<rdfs:comment xml:lang="en">If this Entity prov:wasInvalidatedBy Activity :a, then it can qualify how it was invalidated using prov:qualifiedInvalidation [ a prov:Invalidation; prov:activity :a; :foo :bar ].</rdfs:comment>
<component>entities-activities</component>
<category>qualified</category>
@@ -631,7 +607,6 @@
<!-- http://www.w3.org/ns/prov#qualifiedQuotation -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedQuotation">
- <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<category>qualified</category>
<inverse>qualifiedQuotationOf</inverse>
<rdfs:comment xml:lang="en">If this Entity prov:wasQuotedFrom Entity :e, then it can qualify how using prov:qualifiedQuotation [ a prov:Quotation; prov:entity :e; :foo :bar ].</rdfs:comment>
@@ -647,7 +622,6 @@
<!-- http://www.w3.org/ns/prov#qualifiedRevision -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedRevision">
- <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<rdfs:comment xml:lang="en">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 ].</rdfs:comment>
<category>qualified</category>
<inverse>revisedEntity</inverse>
@@ -663,7 +637,6 @@
<!-- http://www.w3.org/ns/prov#qualifiedSource -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedSource">
- <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<component>derivations</component>
<category>qualified</category>
<inverse>qualifiedSourceOf</inverse>
@@ -679,7 +652,6 @@
<!-- http://www.w3.org/ns/prov#qualifiedStart -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedStart">
- <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<inverse>qualifiedStartOf</inverse>
<category>qualified</category>
<component>entities-activities</component>
@@ -695,7 +667,6 @@
<!-- http://www.w3.org/ns/prov#qualifiedUsage -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedUsage">
- <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<category>qualified</category>
<inverse>qualifiedUsingActivity</inverse>
<component>entities-activities</component>
@@ -711,16 +682,13 @@
<!-- http://www.w3.org/ns/prov#specializationOf -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#specializationOf">
- <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
- <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
- <rdf:type rdf:resource="&owl;TransitiveProperty"/>
<component>alternate</component>
<category>expanded</category>
<prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-specialization</prov-dm>
<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.</definition>
<inverse>generalizationOf</inverse>
+ <rdfs:comment xml:lang="en">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.</rdfs:comment>
<prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-specialization</prov-n>
- <rdfs:comment xml:lang="en">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.</rdfs:comment>
<prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Specialization</prov-dm-constraints>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
@@ -733,12 +701,10 @@
<!-- http://www.w3.org/ns/prov#used -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#used">
- <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
- <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<inverse>wasUsedBy</inverse>
- <rdfs:comment xml:lang="en">A prov:Entity that was used by this prov:Activity. For example, :baking prov:used :spoon, :egg, :oven .</rdfs:comment>
<category>starting-point</category>
<component>entities-activities</component>
+ <rdfs:comment xml:lang="en">A prov:Entity that was used by this prov:Activity. For example, :baking prov:used :spoon, :egg, :oven .</rdfs:comment>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Activity"/>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
<qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Usage"/>
@@ -804,8 +770,6 @@
<!-- http://www.w3.org/ns/prov#wasDerivedFrom -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasDerivedFrom">
- <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
- <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<inverse>hadDerivation</inverse>
<definition xml:lang="en">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.</definition>
<rdfs:comment xml:lang="en">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.</rdfs:comment>
@@ -855,9 +819,6 @@
<!-- http://www.w3.org/ns/prov#wasGeneratedBy -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasGeneratedBy">
- <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
- <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<inverse>generated</inverse>
<category>starting-point</category>
<component>entities-activities</component>
--- a/ontology/prov.ttl Fri Jun 29 17:08:10 2012 -0400
+++ b/ontology/prov.ttl Fri Jun 29 17:10:18 2012 -0400
@@ -425,7 +425,7 @@
:qualifiedForm :Delegation, :qualifiedDelegation .
:activity
- a owl:FunctionalProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
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 ;
rdfs:domain :ActivityInfluence ;
rdfs:range :Activity ;
@@ -436,7 +436,7 @@
:sharesDefinitionWith :ActivityInvolvement .
:agent
- a owl:FunctionalProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
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 ;
rdfs:domain :AgentInfluence ;
rdfs:range :Agent ;
@@ -448,7 +448,7 @@
:sharesDefinitionWith :AgentInvolvement .
:alternateOf
- a owl:ObjectProperty, owl:ReflexiveProperty, owl:SymmetricProperty, owl:TransitiveProperty ;
+ a owl:ObjectProperty ;
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 ;
rdfs:domain :Entity ;
rdfs:range :Entity ;
@@ -470,7 +470,7 @@
:sharesDefinitionWith :ContextualizedEntity .
:atLocation
- a owl:AsymmetricProperty, owl:IrreflexiveProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
rdfs:comment "The Location of any resource."@en ;
rdfs:domain [
a owl:Class ;
@@ -528,7 +528,7 @@
:qualifiedForm :End, :atTime .
:entity
- a owl:FunctionalProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
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 ;
rdfs:domain :EntityInfluence ;
rdfs:range :Entity ;
@@ -561,7 +561,7 @@
:qualifiedForm :Generation, :atTime .
:hadActivity
- a owl:FunctionalProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
rdfs:comment "The _optional_ Activity of an Involvement, which used, generated, invalidated, or was the responsibility of some Entity. This property is _not_ used by ActivityInvolvement (use prov:activity instead)."@en ;
rdfs:domain :Influence, [
a owl:Class ;
@@ -578,7 +578,7 @@
:sharesDefinitionWith :Activity .
:hadGeneration
- a owl:FunctionalProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
rdfs:comment "The _optional_ Generation involved in an Entity's Derivation."@en ;
rdfs:domain :Derivation ;
rdfs:range :Generation ;
@@ -598,7 +598,7 @@
:sharesDefinitionWith :Collection .
:hadPlan
- a owl:AsymmetricProperty, owl:FunctionalProperty, owl:IrreflexiveProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
rdfs:comment "The _optional_ Plan adopted by an Agent in Association with some Activity. Plan specifications are out of the scope of this specification."@en ;
rdfs:domain :Association ;
rdfs:range :Plan ;
@@ -622,7 +622,7 @@
:qualifiedForm :Source, :qualifiedSource .
:hadRole
- a owl:IrreflexiveProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
rdfs:comment "The _optional_ Role that an Entity assumes in the context of an Activity. For example, :baking prov:used :spoon; prov:qualified [ a prov:Usage; prov:entity :spoon; prov:hadRole roles:mixing_implement ]."@en ;
rdfs:domain :Influence, [
a owl:Class ;
@@ -642,7 +642,7 @@
:sharesDefinitionWith :Role .
:hadUsage
- a owl:FunctionalProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
rdfs:comment "The _optional_ Usage involved in an Entity's Derivation."@en ;
rdfs:domain :Derivation ;
rdfs:range :Usage ;
@@ -733,7 +733,7 @@
:prov-aq "http://dvcs.w3.org/hg/prov/raw-file/tip/paq/prov-aq.html#todo"@en .
:qualifiedAssociation
- a owl:InverseFunctionalProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
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 ;
rdfs:domain :Activity ;
rdfs:range :Association ;
@@ -744,7 +744,7 @@
:unqualifiedForm :wasAssociatedWith .
:qualifiedAttribution
- a owl:InverseFunctionalProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
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 ;
rdfs:domain :Entity ;
rdfs:range :Attribution ;
@@ -755,7 +755,7 @@
:unqualifiedForm :wasAttributedTo .
:qualifiedCommunication
- a owl:InverseFunctionalProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
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 ;
rdfs:domain :Activity ;
rdfs:range :Communication ;
@@ -766,7 +766,7 @@
:sharesDefinitionWith :Communication .
:qualifiedDelegation
- a owl:InverseFunctionalProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
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 ;
rdfs:domain :Agent ;
rdfs:range :Delegation ;
@@ -777,7 +777,7 @@
:unqualifiedForm :actedOnBehalfOf .
:qualifiedDerivation
- a owl:InverseFunctionalProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
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 ;
rdfs:domain :Entity ;
rdfs:range :Derivation ;
@@ -788,7 +788,7 @@
:unqualifiedForm :wasDerivedFrom .
:qualifiedEnd
- a owl:InverseFunctionalProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
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 ;
rdfs:domain :Activity ;
rdfs:range :End ;
@@ -818,7 +818,7 @@
rdfs:subPropertyOf rdfs:seeAlso .
:qualifiedGeneration
- a owl:InverseFunctionalProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
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 ;
rdfs:domain :Entity ;
rdfs:range :Generation ;
@@ -829,7 +829,7 @@
:unqualifiedForm :wasGeneratedBy .
:qualifiedInfluence
- a owl:InverseFunctionalProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
rdfs:comment "If this prov:wasAttributedTo Entity :e, then it can qualify how using prov:qualifiedInfluence [ a prov:Influence; prov:entity :e; :foo :bar ]. If this prov:wasAttributedTo Activity :a, then it can qualify how using prov:qualifiedInfluence [ a prov:Influence; prov:activity :a; :foo :bar ]."@en ;
rdfs:domain :Entity ;
rdfs:range :Influence ;
@@ -840,7 +840,7 @@
:unqualifiedForm :wasInfluencedBy .
:qualifiedInvalidation
- a owl:InverseFunctionalProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
rdfs:comment "If this Entity prov:wasInvalidatedBy Activity :a, then it can qualify how it was invalidated using prov:qualifiedInvalidation [ a prov:Invalidation; prov:activity :a; :foo :bar ]."@en ;
rdfs:domain :Entity ;
rdfs:range :Invalidation ;
@@ -851,7 +851,7 @@
:unqualifiedForm :wasInvalidatedBy .
:qualifiedQuotation
- a owl:InverseFunctionalProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
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 ;
rdfs:domain :Entity ;
rdfs:range :Quotation ;
@@ -862,7 +862,7 @@
:unqualifiedForm :wasQuotedFrom .
:qualifiedRevision
- a owl:InverseFunctionalProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
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 ;
rdfs:domain :Entity ;
rdfs:range :Revision ;
@@ -873,7 +873,7 @@
:unqualifiedForm :wasRevisionOf .
:qualifiedSource
- a owl:InverseFunctionalProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
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 ;
rdfs:domain :Entity ;
rdfs:range :Source ;
@@ -884,7 +884,7 @@
:unqualifiedForm :hadPrimarySource .
:qualifiedStart
- a owl:InverseFunctionalProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
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 ;
rdfs:domain :Activity ;
rdfs:range :Start ;
@@ -895,7 +895,7 @@
:unqualifiedForm :wasStartedBy .
:qualifiedUsage
- a owl:InverseFunctionalProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
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 ;
rdfs:domain :Activity ;
rdfs:range :Usage ;
@@ -910,7 +910,7 @@
rdfs:subPropertyOf rdfs:seeAlso .
:specializationOf
- a owl:AsymmetricProperty, owl:IrreflexiveProperty, owl:ObjectProperty, owl:TransitiveProperty ;
+ a owl:ObjectProperty ;
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 ;
rdfs:domain :Entity ;
rdfs:range :Entity ;
@@ -943,7 +943,7 @@
rdfs:subPropertyOf rdfs:seeAlso .
:used
- a owl:AsymmetricProperty, owl:IrreflexiveProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
rdfs:comment "A prov:Entity that was used by this prov:Activity. For example, :baking prov:used :spoon, :egg, :oven ."@en ;
rdfs:domain :Activity ;
rdfs:range :Entity ;
@@ -998,7 +998,7 @@
:qualifiedForm :Attribution, :qualifiedAttribution .
:wasDerivedFrom
- a owl:AsymmetricProperty, owl:IrreflexiveProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
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 ;
rdfs:domain :Entity ;
rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
@@ -1029,7 +1029,7 @@
:qualifiedForm :End, :qualifiedEnd .
:wasGeneratedBy
- a owl:AsymmetricProperty, owl:FunctionalProperty, owl:IrreflexiveProperty, owl:ObjectProperty ;
+ a owl:ObjectProperty ;
rdfs:comment "wasGeneratedBy links Entitites with Activity representing that entity was generated as a result of Activity"@en ;
rdfs:domain :Entity ;
rdfs:range :Activity ;