- From: Timothy Lebo <lebot@rpi.edu>
- Date: Thu, 15 Mar 2012 11:46:22 -0400
- 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 UTC