- From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
- Date: Fri, 20 Jul 2012 21:19:24 +0000
- To: Stephan Zednik <zednis@rpi.edu>
- CC: Tim Lebo <lebot@rpi.edu>, Provenance Working Group <public-prov-wg@w3.org>
Thanks Stephan. I am letting the webmaster know! Professor Luc Moreau Electronics and Computer Science University of Southampton Southampton SO17 1BJ United Kingdom On 20 Jul 2012, at 18:10, "Stephan Zednik" <zednis@rpi.edu> wrote: > http://dvcs.w3.org/hg/prov/rev/0c2a2952e3b3 > > Updated prov-20120724.owl and prov-20120724.ttl. This should be the last set of pushed changes for this issue. > > --Stephan > > On Jul 20, 2012, at 11:06 AM, Stephan Zednik wrote: > >> 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 21:21:02 UTC