艾莹莹

作品数：3被引量：4H指数：1
导出分析报告
供职机构：北京工业大学计算机学院更多>>
发文主题：加权RDF权值语义网UML模型更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机应用与软件》《计算机工程》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于回答集程序的冲突问题研究
《计算机应用与软件》2012年第10期234-235,303,共3页王洁 赵丽丽 艾莹莹 夏杰 
Smart-M3是一个实现智能空间的交互平台,它允许软件实体和设备共享语义信息。在Smart-M3中使用ASP可以处理固定偏好关系下的资源分配和冲突问题。然而在现实生活中,信息更新却会改变原有的资源分配顺序,从而引起新的冲突。为了处理这个...
关键词：Smart-M3 加权逻辑程序 动态优先 冲突 
￢RDF推理中不一致问题研究被引量：3
《计算机工程》2012年第7期152-154,共3页王洁 韩雪平 赵丽丽 艾莹莹 
北京市教委科研计划基金资助项目(JC007011200904)
￢RDF在RDF中引入经典否定和推理,以增强RDF的表达和推理能力,但经典否定会使程序出现不一致情况,导致程序无解。为此,提出一种基于加权回答集程序的加权￢RDF(￢WRDF)推理方法。借鉴加权回答集思想,通过加权回答集程序对￢WRDF进行推理...
关键词：语义网 经典否定 加权￢RDF 加权回答集 权值 
基于回答集编程的UML模型不一致性修正被引量：1
《计算机工程》2011年第S1期43-45,共3页王洁 艾莹莹 赵丽丽 夏杰 
北京市教委科研计划基金资助项目(JC007011200904)
为支持大规模工业应用的设计,研究统一建模语言(UML)中的不一致性修正问题,提出基于回答集编程的修正方法,处理类图和序列图之间的不一致性。采用逻辑程序表示UML图和固有约束规则,借助推理机求解得到回答集,该回答集能使UML图保持一致...
关键词：回答集编程 统一建模语言 不一致性 修正 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部