- From: Stephan Zednik <zednis@rpi.edu>
- Date: Fri, 20 Jul 2012 12:09:23 -0500
- To: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
- Cc: Tim Lebo <lebot@rpi.edu>, Provenance Working Group <public-prov-wg@w3.org>
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 17:10:47 UTC