Merge pull request #32 from BFO-Mappings/fix/declare-object-properties

Fix object properties for Protege

prov-bfo-directmappings.ttl

@@ -168,7 +168,7 @@ prov:DictionaryInvolvement rdf:type owl:Class .
 
 
 # PROV object property mappings
-prov:hadMember rdf:type owl:ObjectProperty .
+prov:hadMember rdf:type owl:ObjectProperty . obo:BFO_00000178 rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:hadMember ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -177,7 +177,7 @@ prov:hadMember rdf:type owl:ObjectProperty .
     rdfs:comment "A prov:Collection that has member some prov:Entity also has it as a continuant part."@en .
 
 
-prov:hadGeneration rdf:type owl:ObjectProperty .
+prov:hadGeneration rdf:type owl:ObjectProperty . obo:BFO_0000121 rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:hadGeneration ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -186,7 +186,7 @@ prov:hadGeneration rdf:type owl:ObjectProperty .
     rdfs:comment "A prov:Derivation that has generation some prov:Generation also has it as a temporal part."@en .
 
 
-prov:wasStartedBy rdf:type owl:ObjectProperty .
+prov:wasStartedBy rdf:type owl:ObjectProperty . obo:BFO_0000057 rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:wasStartedBy ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -195,7 +195,7 @@ prov:wasStartedBy rdf:type owl:ObjectProperty .
     rdfs:comment "A process has a (non spatial region) continuant as a participant. An activity is a process that may be started by a prov:Entity as a participant."@en .
 
 
-prov:wasEndedBy rdf:type owl:ObjectProperty .
+prov:wasEndedBy rdf:type owl:ObjectProperty . obo:BFO_0000057 rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:wasEndedBy ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -204,7 +204,7 @@ prov:wasEndedBy rdf:type owl:ObjectProperty .
     rdfs:comment "A process has a (non spatial region) continuant as a participant. An activity is a process that may be ended by a prov:Entity as a participant."@en .
 
 
-prov:wasAssociatedWith rdf:type owl:ObjectProperty .
+prov:wasAssociatedWith rdf:type owl:ObjectProperty . obo:BFO_0000057 rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:wasAssociatedWith ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -213,7 +213,7 @@ prov:wasAssociatedWith rdf:type owl:ObjectProperty .
     rdfs:comment "A process has a (non spatial region) continuant as a participant. An activity is a process that may be associated with a prov:Entity as a participant."@en .
 
 
-prov:invalidated rdf:type owl:ObjectProperty .
+prov:invalidated rdf:type owl:ObjectProperty . obo:BFO_0000057 rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:invalidated ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -222,7 +222,7 @@ prov:invalidated rdf:type owl:ObjectProperty .
     rdfs:comment "A process has a (non spatial region) continuant as a participant. An activity is a process that may be invalidated by a prov:Entity as a participant."@en .
 
 
-prov:used rdf:type owl:ObjectProperty .
+prov:used rdf:type owl:ObjectProperty . obo:BFO_0000057 rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:used ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -231,7 +231,7 @@ prov:used rdf:type owl:ObjectProperty .
     rdfs:comment "A process has a (non spatial region) continuant as a participant. An activity is a process that may use a prov:Entity as a participant."@en .
 
 
-prov:generated rdf:type owl:ObjectProperty .
+prov:generated rdf:type owl:ObjectProperty . obo:BFO_0000057 rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:generated ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -240,7 +240,7 @@ prov:generated rdf:type owl:ObjectProperty .
     rdfs:comment "An activity is a process that may be generated by a prov:Entity as a participant."@en .
 
 
-prov:wasInvalidatedBy rdf:type owl:ObjectProperty .
+prov:wasInvalidatedBy rdf:type owl:ObjectProperty . obo:BFO_0000056 rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:wasInvalidatedBy ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -249,7 +249,7 @@ prov:wasInvalidatedBy rdf:type owl:ObjectProperty .
     rdfs:comment "An entity (non-spatial region continuant) may participate in its invalidation by an activity (process)"@en .
 
 
