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

>>> 
>> 
>> 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