中国科学院计算技术研究所机构知识库

浏览/检索结果: 共8条，第1-8条

帮助

限定条件

语种：英语

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序WOS被引频次升序WOS被引频次降序题名升序题名降序
	支持链式桥规则的分布式动态描述逻辑 期刊论文 高技术通讯, 2014, 卷号: 24, 期号: 5, 页码: 452 作者:  张建华;  史忠植;  岳金朋;  齐保元;  蒋运承;  王晓峰 收藏  |  浏览/下载：6/0  |  提交时间：2023/12/04 描述逻辑(DL)  动态描述逻辑(DDL)  分布式动态描述逻辑(D3L)  桥规则  链式桥规则
	D3L（ccy）的属性及分布式Tableaux推理算法的研究 期刊论文 计算机研究与发展, 2014, 卷号: 51.0, 期号: 003, 页码: 570 作者:  赵晓非;  田东平;  张文波;  史忠植 收藏  |  浏览/下载：5/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 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 形式概念分析  对应关系  描述逻辑  知识基础  背景模型  价值观念  逻辑语言  伽罗瓦
	基于动态描述逻辑的Web服务自动组合技术 期刊论文 高技术通讯, 2011, 卷号: 21.0, 期号: 1.0, 页码: 58 作者:  陈立民;  王竹晓;  史忠植 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 Web服务  Web服务自动组合wsc）  语义Web  描述逻辑（DL）  动态描述逻辑  （DDL）
	基于描述逻辑DL_（RBAC）的RBAC形式化模型 期刊论文 北京航空航天大学学报, 2010, 卷号: 000, 期号: 011, 页码: 1315 作者:  马丽;  马世龙;  眭跃飞 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 访问控制  基于角色的访问控制  描述逻辑
	一种RBAC的描述逻辑表示方法 期刊论文 计算机科学, 2010, 卷号: 000, 期号: 003, 页码: 29 作者:  马丽;  马世龙;  眭跃飞;  伊胜伟 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 访问控制  角色  权限  描述逻辑  角色继承
	基于动态描述逻辑的语义Web服务匹配研究 期刊论文 计算机研究与发展, 2008, 卷号: 45.0, 期号: 012, 页码: 2102 作者:  彭晖;  陈立民;  常亮;  史忠植 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 语义Web服务  服务匹配  描述逻辑  动态描述逻辑  动作
	一种分布式动态描述逻辑 期刊论文 计算机研究与发展, 2006, 卷号: 43.0, 期号: 009, 页码: 1603 作者:  王驹;  蒋运承;  史忠植;  汤庸 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 描述逻辑  动态描述逻辑  分布式动态描述逻辑  语义Web