First Page | Document Content | |
---|---|---|
Date: 2011-08-08 22:36:20 | 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 modAdd to Reading ListSource URL: arxiv.orgDownload Document from Source WebsiteFile Size: 624,44 KBShare Document on Facebook |