这种方法可以推断来自：部分术语（TBOX）和的断言部分（ABOX）的一种描述逻辑本体的隐性知识。本文介绍了基本的方法，并给出了一些理论背景的方法。
基于24个网页-相关网页
术语集(TBox):概念和概念描述的有限集合。其中,概念是一些定义域 元素的集合,概念描述是利用已有的概念和一些集合运算符定义新的概念,例如 己...
基于20个网页-相关网页
...基于描述逻辑的知识表示系统由四个基本部分组成：描述逻辑语言 (Description Language)：用于构造TBox 和ABox；TBox（术语公理）：是关于概念术 语的断言；ABox（断言事实）：是关于个体的断言；TBox 和ABox 上的推理机制。
基于16个网页-相关网页
FBs-TBOX 教育训练箱
acyclic TBox 非周期TBox
TBox mapping TBox映射
TBox integration TBox整合
minimal incoherence-preserving sub-TBox 最小不协调子集
以上来源于: WordNet
Finally, this thesis proves that the recursion fixed point theory can also be used for the semantic model computation of a stratified TBox in ontology knowledge base.
最后，根据可分层术语集合的特性，证明了循环不动点理论在本体知识库下可用于计算可分层术语集合的语义模型。
youdao
应用推荐
模块上移
模块下移
不移动