W3C home > Mailing lists > Public > public-prov-wg@w3.org > September 2011

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

From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Sat, 17 Sep 2011 15:10:07 +0000
To: public-prov-wg@w3.org
Message-Id: <E1R4wWt-0000DZ-Il@barney.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 Saturday, 17 September 2011 15:10:09 GMT

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