>>> >> >> 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
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:51:10 UTC