-prov:wasGeneratedBy rdf:type owl:ObjectProperty .
+prov:wasGeneratedBy rdf:type owl:ObjectProperty . obo:BFO_0000056 rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:wasGeneratedBy ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -258,7 +258,7 @@ prov:wasGeneratedBy rdf:type owl:ObjectProperty .
     rdfs:comment "An entity (non-spatial region continuant) may participate in its generation by an activity (process)"@en .
 
 
-prov:qualifiedStart rdf:type owl:ObjectProperty .
+prov:qualifiedStart rdf:type owl:ObjectProperty . obo:BFO_0000121 rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:qualifiedStart ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -267,7 +267,7 @@ prov:qualifiedStart rdf:type owl:ObjectProperty .
     rdfs:comment "A prov:Activity whose qualified start is some prov:Start has it as a temporal part."@en .
 
 
-prov:qualifiedEnd rdf:type owl:ObjectProperty .
+prov:qualifiedEnd rdf:type owl:ObjectProperty . obo:BFO_0000121 rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:qualifiedEnd ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -276,7 +276,7 @@ prov:qualifiedEnd rdf:type owl:ObjectProperty .
     rdfs:comment "A prov:Activity whose qualified end is some prov:End has it as a temporal part."@en .
 
 
-prov:qualifiedUsage rdf:type owl:ObjectProperty .
+prov:qualifiedUsage rdf:type owl:ObjectProperty . obo:BFO_0000121 rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:qualifiedUsage ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -285,7 +285,7 @@ prov:qualifiedUsage rdf:type owl:ObjectProperty .
     rdfs:comment "A prov:Activity whose qualified usage is some prov:Usage has it as a temporal part."@en .
 
 
-prov:hadUsage rdf:type owl:ObjectProperty .
+prov:hadUsage rdf:type owl:ObjectProperty . obo:BFO_0000121 rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:hadUsage ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -295,7 +295,7 @@ prov:hadUsage rdf:type owl:ObjectProperty .
 
 
 # PROV-Dictionary object property mappings
-prov:hadDictionaryMember rdf:type owl:ObjectProperty .
+prov:hadDictionaryMember rdf:type owl:ObjectProperty . obo:BFO_00000178 rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:hadDictionaryMember ;
     owl:annotatedProperty rdfs:subPropertyOf ;

prov-cco-directmappings.ttl

@@ -110,7 +110,7 @@ prov:KeyEntityPair rdf:type owl:Class .
 
 
 # PROV object property mappings
-prov:wasAssociatedWith rdf:type owl:ObjectProperty .
+prov:wasAssociatedWith rdf:type owl:ObjectProperty . cco:has_agent rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:wasAssociatedWith ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -119,7 +119,7 @@ prov:wasAssociatedWith rdf:type owl:ObjectProperty .
     rdfs:comment "An Activity that was associated with an Agent has the Agent as its agent."@en .
 
 
-prov:wasInvalidatedBy rdf:type owl:ObjectProperty .
+prov:wasInvalidatedBy rdf:type owl:ObjectProperty . cco:is_affected_by rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:wasInvalidatedBy ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -128,7 +128,7 @@ prov:wasInvalidatedBy rdf:type owl:ObjectProperty .
     rdfs:comment "An Entity that was invalidated by an Activity is also affected by that Activity."@en .
 
 
-prov:wasGeneratedBy rdf:type owl:ObjectProperty .
+prov:wasGeneratedBy rdf:type owl:ObjectProperty . cco:is_output_of rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:wasGeneratedBy ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -137,7 +137,7 @@ prov:wasGeneratedBy rdf:type owl:ObjectProperty .
     rdfs:comment "An Entity that was generated by an Activity is output of that Activity."@en .
 
 
