Re: PROV-ISSUE-262 (qualifier-property): entity used entity? [Ontology]

Oops, this addressed another issue, Association, where prov:entity was desired to be constrained to a prov:Agent.

prov:Usage looks like another, different issue.  I'll get back to this shortly.

--Stephan

On Feb 23, 2012, at 10:17 AM, Stephan Zednik wrote:

> If we break OWL-RL compatibility, we can add an owl:allValuesFrom restriction that prov:entity refer to an prov:Agent when the subject is a prov:Usage.
> 
> prov:Usage
> 	rdfs:sublClassOf [ a owl:Restriction ;
> 		owl:allValuesFrom prov:Agent ;
> 		owl:onProperty prov:entity
> 	] .
> 
> --Stephan
> 
> On Feb 22, 2012, at 3:10 PM, Provenance Working Group Issue Tracker wrote:
> 
>> PROV-ISSUE-262 (qualifier-property): entity used entity?  [Ontology]
>> 
>> http://www.w3.org/2011/prov/track/issues/262
>> 
>> Raised by: Luc Moreau
>> On product: Ontology
>> 
>> 
>> I am not sure, but it looks like we can write
>> 
>> :e2 prov:qualified [a Usage
>>                            prov:entity :e1]
>> 
>> and
>> 
>> :a2 prov:qualified [a Usage
>>                            prov:entity :e1]
>> 
>> where e2 and a2 are entity and activity respectively.
>> 
>> It seems that the domain of qualified is any element, so it can beany  activity or entity.  This allows any Involvement to be linked with any Element, which is contrary to the table at the beginning of section 4.2 in the prov-dm draft.
>> 
>> Over the week-end there was a discussion of simplifying hadQualifiedUsage property into something more readable.  My suggestion was hadUsage, or even usage. This would avoid this type of problem.
>> 
>> 
>> 
>> 
>> 
>> 
>> 
>> 
> 
> 
> 

Received on Thursday, 23 February 2012 17:22:13 UTC