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:
- Re: PROV-ISSUE-97 (TLebo): define prov:wasComplementOf [Formal Model] (from lebot@rpi.edu on 2012-03-05)
- Re: PROV-ISSUE-97 (TLebo): define prov:wasComplementOf [Formal Model] (from dgarijo@delicias.dia.fi.upm.es on 2012-03-05)
- Updates on issues raised for PROV-O (from satya.sahoo@case.edu on 2011-11-15)
- 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)
- 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