《表1 一阶逻辑与DLs的对应关系》
列出几个公式的对应关系(语义等价)及汉语例子,仅供参考。完整的对应关系见文献[4,7]。如表1所示。
图表编号 | XD00150096200 严禁用于非法目的 |
---|---|
绘制时间 | 2020.07.18 |
作者 | 宋丛威 |
绘制单位 | 浙江工业大学之江学院理学院 |
更多格式 | 高清、无水印(增值服务) |
列出几个公式的对应关系(语义等价)及汉语例子,仅供参考。完整的对应关系见文献[4,7]。如表1所示。
图表编号 | XD00150096200 严禁用于非法目的 |
---|---|
绘制时间 | 2020.07.18 |
作者 | 宋丛威 |
绘制单位 | 浙江工业大学之江学院理学院 |
更多格式 | 高清、无水印(增值服务) |