W3C home > Mailing lists > Public > public-prov-comments@w3.org > September 2012

suggested resolution ISSUE-507

From: Paul Groth <p.t.groth@vu.nl>
Date: Thu, 27 Sep 2012 21:35:59 +0200
Message-ID: <CAJCyKRp2-uobcDsgKhuU2hPdJuDsJ1ZyR-=Zc0cJ4NxPYZVsPQ@mail.gmail.com>
To: "Freimuth, Robert, Ph.D." <Freimuth.Robert@mayo.edu>
Cc: public-prov-comments@w3.org
Dear Robert

Thank you for your comment. Below is the suggested resolution. Please
let us know if you are fine with it. You can find any suggested
changes in the latest editor's draft at


ISSUE-507 (Inverse Relations)

"PROV-O gives the unqualified inverse of wasAssociatedWith as
prov:wasAssociateFor, but that association isn't included in these
tables. Please verify all docs in the PROV spec are internally
consistent and complete, so that someone that reads only the data
model spec is not missing information found in the ontology spec."

Original email:

Tracker: http://www.w3.org/2011/prov/track/issues/507

Group Response
- In line with relational design, PROV-DM, as a conceptual model,
defines relations without defining their inverses.

- PROV-O does not define inverse relations normatively. Instead,
prov-o suggests (by means of annotations) names that may be used for
inverse properties.

- Hence, PROV-O and PROV-DM are aligned since they do not provide
normative definitions of inverses.

- This issue was debated at length by the Working Group. A key concern
regarding normative definitions of inverse is the proliferation of

- A PROV extension may adopt the suggested names for their specific purpose.

- Issue on inverse: http://www.w3.org/2011/prov/track/issues/83
- Group resolution to add annotation for inverses:

Changes to the document: none.

Dr. Paul Groth (p.t.groth@vu.nl)
Assistant Professor
- Knowledge Representation & Reasoning Group |
  Artificial Intelligence Section | Department of Computer Science
- The Network Institute
VU University Amsterdam
Received on Thursday, 27 September 2012 19:36:30 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:50:04 UTC