IFF范畴论本体的KIF形式化
计算机科学中的逻辑
2011-09-05 v1 人工智能
范畴论
摘要
本文开始讨论如何使用信息流框架为标准上层本体的元层（或结构层）提供有原则的基础。该SUO结构层可用作逻辑框架，以操作SUO对象层或其他中间层与领域本体中的本体集合。从信息流的角度看，SUO结构层可分解为几个元层本体。本文讨论了其中一个元层范畴，即范畴论本体的KIF形式化。具体而言，本文讨论了其范畴与余极限子命名空间。
引用
@article{arxiv.1109.0333,
title = {A KIF Formalization for the IFF Category Theory Ontology},
author = {Robert E. Kent},
journal= {arXiv preprint arXiv:1109.0333},
year = {2011}
}
备注
Paper presented at the Standard Upper Ontology workshop of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), August, 2001, Seattle, Washington