Hi Tim, Paolo, all. This issue is now pending review. Paolo, can we close it? Thanks, Daniel 2012/3/15 Timothy Lebo <lebot@rpi.edu> > 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 Sunday, 8 April 2012 19:17:36 UTC
This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:58:14 UTC