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

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:18:05 UTC