arXiv 1503.083262015-03math.CT

形式化本体：语言结构、实例化和映射

Toward formalizing ologs: Linguistic structures, instantiations, and mappings

Marco A. Pérez, David I. Spivak

备注：: 35 pages. There are several improvements with respect to the previous version: (1) many concepts where redefined in order to provide a more formal description of ontology logs, via the use of bicategories, lax functors and lax transformations, (2) all proofs are now given as prose arguments, merged with the text

摘要：

本文在一个小范畴上定义了语言结构的概念，以便对R. E. Kent和D. I. Spivak在他们的论文“Ologs：知识表示的分类框架。“特别是，我们构建了一个双类$\mathsf{Eng}$，英语名词短语和动词短语，赞同功能不同的作者。然后将olog定义为$\mathsf{Eng}$的lax函子。然后，我们提出了一个新的概念，语言函子，扩展斯皮瓦克的概念有意义的函子。最后，我们讨论了在这种情况下的ologs和数据库之间的关系。

英文摘要：

We define the notion of linguistic structure on a small category, in order to provide a more formal description of ontology logs, also known as ologs, introduced by R. E. Kent and D. I. Spivak in their paper "Ologs: A categorical framework for knowledge representation." In particular, we construct a bicategory $\mathsf{Eng}$, of English noun phrases and verb phrases, endorsed as functional by varying sets of authors. An olog is then defined as a lax functor to $\mathsf{Eng}$. We then present a new notion of linguistic functor, which extends Spivak's notion of meaningful functors. Finally, we discuss the relationship between ologs and databases in this context.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。