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