概念知识组织的资讯流基础

不同话语社群之间本体的共享，使它们能够将自身的信息结构与其他共享通用术语与语义的社群的信息结构进行比较——本体共享促进了在线知识组织之间的互操作性。本文展示了本体共享如何在资讯流（Information Flow, IF）的概念知识模型内形式化。资讯流通过可指定的、增强了同义类型等价的本体扩展层级来间接表示共享——两个本体通过一个各自扩展的通用本体共享术语与含义。使用形式化为 IF 逻辑的主体社群本体范式、形式化为 IF 理论的通用共享可扩展本体、从通用本体到参与社群本体的主体社群规范链接（可形式化为 IF 理论解释），本文论证本体共享集中于一个社群连接的虚拟本体中，并展示该虚拟本体如何可计算为主体本体的融合——即主体本体之和模本体共享结构之商。