...基于描述逻辑的知识表示系统由四个基本部分组成：描述逻辑语言 (Description Language)：用于构造TBox 和ABox；TBox（术语公理）：是关于概念术 语的断言；ABox（断言事实）：是关于个体的断言；TBox 和ABox 上的推理机制。
基于16个网页-相关网页
以术语公理 terminological axioms
一般术语公理 general terminological axiom
术语公理
Axiom of terminology
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动