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

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

From: Timothy Lebo <lebot@rpi.edu>
Date: Mon, 5 Mar 2012 10:58:15 -0500
Cc: Provenance Working Group WG <public-prov-wg@w3.org>
Message-Id: <A4D4DE75-A278-4F70-A528-18F2486BE68B@rpi.edu>
To: Daniel Garijo <dgarijo@delicias.dia.fi.upm.es>
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
> 
> 
> 
> 
Received on Monday, 5 March 2012 15:58:53 GMT

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