- From: Timothy Lebo <lebot@rpi.edu>
- Date: Mon, 12 Mar 2012 13:49:22 -0400
- To: Stephan Zednik <zednis@rpi.edu>
- Cc: Luc Moreau <L.Moreau@ecs.soton.ac.uk>, Provenance Working Group WG <public-prov-wg@w3.org>
>>> >> >> PROV-N is a concrete syntax for a data model. The term 'optional' applies to the syntax. >> >> For the semantics, in part II of prov-dm, we can say that: >> >> if wasAssociatedWith(a,-,pl) holds that there exists an agent ag, such that wasAssociatedWith(a,ag,pl) holds. >> >> We write the existential quantifier in the underpinning rules, not in the syntax. >> >> Does it help? > > So if we set it to 'optional' in PROV-N, and use owl:someValuesFrom in PROV-O, is everything good? someValuesFrom by intent, since we can't say that in RL. -Tim > > If so I think I am happy with this issue being resolved. > > --Stephan > >> >> Cheers,
Received on Monday, 12 March 2012 17:51:09 UTC