Knowledge representation in bicategories of relations, 2017. Evan Patterson.
I explain how to represent relational knowledge in a mathematical structure called a bicategory of relations. I argue that the categorical-relational framework has important advantages over description logic, the dominant formalism for knowledge representation today. Read more