Quads and Contexts for the SemWeb

With the paper Knowledge Representation in Bicategories of Relations in addition to Benjamin Braatz's PhD thesis we have a very good model of how RDF fits into Category Theory. The Bicategory of Relations has the advantage of following intuitions from Spivak on Databases and being very simple (apart from the string diagram representation perhaps).

But RDF cannot on the Web without taking context into account. Here we can list the various papers where that is done.

It would be nice if it could confirm Pat Hayes' intuitions in Context Mereology and of course the original Thesis by Guha Contexts: A Formalization and Some Applications, as well as tie in with older possible world notions that seem to be related to contexts.