ISSUE-97: define prov:wasComplementOf

TLebo

define prov:wasComplementOf

State:
CLOSED
Product:
Ontology
Raised by:
Timothy Lebo
Opened on:
2011-09-17
Description:
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
Related Actions Items:
No related actions
Related emails:
  1. Re: PROV-ISSUE-97 (TLebo): define prov:wasComplementOf [Formal Model] (from lebot@rpi.edu on 2012-03-05)
  2. Re: PROV-ISSUE-97 (TLebo): define prov:wasComplementOf [Formal Model] (from dgarijo@delicias.dia.fi.upm.es on 2012-03-05)
  3. Updates on issues raised for PROV-O (from satya.sahoo@case.edu on 2011-11-15)
  4. Re: PROV-ISSUE-89 (what-entity-attributes): How do we find the attributes of an entity? [Formal Model] (from lebot@rpi.edu on 2011-09-17)
  5. PROV-ISSUE-97 (TLebo): define prov:wasComplementOf [Formal Model] (from sysbot+tracker@w3.org on 2011-09-17)

Related notes:

No additional notes.

Display change log ATOM feed


Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: 97.html,v 1.1 2013-06-20 07:38:01 vivien Exp $