From d51959fadc0c9b86be7494791fbeb5a3bedc2e92 Mon Sep 17 00:00:00 2001 From: Tim Prudhomme Date: Wed, 18 Sep 2024 19:51:23 -0400 Subject: [PATCH 1/2] Declare all object properties for Protege --- prov-bfo-directmappings.ttl | 30 +++++++++++------------ prov-cco-directmappings.ttl | 46 +++++++++++++++++------------------ prov-ro-directmappings.ttl | 48 ++++++++++++++++++------------------- 3 files changed, 62 insertions(+), 62 deletions(-) diff --git a/prov-bfo-directmappings.ttl b/prov-bfo-directmappings.ttl index b031d76..352b7d9 100644 --- a/prov-bfo-directmappings.ttl +++ b/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 ; diff --git a/prov-cco-directmappings.ttl b/prov-cco-directmappings.ttl index 35136d0..4beb349 100644 --- a/prov-cco-directmappings.ttl +++ b/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 ; @@ -275,7 +275,7 @@ prov:insertedKeyEntityPair 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 ; @@ -284,7 +284,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 ; @@ -294,7 +294,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 ; @@ -315,7 +315,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 ; @@ -326,7 +326,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 ; @@ -335,7 +335,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 ; diff --git a/prov-ro-directmappings.ttl b/prov-ro-directmappings.ttl index 4c2d666..b9c4702 100644 --- a/prov-ro-directmappings.ttl +++ b/prov-ro-directmappings.ttl @@ -53,7 +53,7 @@ prov:Agent rdf:type owl:Class . # PROV object property mappings -prov:influenced rdf:type owl:ObjectProperty . +prov:influenced rdf:type owl:ObjectProperty . obo:RO_0002410 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:influenced ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -63,7 +63,7 @@ prov:influenced rdf:type owl:ObjectProperty . # prov:activity ~> causal relation between processes, prov:entity ~> cco:has_input, prov:agent ~> cco:has_agent -prov:influencer rdf:type owl:ObjectProperty . +prov:influencer rdf:type owl:ObjectProperty . obo:RO_0002410 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:influencer ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -72,7 +72,7 @@ prov:influencer rdf:type owl:ObjectProperty . rdfs:comment "An Agent, Activity, or Entity exerts an Influence and this is a causal relation."@en . -prov:activity rdf:type owl:ObjectProperty . +prov:activity rdf:type owl:ObjectProperty . obo:RO_0002501 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:activity ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -81,7 +81,7 @@ prov:activity rdf:type owl:ObjectProperty . rdfs:comment "An Activity is causally related to its ActivityInfluence, where these are both occurrents. Although an ActivityInfluence may be a process boundary, the domain and range of 'causal relation between processes' is occurrent."@en . -prov:wasAttributedTo rdf:type owl:ObjectProperty . +prov:wasAttributedTo rdf:type owl:ObjectProperty . obo:RO_0002559 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:wasAttributedTo ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -90,7 +90,7 @@ prov:wasAttributedTo rdf:type owl:ObjectProperty . rdfs:comment "An entity may be attributed to an agent, and this is a causal influence by the agent"@en . -prov:alternateOf rdf:type owl:ObjectProperty . +prov:alternateOf rdf:type owl:ObjectProperty . obo:RO_0002559 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:alternateOf ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -99,7 +99,7 @@ prov:alternateOf rdf:type owl:ObjectProperty . rdfs:comment "An entity may be an alternate of an entity, and this is a causal relation."@en . -prov:wasDerivedFrom rdf:type owl:ObjectProperty . +prov:wasDerivedFrom rdf:type owl:ObjectProperty . obo:RO_0002559 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:wasDerivedFrom ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -108,7 +108,7 @@ prov:wasDerivedFrom rdf:type owl:ObjectProperty . rdfs:comment "An entity may be derived from an entity, being causally influenced by it."@en . -prov:wasStartedBy rdf:type owl:ObjectProperty . +prov:wasStartedBy rdf:type owl:ObjectProperty . obo:RO_0000057 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:wasStartedBy ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -118,7 +118,7 @@ prov:wasStartedBy rdf:type owl:ObjectProperty . rdfs:comment "This mapping overlaps the same mapping to BFO's 'has participant at some time' but is included for increased interoperability." . -prov:wasEndedBy rdf:type owl:ObjectProperty . +prov:wasEndedBy rdf:type owl:ObjectProperty . obo:RO_0000057 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:wasEndedBy ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -128,7 +128,7 @@ prov:wasEndedBy rdf:type owl:ObjectProperty . rdfs:comment "This mapping overlaps the same mapping to BFO's 'has participant at some time' but is included for increased interoperability." . -prov:wasAssociatedWith rdf:type owl:ObjectProperty . +prov:wasAssociatedWith rdf:type owl:ObjectProperty . obo:RO_0000057 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:wasAssociatedWith ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -138,7 +138,7 @@ prov:wasAssociatedWith rdf:type owl:ObjectProperty . rdfs:comment "This mapping overlaps the same mapping to BFO's 'has participant at some time' but is included for increased interoperability." . -prov:invalidated rdf:type owl:ObjectProperty . +prov:invalidated rdf:type owl:ObjectProperty . obo:RO_0000057 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:invalidated ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -148,7 +148,7 @@ prov:invalidated rdf:type owl:ObjectProperty . rdfs:comment "This mapping overlaps the same mapping to BFO's 'has participant at some time' but is included for increased interoperability." . -prov:used rdf:type owl:ObjectProperty . +prov:used rdf:type owl:ObjectProperty . obo:RO_0000057 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:used ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -158,7 +158,7 @@ prov:used rdf:type owl:ObjectProperty . rdfs:comment "This mapping overlaps the same mapping to BFO's 'has participant at some time' but is included for increased interoperability." . -prov:generated rdf:type owl:ObjectProperty . +prov:generated rdf:type owl:ObjectProperty . obo:RO_0000057 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:generated ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -169,7 +169,7 @@ prov:generated rdf:type owl:ObjectProperty . # TODO test, reasoning over RO is slow -prov:wasInfluencedBy rdf:type owl:ObjectProperty . +prov:wasInfluencedBy rdf:type owl:ObjectProperty . obo:RO_0002410 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:wasInfluencedBy ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -178,7 +178,7 @@ prov:wasInfluencedBy rdf:type owl:ObjectProperty . rdfs:comment "An Agent, Activity, or Entity that was influenced by an Influence was causally related to that Influence."@en . -prov:wasInvalidatedBy rdf:type owl:ObjectProperty . +prov:wasInvalidatedBy rdf:type owl:ObjectProperty . obo:RO_0000056 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:wasInvalidatedBy ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -188,7 +188,7 @@ prov:wasInvalidatedBy rdf:type owl:ObjectProperty . rdfs:comment "This mapping overlaps the same mapping to BFO's 'participates in at some time' but is included for increased interoperability." . -prov:wasGeneratedBy rdf:type owl:ObjectProperty . +prov:wasGeneratedBy rdf:type owl:ObjectProperty . obo:RO_0000056 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:wasGeneratedBy ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -198,7 +198,7 @@ prov:wasGeneratedBy rdf:type owl:ObjectProperty . rdfs:comment "This mapping overlaps the same mapping to BFO's 'participates in at some time' but is included for increased interoperability." . -prov:wasInformedBy rdf:type owl:ObjectProperty . +prov:wasInformedBy rdf:type owl:ObjectProperty . obo:RO_0002501 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:wasInformedBy ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -207,7 +207,7 @@ prov:wasInformedBy rdf:type owl:ObjectProperty . rdfs:comment "An activity may inform an activity. Both are processes and this is a causal relation."@en . -prov:hadGeneration rdf:type owl:ObjectProperty . +prov:hadGeneration rdf:type owl:ObjectProperty . obo:RO_0002501 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:hadGeneration ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -216,7 +216,7 @@ prov:hadGeneration rdf:type owl:ObjectProperty . rdfs:comment "An activity may generate another activity. Both are processes and this is a causal relation."@en . -prov:hadUsage rdf:type owl:ObjectProperty . +prov:hadUsage rdf:type owl:ObjectProperty . obo:RO_0002501 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:hadUsage ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -225,7 +225,7 @@ prov:hadUsage rdf:type owl:ObjectProperty . rdfs:comment "A derivation may use a usage. Both are processes and this is a causal relation."@en . -prov:hadActivity rdf:type owl:ObjectProperty . +prov:hadActivity rdf:type owl:ObjectProperty . obo:RO_0002501 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:hadActivity ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -234,7 +234,7 @@ prov:hadActivity rdf:type owl:ObjectProperty . rdfs:comment "An influence that's related to an activity in this context is causally related to it, where both are processes."@en . -prov:qualifiedInfluence rdf:type owl:ObjectProperty . +prov:qualifiedInfluence rdf:type owl:ObjectProperty . obo:RO_0002410 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:qualifiedInfluence ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -243,7 +243,7 @@ prov:qualifiedInfluence rdf:type owl:ObjectProperty . rdfs:comment "An Agent, Activity, or Entity may be causally related to an Influence."@en . -prov:qualifiedAssociation rdf:type owl:ObjectProperty . +prov:qualifiedAssociation rdf:type owl:ObjectProperty . obo:RO_0002501 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:qualifiedAssociation ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -252,7 +252,7 @@ prov:qualifiedAssociation rdf:type owl:ObjectProperty . rdfs:comment "An activity may be associated with an activity. Both are processes and this is a causal relation."@en . -prov:qualifiedCommunication rdf:type owl:ObjectProperty . +prov:qualifiedCommunication rdf:type owl:ObjectProperty . obo:RO_0002501 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:qualifiedCommunication ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -261,7 +261,7 @@ prov:qualifiedCommunication rdf:type owl:ObjectProperty . rdfs:comment "An activity may communicate another activity. Both are processes and this is a causal relation. For example: A wasInfomedBy B = A and B are both prov:activities, and A was causally related to B such that A utilizes a provenance_entity that wasGeneratedBy B"@en . -prov:qualifiedStart rdf:type owl:ObjectProperty . +prov:qualifiedStart rdf:type owl:ObjectProperty . obo:RO_0002501 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:qualifiedStart ; owl:annotatedProperty rdfs:subPropertyOf ; @@ -270,7 +270,7 @@ prov:qualifiedStart rdf:type owl:ObjectProperty . rdfs:comment "An activity may start an activity. Both are processes and this is a causal relation."@en . -prov:hadMember rdf:type owl:ObjectProperty . +prov:hadMember rdf:type owl:ObjectProperty . obo:RO_0002351 rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:hadMember ; owl:annotatedProperty rdfs:subPropertyOf ; From 4a57671fa158dc2301fd133e2567127f8ab981c8 Mon Sep 17 00:00:00 2001 From: Tim Prudhomme Date: Wed, 18 Sep 2024 21:21:57 -0400 Subject: [PATCH 2/2] Add missing property declaration, and RO Agent comment --- prov-cco-directmappings.ttl | 2 +- prov-ro-directmappings.ttl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/prov-cco-directmappings.ttl b/prov-cco-directmappings.ttl index 4beb349..3b89546 100644 --- a/prov-cco-directmappings.ttl +++ b/prov-cco-directmappings.ttl @@ -265,7 +265,7 @@ prov:pairKey rdf:type owl:ObjectProperty . cco:is_about rdf:type owl:ObjectPrope rdfs:comment "A Key-Entity Pair is about a key because Key-Entity Pairs are Information Content Entities"@en . -prov:insertedKeyEntityPair rdf:type owl:ObjectProperty . +prov:insertedKeyEntityPair rdf:type owl:ObjectProperty . cco:has_output rdf:type owl:ObjectProperty . [] rdf:type owl:Axiom ; owl:annotatedSource prov:insertedKeyEntityPair ; owl:annotatedProperty rdfs:subPropertyOf ; diff --git a/prov-ro-directmappings.ttl b/prov-ro-directmappings.ttl index b9c4702..8a3214c 100644 --- a/prov-ro-directmappings.ttl +++ b/prov-ro-directmappings.ttl @@ -48,7 +48,7 @@ prov:Agent rdf:type owl:Class . rdf:type owl:Class ] ; sssom:object_label "material entity that participates in some Activity at some time and has a role realized in that Activity" ; - rdfs:comment "TODO"@en . + rdfs:comment "A prov:Agent is a material entity because always has some matter as a part that persists in time. A prov:Agent participates in (at some time) some prov:Activity and has a role, that, if realized, is realized in a prov:Activity taking place. This axiomatizes the definition of agent as 'something that bears some form of responsibility for an activity taking place, for the existence of an entity, or for another agent's activity'. According to Requirement VI13 in 'Rationale of Prov', this could be a prov:Entity. A prov:SoftwareAgent is a material entity because it is defined as 'running software', meaning a particular, material carrier of software, as opposed to, for example, its source code. A prov:SoftwareAgent is a particular instance of sofware running on a particular computer."@en .