- From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
- Date: Fri, 20 Jul 2012 15:45:43 +0000
- To: Tim Lebo <lebot@rpi.edu>
- CC: Stephan Zednik <zednis@rpi.edu>, Provenance Working Group <public-prov-wg@w3.org>
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