Knowledge Representation in Bicategories of Relations