|
已选(0)清除
条数/页： 排序方式： |
| 面向异构语义映射的D3L转换算法及其性质研究 期刊论文
计算机研究与发展, 2018, 卷号: 55.0, 期号: 012, 页码: 2715
作者: 赵晓非; 史忠植; 冯志勇
  收藏 | 浏览/下载：10/0 | 提交时间：2023/12/04
分布式动态描述逻辑 异构桥规则 正则性 集中式推理 计算复杂度 |
| 无权访问的条目 学位论文
作者: 齐保元
Adobe PDF(40080Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2015/06/29 |
| 无权访问的条目 学位论文
作者: 岳金朋
Adobe PDF(1948Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2014/07/08 |
| 无权访问的条目 学位论文
作者: 张建华
Adobe PDF(1844Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2014/07/10 |
| 支持链式桥规则的分布式动态描述逻辑 期刊论文
高技术通讯, 2014, 卷号: 24, 期号: 5, 页码: 452
作者: 张建华 ; 史忠植; 岳金朋; 齐保元; 蒋运承; 王晓峰
收藏 | 浏览/下载：10/0 | 提交时间：2023/12/04
描述逻辑(DL) 动态描述逻辑(DDL) 分布式动态描述逻辑(D3L) 桥规则 链式桥规则 |
| 链式桥规则导致的D3L知识传播及推理 期刊论文
计算机学报, 2014, 卷号: 37.0, 期号: 012, 页码: 2419
作者: 赵晓非; 田东平; 史颖欢; 史忠植
收藏 | 浏览/下载：9/0 | 提交时间：2023/12/04
分布式动态描述逻辑（D3L） 知识传播 合取映射 链式桥规则 |
| D3L（ccy）的属性及分布式Tableaux推理算法的研究 期刊论文
计算机研究与发展, 2014, 卷号: 51.0, 期号: 003, 页码: 570
作者: 赵晓非; 田东平; 张文波; 史忠植
收藏 | 浏览/下载：9/0 | 提交时间：2023/12/04
分布式动态描述逻辑 知识传播 组合一致性 分布式推理 Tableaux推理算法 distributed dynamic description logics （D3L） |
| 无权访问的条目 学位论文
作者: 陈立民
Adobe PDF(3461Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2011/07/01 |
| 无权访问的条目 学位论文
作者: 王竹晓
Adobe PDF(2593Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/06/23 |
| 无权访问的条目 学位论文
作者: 牛温佳
Adobe PDF(5915Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/06/22 |
