Re: prov-wg: Another name for Qualified?

On Feb 17, 2012, at 6:44 PM, Paul Groth wrote:

> Err... Maybe I'm missing something but isn't the range of all the properties that were of the form hadQualifiedYYY 
> 
> QualifiedInvolvement?

It is, but sounds like it has been informally accepted as being renamed to "Involvement".

-Tim


> 
> Paul
> 
> 
> On Feb 18, 2012, at 0:32, Timothy Lebo <lebot@rpi.edu> wrote:
> 
>> 
>> On Feb 17, 2012, at 5:56 PM, Paul Groth wrote:
>> 
>>> So concretely:
>>> 
>>> ex:a1 prov:generation ex:gen1.
>>> ex:gen1 a prov:Generation.
>>> ex:gen1 prov:entity ex:e1.
>>> 
>>> It just reads a bit odd to me because the predicate isn't a verb...
>>> 
>>> prov:involvedGeneration, while long "reads" well.
>> 
>> Yipes. That expands what "can be involved" from Activities \union Entities to also include Involvements.
>> 
>> Activities involved Involvements? Seems a little meta...
>> I woud say Activities involve Entities (and perhaps other Activities) - but not Involvements.
>> 
>> :: shrug ::
>> 
>> -Tim
>> 
>> 
>> 
>>> 
>>> 
>>> Paul
>>> 
>>> On Feb 17, 2012, at 23:09, Luc Moreau <L.Moreau@ecs.soton.ac.uk> wrote:
>>> 
>>>> Hi Paul,
>>>> 
>>>> 
>>>> s/Qualified// on properties too
>>>> 
>>>> 
>>>> hadQualifiedXXX -> hadXXX
>>>> 
>>>> 
>>>> And if you said s/had// 
>>>> Then 
>>>> 
>>>> hadQualifiedXXX -> XXX
>>>> 
>>>> 
>>>> Professor Luc Moreau
>>>> Electronics and Computer Science
>>>> University of Southampton 
>>>> Southampton SO17 1BJ
>>>> United Kingdom
>>>> 
>>>> On 17 Feb 2012, at 21:51, "Paul Groth" <p.t.groth@vu.nl> wrote:
>>>> 
>>>>> Hi Luc
>>>>> 
>>>>> I think we agree that Qualified shouldn't be in front of the class names. In the ontology they aren't.
>>>>> 
>>>>> The question is what the predicate should be between the activity and the Involvement subclass?
>>>>> 
>>>>> I'm open to suggestions.
>>>>> Paul
>>>>> 
>>>>> On Feb 17, 2012, at 22:35, Luc Moreau <L.Moreau@ecs.soton.ac.uk> wrote:
>>>>> 
>>>>>> Hi Tim, Paul
>>>>>> Still in the spirit of simplification
>>>>>> 
>>>>>> used vs Usage
>>>>>> wasGeneratedBy vs Generation
>>>>>> 
>>>>>> Why do we need Qualified? If you say QualifiedGeneration, ... 
>>>>>> I always expect a UnqualifiedGeneration ..  But there is no such class.
>>>>>> 
>>>>>> s/Qualified//
>>>>>> 
>>>>>> Luc
>>>>>> 
>>>>>> 
>>>>>> Professor Luc Moreau
>>>>>> Electronics and Computer Science
>>>>>> University of Southampton 
>>>>>> Southampton SO17 1BJ
>>>>>> United Kingdom
>>>>>> 
>>>>>> On 17 Feb 2012, at 18:57, "Timothy Lebo" <lebot@rpi.edu> wrote:
>>>>>> 
>>>>>>> 
>>>>>>> On Feb 17, 2012, at 11:20 AM, Paul Groth wrote:
>>>>>>> 
>>>>>>>> Hi Tim, Jim,
>>>>>>>> 
>>>>>>>> I like the suggestion a lot. [English teacher verification is good :-) ] Indeed, I was thinking that all the "had" in the ontology were a bit verbose. A blank node may indeed be the best way solve it for having long types.
>>>>>>> 
>>>>>>> Blank nodes should not be any way to solve URI length (or any other problem; they should be avoided at all costs).
>>>>>>> Any occurrence of bnodes in my examples could  just as easily be URIs. I'm just using them for abbreviation to show the structure.
>>>>>>> 
>>>>>>> I'm not sure how you interpreted my example as using bnodes to solve a length problem. Could you explain?
>>>>>>> 
>>>>>>> 
>>>>>>>> 
>>>>>>>> A couple of questions in your examples:
>>>>>>>> 
>>>>>>>> - You have the prov:generated relationship but I don't see that in the ontology file although I do see it in the ProvRDF page? This is issue #98, which has no resolution http://www.w3.org/2011/prov/track/issues/98
>>>>>>> 
>>>>>>> Thanks for pointing that out. I agree with the issue and think that it should be added to the ontology as an owl:inverse of prov:wasGeneratedBy.
>>>>>>> (oh, I created the issue. Glad that I still agree with it!)
>>>>>>> Though, I'm expecting push back on an inverse being added to the ontology.
>>>>>>> 
>>>>>>>> 
>>>>>>>> - You use the relation prov:entity and not prov:hadQualifiedEntity.
>>>>>>> 
>>>>>>> prov:entity was the initial stand in. And I'm bringing it up again because it's a "whole lot shorter".
>>>>>>> 
>>>>>>> 
>>>>>>>> This also isn't in the ontology or this a suggestion?
>>>>>>> 
>>>>>>> resurrected suggestion.
>>>>>>> 
>>>>>>>> 
>>>>>>>> ---
>>>>>>>> I'm trying to think of other shorter names that convey the same meaning as qualified involvement.
>>>>>>> 
>>>>>>> For the class or predicates? For the class, go "Involvement". Short.
>>>>>>> For the predicate, "qualifiedGeneration / Use" is worth the length in my opinion, because it parallels prov:generated / prov:used in a natural way.
>>>>>>> 
>>>>>>> -Tim
>>>>>>> 
>>>>>>> 
>>>>>>>> Just for less typing but clearly I don't want to open a huge debate there.
>>>>>>>> 
>>>>>>>> If anyone, comes up with suggestions that would be great. I'll try to think of some myself. But again this may be too picky
>>>>>>>> 
>>>>>>>> thanks for the quick response,
>>>>>>>> Paul
>>>>>>>> 
>>>>>>>> Jim McCusker wrote:
>>>>>>>>> To be clear, we're using "qualified" as a verb, not a noun, which is why
>>>>>>>>> we can drop "had".
>>>>>>>>> 
>>>>>>>>> Jim
>>>>>>>>> 
>>>>>>>>> On Feb 17, 2012 8:50 AM, "Timothy Lebo" <lebot@rpi.edu
>>>>>>>>> <mailto:lebot@rpi.edu>> wrote:
>>>>>>>>> 
>>>>>>>>> 1)
>>>>>>>>> Although it doesn't shorten it up much, I think it is _much_ clearer
>>>>>>>>> if we drop "had".
>>>>>>>>> 
>>>>>>>>> prov:hadQualifiedGeneration -> prov:qualifiedGeneration
>>>>>>>>> 
>>>>>>>>> This changes the statement from a passive to active, which will make
>>>>>>>>> all of my writing teachers happy.
>>>>>>>>> The Activity qualified its Generation.
>>>>>>>>> 
>>>>>>>>> This also parallels the unqualified form nicely ("generated" and
>>>>>>>>> "qualifiedGeneration") -- a fork in the road with two routes that a
>>>>>>>>> client can follow, depending on how much detail they want.:
>>>>>>>>> 
>>>>>>>>> :my_activity
>>>>>>>>> a prov:Activity;
>>>>>>>>> prov:generated :my_entity;
>>>>>>>>> prov:qualifiedGeneration [
>>>>>>>>> a prov:Generation;
>>>>>>>>> prov:entity :my_entity;
>>>>>>>>> :foo :bar;
>>>>>>>>> ]
>>>>>>>>> .
>>>>>>>>> 
>>>>>>>>> 
>>>>>>>>> 2)
>>>>>>>>> QualifiedInvolvement -> Involvement still makes _complete_ sense,
>>>>>>>>> since it is inherently qualifying the binary relation. Being an
>>>>>>>>> Involvement _means_ that you're being pointed at with some
>>>>>>>>> subproperty of prov:qualifiedInvolvement (e.g. qualifiedGeneration)
>>>>>>>>> AND you're pointing to the (rdf:object) involvee with, say, prov:entity.
>>>>>>>>> 
>>>>>>>>> As for the predicates hanging off of the Involvement, we started
>>>>>>>>> with just:
>>>>>>>>> 
>>>>>>>>> :my_activity prov:qualifiedGeneration [
>>>>>>>>> a prov:Generation;
>>>>>>>>> prov:entity :my_entity;
>>>>>>>>> ]
>>>>>>>>> 
>>>>>>>>> but we run into a slight hiccup when we're qualifying the
>>>>>>>>> Involvement between two Entities b/c we don't know which is the
>>>>>>>>> rdf:subject and which is the rdf:object of the binary relation we're
>>>>>>>>> qualifying. However, these situations start to leave core, and a
>>>>>>>>> qualified involvement between two entities should be some Activity,
>>>>>>>>> so we can avoid the degenerate Entity-Entity case.
>>>>>>>>> 
>>>>>>>>> -Tim
>>>>>>>>> 
>>>>>>>>> 
>>>>>>>>> 
>>>>>>>>> On Feb 16, 2012, at 8:53 AM, Paul Groth wrote:
>>>>>>>>> 
>>>>>>>>>> Hi All,
>>>>>>>>>> 
>>>>>>>>>> The idea behind QualifiedInvolvement is great and it's been
>>>>>>>>> resolved for a while so I don't want to open it up.
>>>>>>>>>> 
>>>>>>>>>> but.... could we get a better name?
>>>>>>>>>> 
>>>>>>>>>> The name is long, especially for the properties. So you have to
>>>>>>>>> write:
>>>>>>>>>> 
>>>>>>>>>> ex:activity1 prov:hadQualifiedGeneration ex:g1.
>>>>>>>>>> ex:g1 prov:hadQualifiedEntity ex:e1.
>>>>>>>>>> ex:g1 prov:wasGeneratedAt [owlTime:inXSDDateTime
>>>>>>>>> 2006-01-01T10:30:00-5:00].
>>>>>>>>>> 
>>>>>>>>>> could we shorten them up somehow? Any suggestions?
>>>>>>>>>> 
>>>>>>>>>> regards,
>>>>>>>>>> Paul
>>>>>>>>>> 
>>>>>>>> 
>>>>>>> 
>>>>>>> 
>>