-prov:invalidated rdf:type owl:ObjectProperty .
+prov:invalidated rdf:type owl:ObjectProperty . cco:affects rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:invalidated ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -146,7 +146,7 @@ prov:invalidated rdf:type owl:ObjectProperty .
     rdfs:comment "An Activity that invalidated an Entity also affects that Entity."@en .
 
 
-prov:used rdf:type owl:ObjectProperty .
+prov:used rdf:type owl:ObjectProperty . cco:affects rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:used ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -155,7 +155,7 @@ prov:used rdf:type owl:ObjectProperty .
     rdfs:comment "An Activity that used an Entity affects the Entity."@en .
 
 
-prov:generated rdf:type owl:ObjectProperty .
+prov:generated rdf:type owl:ObjectProperty . cco:has_output rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:generated ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -164,7 +164,7 @@ prov:generated rdf:type owl:ObjectProperty .
     rdfs:comment  "An Activity that generated an Entity has_output that Entity."@en .
 
 
-prov:hadPlan rdf:type owl:ObjectProperty .
+prov:hadPlan rdf:type owl:ObjectProperty . cco:prescribed_by rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:hadPlan ;
     owl:annotatedProperty owl:propertyChainAxiom ;
@@ -173,7 +173,7 @@ prov:hadPlan rdf:type owl:ObjectProperty .
     rdfs:comment  "If an Association is the qualified association of some Activity, and that Activity is prescribed by some Plan, then that Association 'had plan' that Plan."@en .
 
 
-prov:qualifiedAssociation rdf:type owl:ObjectProperty .
+prov:qualifiedAssociation rdf:type owl:ObjectProperty . cco:has_process_part rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:qualifiedAssociation ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -183,7 +183,7 @@ prov:qualifiedAssociation rdf:type 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 .
 
 
-prov:qualifiedAttribution rdf:type owl:ObjectProperty .
+prov:qualifiedAttribution rdf:type owl:ObjectProperty . cco:is_affected_by rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:qualifiedAttribution ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -192,7 +192,7 @@ prov:qualifiedAttribution rdf:type owl:ObjectProperty .
     rdfs:comment  "An Entity that is attributed to something is affected by that Attribution."@en .
 
 
-prov:qualifiedRevision rdf:type owl:ObjectProperty .
+prov:qualifiedRevision rdf:type owl:ObjectProperty . cco:is_affected_by rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:qualifiedRevision ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -201,7 +201,7 @@ prov:qualifiedRevision rdf:type owl:ObjectProperty .
     rdfs:comment  "If a Revision is the qualified revision of an Entity, then the Entity is affected by the Revision."@en .
 
 
-prov:qualifiedDelegation rdf:type owl:ObjectProperty .
+prov:qualifiedDelegation rdf:type owl:ObjectProperty . cco:agent_in rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:qualifiedDelegation ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -210,7 +210,7 @@ prov:qualifiedDelegation rdf:type owl:ObjectProperty .
     rdfs:comment  "If a Delegation is the qualified delegation of an Agent, then the Agent is agent in (namely causally active in) the Delegation."@en .
 
 
-prov:qualifiedDerivation rdf:type owl:ObjectProperty .
+prov:qualifiedDerivation rdf:type owl:ObjectProperty . cco:is_output_of rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:qualifiedDerivation ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -219,7 +219,7 @@ prov:qualifiedDerivation rdf:type owl:ObjectProperty .
     rdfs:comment  "If a Derivation is the qualified derivation of an Entity, then the Entity is output of the Derivation."@en .
 
 
-prov:qualifiedPrimarySource rdf:type owl:ObjectProperty .
+prov:qualifiedPrimarySource rdf:type owl:ObjectProperty . cco:is_output_of rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:qualifiedPrimarySource ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -228,7 +228,7 @@ prov:qualifiedPrimarySource rdf:type owl:ObjectProperty .
     rdfs:comment  "A Entity that has a Primary Source as its qualified primary source is output of that Primary Source."@en .
 
 
