PROV-N to PROV-O mapping

Hello,

We have been working on capturing the various PROV inferences in an
ontology by extending the PROV ontology (PROV-O).

In the process we were wondering if you guys have defined a mapping between
PROV-N and PROV-O. We have been resorting to analyzing the test cases in
order to find these correspondences. This is obviously suboptimal and
error-prone.

We came across the ProvRDF document (
http://www.w3.org/2011/prov/wiki/ProvRDF), but it's incomplete and not
up-to-date. Will the WG update this document?

-- 
Best,
Héctor