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

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> 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>
> # 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> 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 14:50:50 UTC