Ologs：一个知识表示的范畴化框架
Ologs: a categorical framework for knowledge representation
摘要：
在本文中，我们介绍了olog，或本体日志，一个类别理论模型的知识表示（KR）。基于形式数学，ologs可以以其他KR模型（如语义网络）无法实现的方式进行严格的公式化和交叉比较。olog类似于关系数据库模式;事实上，如果需要，olog可以充当数据存储库。与数据库模式不同，数据库模式通常很难创建或修改，日志被设计为足够用户友好，因此创作或重新配置日志是理所当然的事情，而不是困难的苦差事。希望学习编写日志比学习数据库定义语言简单得多，尽管它们很相似。我们仔细地描述了ologs，并用许多例子来说明。作为一个应用，我们表明，任何原始递归函数可以描述的一个olog。我们还表明，ologs可以对齐或连接在一起成为一个更大的网络使用函子。然后，可以利用各种信息流动方法和机构来整合地方和全球的世界观。最后，我们为未来的研究提供了几种不同的途径。
英文摘要：
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 formulated and cross-compared in ways that other KR models (such as semantic networks) cannot. An olog is similar to a relational database schema; in fact an olog can serve as a data repository if desired. Unlike database schemas, which are generally difficult to create or modify, ologs are designed to be user-friendly enough that authoring or reconfiguring an olog is a matter of course rather than a difficult chore. It is hoped that learning to author ologs is much simpler than learning a database definition language, despite their similarity. We describe ologs carefully and illustrate with many examples. As an application we show that any primitive recursive function can be described by an olog. We also show that ologs can be aligned or connected together into a larger network using functors. The various methods of information flow and institutions can then be used to integrate local and global world-views. We finish by providing several different avenues for future research.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
