...基于描述逻辑的知识表示系统由四个基本部分组成：描述逻辑语言 (Description Language)：用于构造TBox 和ABox；TBox（术语公理）：是关于概念术 语的断言；ABox（断言事实）：是关于个体的断言；TBox 和ABox 上的推理机制。
基于16个网页-相关网页
以上来源于: 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.
最后，根据可分层术语集合的特性，证明了循环不动点理论在本体知识库下可用于计算可分层术语集合的语义模型。
Exhibition form: setting Audi TBOX game and entertainment district, to allow customers to visit the city hall and enjoy the pleasant brand experience at the same time.
展示形式：为客户专门设置奥迪tbox游戏机娱乐区，让客户在参观城市展厅的同时，带来愉悦的品牌体验。
应用推荐