172 citations · 796 across the 66 of their papers we have counts for
1 paper · 2 filters
David I. Spivak, Robert E. Kent
In this paper we introduce the olog, or ontology log, a category-theoretic model for knowledge representation (KR). Grounded in formal mathematics, ologs can be rigorously formulat…