特别是近些 年来，在国外，原来的术语库已经开始转向术语知识库(terminological knowledge bases， TKB)的开发上。
基于8个网页-相关网页
术语知识库
Terminology Knowledge Base
以上为机器翻译结果，长、整句建议使用 人工翻译 。
最后，根据可分层术语集合的特性，证明了循环不动点理论在本体知识库下可用于计算可分层术语集合的语义模型。
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
应用推荐
模块上移
模块下移
不移动