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>

in the case where:

:anything prov:hadRole :myRole .

We know that :anything is of type:


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.


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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:51:10 UTC