《表1 公理T与子句集Ξ(T)的转换》
提示：宽带有限、当前游客访问压缩模式
第1步，将Q和T转换为一系列子句的集合Ξ（T）∪{Q}。Ξ（T）表示由T得到的子句的集合。TBox公理与逻辑子句的转换如表1所示。
| 图表编号 | XD00189881000 严禁用于非法目的 |
|---|---|
| 绘制时间 | 2021.01.01 |
| 作者 | 刘思培、蔡一凡、曹玲玲、侯海婷、鲍家坤、袁鸯 |
| 绘制单位 | 北方信息控制研究院集团有限公司总体部、吉林大学软件学院、北方信息控制研究院集团有限公司总体部、北方信息控制研究院集团有限公司总体部、北方信息控制研究院集团有限公司总体部、北方信息控制研究院集团有限公司总体部 |
| 更多格式 | 高清、无水印（增值服务） |
