Re: Today's prov-o team telecon

Luc,


On Apr 10, 2012, at 3:16 PM, Luc Moreau wrote:

> Hi Tim,
> 
> Can you clarify the implication of this resolution:
>> hadActivity for a Responsibility (Agent->Agent) https://www.w3.org/2011/prov/track/issues/226 ISSUE-226
>> PROPOSE: relax domain of hadActivity so that a Responsibility can use it.
>> Derivation -> Activity via prov:hadActivity
>> RESOLVED: change prov:hadActivity domain from Derivation to Involvement.
>> TODO: make clearer in the HTML how to use it. (in 3.3)
> 
> It now seems that we can have Attribution, Quotation, etc in the domain of hadActivity. This is not in line with DM.


This will be a persistent tradeoff in RL, and I don't know how to resolve this kind of interpretation. It's simply not what the axioms say. The reasoning you use is incorrect.
I've outlined the inferences that one can obtain with rdfs:domain before, and showed that there is not an inconsistency or an inference that does not make sense.


prov:hadActivity rdfs:domain prov:Involvement .
:s prov:hadActivity :a 
--------
:s a prov:Involvement


this is different than saying:
:q a prov:Quotation
-------
:q prov:hadActivity :activity

which is NOT derivable in the current ontology, but how you are interpreting it.
A class being in the domain of a property does NOT imply that the class uses that property.

The axioms that you're thinking of are minCardinality 1 / someValuesFrom, etc., which WOULD imply that the class has the property.




> 
> Also, Generation is in the domain of both activity and hadActivity. Isn't this strange?

resources described with prov:activity are prov:ActivityInvolvements.
resources described with prov:hadActivity are prov:Involvements .
Being a subclass of either of these classes does not imply that you are described with either of these properties.


-Tim



> 
> Professor Luc Moreau
> Electronics and Computer Science
> University of Southampton 
> Southampton SO17 1BJ
> United Kingdom
> 
> On 9 Apr 2012, at 17:33, "Timothy Lebo" <lebot@rpi.edu> wrote:
> 
>> We had a quick meeting due to the UK holiday.
>> 
>> Minutes are at http://www.w3.org/2011/prov/wiki/PIL_OWL_Ontology_Meeting_2012-04-09
>> 
>> Regards,
>> Tim
>> 
>> On Apr 9, 2012, at 10:47 AM, Timothy Lebo wrote:
>> 
>>> Thanks, Paolo.
>>> 
>>> It's not a holiday on this side of the pond, but I took the day off myself.
>>> 
>>> Rest of prov-o, will you be joining?
>>> Please email me directly if you'd rather keep this off list.
>>> 
>>> Regards,
>>> Tim
>>> 
>>> 
>>> On Apr 9, 2012, at 10:38 AM, Paolo Missier wrote:
>>> 
>>>> apologies, not joining, it's a UK holiday today (and I believe this is true at least of the rest of Europe?)
>>>> 
>>>> -Paolo
>>>> 
>>>> 
>>>> On 4/9/12 3:30 PM, Timothy Lebo wrote:
>>>>> prov-o team,
>>>>> 
>>>>> The agenda for today's telecon is at:
>>>>> http://www.w3.org/2011/prov/wiki/PIL_OWL_Ontology_Meeting_2012-04-09#Agenda
>>>>> 
>>>>> Please be prepared to:
>>>>> 1) raise topics from last week's feedback that the team should discuss during meeting
>>>>> 2) discuss the ISSUEs listed on the agenda.
>>>>> 
>>>>> Regards,
>>>>> Tim
>>>> 
>>>> 
>>>> 
>>> 
>>> 
>>> 
>> 
>>