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

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