Re: PROV-ISSUE-97 (TLebo): define prov:wasComplementOf [Formal Model]

Daniel,

Thanks for pointing this out.

I have closed https://www.w3.org/2011/prov/track/issues/97
because prov:specializationOf has domain and range Entity in the current ontology.

Thanks,
Tim

On Mar 5, 2012, at 10:37 AM, Daniel Garijo wrote:

> Hi Tim,
> wasComplementOf has been replaced with alternateOf, and specializationOf,
> which are present in the ontology with domain and range Entity.
> 
> Can we close this issue?
> 
> Best,
> Daniel
> 
> 2011/9/17 Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
> 
> PROV-ISSUE-97 (TLebo): define prov:wasComplementOf [Formal Model]
> 
> http://www.w3.org/2011/prov/track/issues/97
> 
> Raised by: Timothy Lebo
> On product: Formal Model
> 
> The following three axioms to be added to the ontology [1]:
> 
> prov:wasComplementOf a owl:ObjectProperty .
> prov:wasComplementOf rdfs:domain prov:Entity .
> prov:wasComplementOf rdfs:range prov:Entity .
> 
> [1] http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-complement-of
> 
> 
> 
>