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

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

From: Daniel Garijo <dgarijo@delicias.dia.fi.upm.es>
Date: Sun, 8 Apr 2012 21:17:07 +0200
Message-ID: <CAExK0DeduBApTjALmC++=gdn-2U=TXVALJuDhrQ8=YF5iMyOug@mail.gmail.com>
To: Timothy Lebo <lebot@rpi.edu>
Cc: Provenance Working Group <public-prov-wg@w3.org>, Paolo Missier <Paolo.Missier@ncl.ac.uk>
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 GMT

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