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

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
>> 
>> 
>> 
> 
>