已选(0)清除
条数/页: 排序方式: |
| 支持链式桥规则的分布式动态描述逻辑 期刊论文 高技术通讯, 2014, 卷号: 24, 期号: 5, 页码: 452 作者: 张建华; 史忠植; 岳金朋; 齐保元; 蒋运承; 王晓峰 收藏  |  浏览/下载:10/0  |  提交时间:2023/12/04 描述逻辑(DL) 动态描述逻辑(DDL) 分布式动态描述逻辑(D3L) 桥规则 链式桥规则 |
| D3L(ccy)的属性及分布式Tableaux推理算法的研究 期刊论文 计算机研究与发展, 2014, 卷号: 51.0, 期号: 003, 页码: 570 作者: 赵晓非; 田东平; 张文波; 史忠植 收藏  |  浏览/下载:9/0  |  提交时间:2023/12/04 分布式动态描述逻辑 知识传播 组合一致性 分布式推理 Tableaux推理算法 distributed dynamic description logics (D3L) |
| The correspondence between the concepts in description logics for contexts and formal concept analysis 期刊论文 中国科学:信息科学(英文版), 2012, 卷号: 55.0, 期号: 005, 页码: 1106 作者: Ma Yue; Sui Yuefei; Cao Cungen 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 形式概念分析 对应关系 描述逻辑 知识基础 背景模型 价值观念 逻辑语言 伽罗瓦 |
| 基于动态描述逻辑的Web服务自动组合技术 期刊论文 高技术通讯, 2011, 卷号: 21.0, 期号: 1.0, 页码: 58 作者: 陈立民; 王竹晓; 史忠植 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 Web服务 Web服务自动组合wsc) 语义Web 描述逻辑(DL) 动态描述逻辑 (DDL) |
| 基于描述逻辑DL_(RBAC)的RBAC形式化模型 期刊论文 北京航空航天大学学报, 2010, 卷号: 000, 期号: 011, 页码: 1315 作者: 马丽; 马世龙; 眭跃飞 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 访问控制 基于角色的访问控制 描述逻辑 |
| 一种RBAC的描述逻辑表示方法 期刊论文 计算机科学, 2010, 卷号: 000, 期号: 003, 页码: 29 作者: 马丽; 马世龙; 眭跃飞; 伊胜伟 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 访问控制 角色 权限 描述逻辑 角色继承 |
| 基于动态描述逻辑的语义Web服务匹配研究 期刊论文 计算机研究与发展, 2008, 卷号: 45.0, 期号: 012, 页码: 2102 作者: 彭晖; 陈立民; 常亮; 史忠植 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 语义Web服务 服务匹配 描述逻辑 动态描述逻辑 动作 |
| 无权访问的条目 期刊论文 作者: 罗杰文; 施智平; 何 清; 史忠植 Adobe PDF(445Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/13 |
| 无权访问的条目 期刊论文 作者: 陈旺虎; 刘晨; 李厚福; 王建武 Adobe PDF(315Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/22 |
| 无权访问的条目 期刊论文 作者: 蒋运承; 史忠植; 汤 庸; 王 驹 Adobe PDF(454Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/15 |