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

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

From: Daniel Garijo <dgarijo@delicias.dia.fi.upm.es>
Date: Mon, 5 Mar 2012 16:37:14 +0100
Message-ID: <CAExK0DcQgfZftJRbD35hZ-WpqDTErwpifiHJyGdROwP9uw2zJg@mail.gmail.com>
To: Provenance Working Group WG <public-prov-wg@w3.org>
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
>
>
>
>
Received on Monday, 5 March 2012 15:37:46 GMT

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