<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-05-20 05:24:58Binary trees Data types Knowledge representation Tree Binary search tree B-tree Node T-tree Ternary tree Redblack tree |
| First Page | Document Content | |
|---|---|---|
Date: 2011-05-20 05:24:58Binary trees Data types Knowledge representation Tree Binary search tree B-tree Node T-tree Ternary tree Redblack tree |
![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](https://www.pdfsearch.io/img/e832189c2d7ea053c9824cf308f19cbe.jpg "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")
