Back to Results
First PageMeta Content



arXiv:1102.1889v2 [cs.LO] 7 AugOLOGS: A CATEGORICAL FRAMEWORK FOR KNOWLEDGE REPRESENTATION DAVID I. SPIVAK AND ROBERT E. KENT Abstract. In this paper we introduce the olog, or ontology log, a categorytheoretic mod
Add to Reading List

Document Date: 2011-08-08 22:36:20


Open Document

File Size: 624,44 KB

Share Result on Facebook