Re: [owl changed] PROV-ISSUE-457: qualifiedInfluence domain does not match domain of wasInfluencedBy [Ontology]

Updated prov:qualifiedInfluence domain in prov.owl, prov.ttl, and Overview.html in prov/ontology/releases/WD-prov-o-20120724/.

http://dvcs.w3.org/hg/prov/rev/4ff48d1666b1

--Stephan

On Jul 20, 2012, at 10:45 AM, Luc Moreau wrote:

> Stephan
> 
> Staged file is at http://dvcs.w3.org/hg/prov/raw-file/default/ontology/releases/WD-prov-o-20120724/Overview.html
> 
> That's the one to update
> 
> Professor Luc Moreau
> Electronics and Computer Science
> University of Southampton
> Southampton SO17 1BJ
> United Kingdom
> 
> 
> On 20 Jul 2012, at 15:50, "Tim Lebo" <lebot@rpi.edu<mailto:lebot@rpi.edu>> wrote:
> 
> Stephan,
> 
> This is only good for the next round.
> 
> The HTML file and all owl variants in the staged area need to be manually tweaked to reflect this change for LC.
> 
> Prov.owl and inverses.ttl are the originals - The others can be copy/renamed or reserialized with rapper.
> 
> Luc can point you to the URL that Denis is pulling from.
> 
> Thanks,
> Tim
> 
> Sent from my iPhone
> 
> On Jul 20, 2012, at 9:55, Stephan Zednik <zednis@rpi.edu<mailto:zednis@rpi.edu>> wrote:
> 
> The domain of prov:qualifiedInfluence has been updated to be the union of Entity, Activity, and Agent.
> 
> --Stephan
> 
> http://dvcs.w3.org/hg/prov/rev/8131926a1fed
> 
> 
> # HG changeset patch
> # User Stephan Zednik <zednis@rpi.edu<mailto:zednis@rpi.edu>>
> # Date 1342792198 18000
> # Node ID 8131926a1fedb7ae1ea7c6f041d852873fbceb07
> # Parent  cfa6b07c84ea35eecee91d9a1b8c752579875bf8
> Updated qualifiedInfluence domain to be union of Entity, Agent, and Activity
> 
> diff -r cfa6b07c84ea -r 8131926a1fed ontology/ProvenanceOntology.owl
> --- a/ontology/ProvenanceOntology.owl   Fri Jul 20 15:13:21 2012 +0200
> +++ b/ontology/ProvenanceOntology.owl   Fri Jul 20 08:49:58 2012 -0500
> @@ -652,7 +652,15 @@
>         <inverse>qualifiedInfluenceOf</inverse>
>         <component>derivations</component>
>         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
> -        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
> +               <rdfs:domain>
> +                   <owl:Class>
> +                       <owl:unionOf rdf:parseType="Collection">
> +                           <rdf:Description rdf:about="http://www.w3.org/ns/prov#Activity"/>
> +                           <rdf:Description rdf:about="http://www.w3.org/ns/prov#Agent"/>
> +                           <rdf:Description rdf:about="http://www.w3.org/ns/prov#Entity"/>
> +                       </owl:unionOf>
> +                   </owl:Class>
> +               </rdfs:domain>
>         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Influence"/>
>         <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Influence"/>
>         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
> 
> 
> On Jul 19, 2012, at 11:07 PM, Luc Moreau wrote:
> 
> Hi Stephan
> Well spotted, can we fix it before release?
> I think Tim is away, can someone else do it, and restage the document for the web master?
> 
> Professor Luc Moreau
> Electronics and Computer Science
> University of Southampton
> Southampton SO17 1BJ
> United Kingdom
> 
> On 19 Jul 2012, at 21:10, "Provenance Working Group Issue Tracker" <sysbot+tracker@w3.org<mailto:sysbot+tracker@w3.org>> wrote:
> 
> PROV-ISSUE-457: qualifiedInfluence domain does not match domain of wasInfluencedBy [Ontology]
> 
> http://www.w3.org/2011/prov/track/issues/457
> 
> Raised by: Stephan Zednik
> On product: Ontology
> 
> The current domain of prov:qualifiedInfluence is prov:Entity.
> 
> This does not match the domain of prov:wasInfluencedBy, which is prov:Activity or prov:Agent or prov:Entity.
> 
> The property prov:qualifiedAssociation, which is a sub-property of prov:qualifiedInfluence, has a domain of prov:Activity.
> 
> The current domains will cause the subject of a prov:qualifiedAssociation statement to be inferred to be both an prov:Activity and prov:Entity.
> 
> I believe this is not our intent.
> 
> I would recommend prov:qualifiedInfluence be changed to have the same domain as prov:wasInfluencedBy
> 
> prov:Activity
> or prov:Agent
> or prov:Entity
> 
> --Stephan
> 
> 
> 
> 
> 
> 
> 
>

Received on Friday, 20 July 2012 16:06:45 UTC