> Is there a way to make an existential quantification using PROV-N? I did > not connect setting agent to optional with the statement you make above and > which I believe we both agree with. I think this is the confusion over any of the 'optional' arguments in PROV-N. It is unclear if this means that the argument is implied (ie. existential quantification) or not applicable/present. It might be good to go through all of the optionals in PROV-DM and make sure they make that clear. I'll raise that as an issue. -- Stian Soiland-Reyes, myGrid team School of Computer Science The University of ManchesterReceived on Tuesday, 13 March 2012 10:10:04 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:51:10 UTC