W3C home > Mailing lists > Public > public-prov-wg@w3.org > March 2012

Re: PROV-ISSUE-317 (dgarijo): the domain of hadRole includes Derivation [Ontology]

From: Timothy Lebo <lebot@rpi.edu>
Date: Thu, 15 Mar 2012 11:46:22 -0400
Message-Id: <EEEF4E3C-6E7A-47FE-81F2-F0673BFCBE08@rpi.edu>
To: Provenance Working Group <public-prov-wg@w3.org>
Paolo,

in the case where:

:anything prov:hadRole :myRole .


We know that :anything is of type:

rdfs:Resource
owl:Thing
prov:Involvement


because of the axiom

prov:hadRole rdfs:domain prov:Involvement .



Because prov:Involvement is not disjoint with _anything_, any instance of prov:Involvement can also be of _any_ other type.


Since the ontology DOES NOT result in the assertion:

:anything rdf:type prov:Derivation

I propose that we can close the issue.


Thanks,
Tim


On Mar 14, 2012, at 7:59 PM, Provenance Working Group Issue Tracker wrote:

> PROV-ISSUE-317 (dgarijo): the domain of hadRole includes Derivation [Ontology]
> 
> http://www.w3.org/2011/prov/track/issues/317
> 
> Raised by: Paolo Missier
> On product: Ontology
> 
> currently the domain of hadRole includes Derivation, however this seems incorrect as there are no roles associated to derivation
> 
> 
> 
> 
Received on Thursday, 15 March 2012 15:46:55 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 13:06:58 GMT