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

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 15:46:23 UTC