动态描述逻辑

作品数：47被引量：260H指数：10
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：史忠植常亮陈立民王竹晓古天龙更多>>
相关机构：中国科学院桂林电子科技大学中国科学院研究生院中国科学院大学更多>>
相关期刊：《高技术通讯》《信息工程大学学报》《智能系统学报》《重庆邮电大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
D-NSWRL:一种语义Web动态扩展的非单调规则语言
《重庆邮电大学学报（自然科学版）》2020年第1期154-163,共10页王星 李佳 陈吉 
国家自然科学基金(61402212);辽宁省高等学校杰出青年学者成长计划(LJQ2015045);辽宁省自然科学基金面上项目(2015020098);中国博士后基金面上项目(2016M591452)~~
现实中存在着许多不能完全表示或不断变化的知识,这就要求语义Web不仅能够处理静态知识,还要对动态知识进行处理。仅利用传统描述逻辑已不足以有效表示相关知识,还需增加对动作的表示和推理。针对以上问题,提出的动态非单调语义Web规则...
关键词：动态描述逻辑 非单调问题 D-NSWRL 优先级判定 语义WEB 
道路交通场景事件的语义解释方法
《山东理工大学学报（自然科学版）》2016年第1期5-11,共7页于云 曹凯 刘春 黄肖肖 
国家自然科学基金项目(61074140);山东省自然科学基金项目(ZR2010FM007)
针对传统道路交通事件语义解释方法依赖于定量数学建模方法,且底层语义概念与高级事件表达之间存在语义鸿沟的问题,提出了基于动态描述逻辑框架的事件语义定性表达和推理新方法.首先,对静态道路场景信息进行分类标记,构建交通领域本体模...
关键词：信息技术 场景理解 动态描述逻辑 领域本体 事件语义描述 
基于动态描述逻辑的Web自动化服务组合
《高技术通讯》2015年第2期118-124,共7页张建华 田东平 岳金朋 张博 
973计划(2013CB329502);国家自然科学基金(61035003;60933004;61202212;61072085);863计划(2012AA011003);国家科技支撑计划(2012BA107B02);中国信息安全测评中心(CNITSEC-KY-2012-006/1)资助项目
研究了动态描述逻辑(DDL)在Web服务组合中的应用。基于目标规划以及动态描述逻辑给出了Web服务组合算法。该算法考虑了客户的个人偏好,扩大了Web服务的应用范围。它使用DDL进行Web服务组合刻画,因为DDL将具有相似功能的服务划为一个动...
关键词：WEB服务组合 语义WEB 描述逻辑 动态描述逻辑(DDL) 
UML状态图形式化方法的分析与比较被引量：3
《计算机与数字工程》2014年第8期1488-1492,共5页于晓玲 杨海波 
UML缺乏精确的语义,难以对其所表示的系统进行形式化分析和一致性检验。为了使UML能够更精确地对系统模型进行描述,学者们提出了一些形式化的方法。论文对比分析了用Petri网、时序逻辑XYE/E和动态描述逻辑形式化UML状态图的方法,指出了...
关键词：UML状态图 形式化 PETRI网 XYZ E 动态描述逻辑 
基于语义的Web内容安全检测模型
《计算机工程与应用》2014年第14期116-120,共5页刘华鹏 刘胜全 刘艳 张华楠 李鹏 
新疆维吾尔自治区科技攻关项目(No.200931103);新疆大学自然科学基金(No.XY110121)
Web内容安全是当前社会稳定和发展的重要研究课题之一。利用本体和动态描述逻辑,提出了一种基于语义的Web内容安全检测模型,并通过实例应用验证了该模型的可行性和有效性,从而能支持智能化的Web内容安全检测。
关键词：WEB内容 本体 动态描述逻辑 安全检测模型 
基于动态描述逻辑的语义Web服务PE匹配算法被引量：1
《晋中学院学报》2014年第3期64-68,共5页郭媛香 
将基于描述逻辑断言构成的PE描述公理的有限集合看作一个本体知识库,因此有关PE的语义匹配问题就转化到两个基于描述逻辑的本体知识库之间的逻辑蕴含判定问题,然后将逻辑蕴含推理问题转化为本体库的可满足性检测问题,并通过可判的扩展...
关键词：语义WEB服务 前提 效果 动态描述逻辑 服务匹配 
支持链式桥规则的分布式动态描述逻辑
《高技术通讯》2014年第5期452-457,共6页张建华 史忠植 岳金朋 齐保元 蒋运承 王晓峰 
973计划(2013CB329502);国家自然科学基金(61035003;60933004;61202212;61072085;);863计划(2012AA011003);;国家科技支撑计划(2012BA107B02);中国信息安全测评中心课题(CNITSEC-KY-2012-006/1)资助项目
研究了链式桥规则在分布式动态描述逻辑(D3L)中的应用,旨在使得现有的分布式动态描述逻辑可以在多个系统中进行推理和发挥其在信息集成中的重要作用。在动态描述逻辑(DDL)推理和D3L推理的基础上,提出了支持链式桥规则的分布式动态描述逻...
关键词：描述逻辑(DL) 动态描述逻辑(DDL) 分布式动态描述逻辑(D3L) 桥规则 链式桥规则 
基于动态描述逻辑的语义Web服务组合被引量：14
《计算机学报》2013年第12期2468-2478,共11页常亮 刘进 古天龙 史忠植 
国家自然科学基金(61363030;61262030;61035003;61070013;61163041);国家"九七三"重点基础研究发展规划项目基金(2007CB311004);武汉大学软件工程国家重点实验室开放基金(SKLSE2010-08-02);广西自然科学基金(2012GXNSFBA053169);广西可信软件重点实验室研究课题(KX201109)资助~~
应用合适的形式系统对语义Web服务建模是实现语义Web服务自动组合的前提;形式系统的表达能力和计算性能决定了语义Web服务组合的准确度和求解效率.动态描述逻辑DDL(X)将动态逻辑、描述逻辑以及构建在描述逻辑之上的动作理论有机地结合,...
关键词：语义WEB服务 服务组合 动态描述逻辑 动作理论 规划问题 
一种采用动态描述逻辑表示的RBAC管理模型
《信息工程大学学报》2013年第6期727-734,共8页任志宇 陈性元 马军强 
国家973计划资助项目(2011C13311801);河南省科技创新人才计划(114200510001)
针对现有RBAC的管理模型中管理范围划分不明晰、管理权限分配不明确等问题,提出一种分布式RBAC管理模型。采用基于角色的管理思想,通过合理设置管理角色,将管理范围的划分、用户授权和角色授权工作进行分离,使模型具有较好的实用性。应...
关键词：基于角色的授权管理模型 访问控制 授权管理 动态描述逻辑 
基于主体和QoS的语义Web服务组合方法被引量：5
《计算机工程》2013年第10期227-231,共5页刘华鹏 刘胜全 刘艳 张华楠 李鹏 
新疆维吾尔自治区科技攻关计划基金资助项目(200931103);新疆大学自然科学基金资助项目(XY110121)
已有语义Web服务组合方法没有充分结合主体(Agent)技术和服务质量(QoS),不能为用户提供满足其偏好的最佳语义Web服务。为解决该问题,提出一种基于Agent和QoS的语义Web服务组合方法。在考虑用户对QoS的模糊偏好和优化服务空间的同时,将语...
关键词：主体 动态描述逻辑 服务质量 语义WEB服务组合 效用函数 用户偏好 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部