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

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
> >
> >
> >
> >
>
>
>