Thanks. In a similar vein, there's a recent Knowledge Representation in Bicategories of Relations https://arxiv.org/pdf/1706.00526.pdf .