BiRel ⇌ RDF: Relations of Arity > 2?
In Knowledge Representation in Bicategories of Relations we find that it allows relations of arity greater than 2. How does that map to RDF, OWL? We find for example the following on page 25:
Note that there seems to be a difference in how this is treated in regular logic (Appendix A) and coherent logic (Appendix B) as the last allows tuples A×B.