Summary of current status of RDF-Semantics

Summary of current status of RDF-Semantics:


  *   PR #165<https://github.com/w3c/rdf-semantics/pull/165> "Updating Appendix B (used to be C): Proofs for some results"
     *    linked to issue #162<https://github.com/w3c/rdf-semantics/issues/162> "Checking and updating Appendix C "Proofs of some results"
     *    inked to issue #102<https://github.com/w3c/rdf-semantics/issues/102> "Check if the interpolation lemma is still true given the new semantics"
     *    status: waiting for Dörthe to complete the PR; no pending nor necessary discussion
  *   PR #160<https://github.com/w3c/rdf-semantics/pull/160> "Fixes correctness of Appendix A”
     *   linked to issue #139<https://github.com/w3c/rdf-semantics/issues/139> "check correctness of Appendix A”
     *   status: still open minor discussions; needs Dörthe to finalise the PR