I recently started to be more interested about "classical AI" and in particular about knowledge graphs/ontologies. I was looking for a modern (written after 2015 if possible) and highly mathematical book on this subject. In particular, I would love if the book used formalisms from logic and category theory (or a subset/superset :) of these).
Thx!