W3C home > Mailing lists > Public > public-prov-wg@w3.org > March 2012

Re: PROV-ISSUE-102 (hadRecipe): Ontology is missing recipe link [Formal Model]

From: Timothy Lebo <lebot@rpi.edu>
Date: Mon, 12 Mar 2012 13:49:22 -0400
Cc: Luc Moreau <L.Moreau@ecs.soton.ac.uk>, Provenance Working Group WG <public-prov-wg@w3.org>
Message-Id: <90E36B66-25CD-4F7B-A82A-9FC942F7B999@rpi.edu>
To: Stephan Zednik <zednis@rpi.edu>
>>> 
>> 
>> 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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 13:06:58 GMT