-prov:qualifiedQuotation rdf:type owl:ObjectProperty .
+prov:qualifiedQuotation rdf:type owl:ObjectProperty . cco:is_output_of rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:qualifiedQuotation ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -237,7 +237,7 @@ prov:qualifiedQuotation rdf:type owl:ObjectProperty .
     rdfs:comment  "If a Quotation is the qualified quotation related to an Entity as the quote, then that Entity is output of that Quotation. See definition of prov:qualifiedQuotation."@en .
 
 
-prov:agent rdf:type owl:ObjectProperty .
+prov:agent rdf:type owl:ObjectProperty . cco:has_agent rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:agent ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -247,7 +247,7 @@ prov:agent rdf:type owl:ObjectProperty .
 
 
 # PROV-Dictionary object property mappings
-prov:pairEntity rdf:type owl:ObjectProperty .
+prov:pairEntity rdf:type owl:ObjectProperty . cco:is_about rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:pairEntity ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -256,7 +256,7 @@ prov:pairEntity rdf:type owl:ObjectProperty .
     rdfs:comment  "A Key-Entity Pair is about an Entity because Key-Entity Pairs are Information Content Entities"@en .
 
 
-prov:pairKey rdf:type owl:ObjectProperty .
+prov:pairKey rdf:type owl:ObjectProperty . cco:is_about rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:pairKey ;
     owl:annotatedProperty rdfs:subPropertyOf ;
@@ -266,7 +266,7 @@ prov:pairKey rdf:type owl:ObjectProperty .
 
 
 # PROV-AQ object property mappings
-prov:has_anchor rdf:type owl:ObjectProperty .
+prov:has_anchor rdf:type owl:ObjectProperty . cco:is_subject_of rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:has_anchor ;
     owl:annotatedProperty rdfs:subPropertyOf ; 
@@ -275,7 +275,7 @@ prov:has_anchor rdf:type owl:ObjectProperty .
     rdfs:comment "A resource that has some anchor is the subject of that anchor"@en .
 
 
-prov:has_provenance rdf:type owl:ObjectProperty .
+prov:has_provenance rdf:type owl:ObjectProperty . cco:is_subject_of rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:has_provenance ;
     owl:annotatedProperty rdfs:subPropertyOf ; 
@@ -285,7 +285,7 @@ prov:has_provenance rdf:type owl:ObjectProperty .
 
 
 # PROV-links object property mappings
-prov:asInBundle rdf:type owl:ObjectProperty .
+prov:asInBundle rdf:type owl:ObjectProperty . cco:is_subject_of rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:asInBundle ;
     owl:annotatedProperty rdfs:subPropertyOf ; 
@@ -306,7 +306,7 @@ prov:ServiceDescription rdf:type owl:Class .
     By contrast, only generically dependent continuants such as information can be about or describe something in CCO."@en .
 
 
-prov:describesService rdf:type owl:ObjectProperty .
+prov:describesService rdf:type owl:ObjectProperty . cco:is_about rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:describesService ;
     owl:annotatedProperty skos:relatedMatch ;
@@ -317,7 +317,7 @@ prov:describesService rdf:type owl:ObjectProperty .
     By contrast, only generically dependent continuants such as information can be about or describe something in CCO."@en .
 
 
-prov:qualifiedGeneration rdf:type owl:ObjectProperty .
+prov:qualifiedGeneration rdf:type owl:ObjectProperty . cco:is_output_of rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:qualifiedGeneration ;
     owl:annotatedProperty skos:relatedMatch ;
@@ -326,7 +326,7 @@ prov:qualifiedGeneration rdf:type owl:ObjectProperty .
     rdfs:comment  "Generation is a prov:InstantaneousEvent, a process boundary. However, if it were a process, and some Generation was a qualified generation of an Entity, then that Entity would be the output of that Generation."@en .
 
 
-prov:qualifiedInvalidation rdf:type owl:ObjectProperty .
+prov:qualifiedInvalidation rdf:type owl:ObjectProperty . cco:is_affected_by rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:qualifiedInvalidation ;
     owl:annotatedProperty skos:relatedMatch ;