赵丽丽
- 作品数：3 被引量：4H指数：1
- 供职机构：北京工业大学计算机学院更多>>
- 相关领域：自动化与计算机技术更多>>
- ￢RDF推理中不一致问题研究被引量：3
- 2012年
- ￢RDF在RDF中引入经典否定和推理,以增强RDF的表达和推理能力,但经典否定会使程序出现不一致情况,导致程序无解。为此,提出一种基于加权回答集程序的加权￢RDF(￢WRDF)推理方法。借鉴加权回答集思想,通过加权回答集程序对￢WRDF进行推理,给出其应用实例。实例应用结果表明,该方法使得程序在不一致的情况下,仍然可以得到最接近用户需求的解。
- 王洁韩雪平赵丽丽艾莹莹
- 关键词：语义网权值
- 基于回答集编程的UML模型不一致性修正被引量：1
- 2011年
- 为支持大规模工业应用的设计,研究统一建模语言(UML)中的不一致性修正问题,提出基于回答集编程的修正方法,处理类图和序列图之间的不一致性。采用逻辑程序表示UML图和固有约束规则,借助推理机求解得到回答集,该回答集能使UML图保持一致性,实例验证了该方法的有效性。
- 王洁艾莹莹赵丽丽夏杰
- 关键词：回答集编程统一建模语言
- 基于回答集程序的冲突问题研究
- 2012年
- Smart-M3是一个实现智能空间的交互平台,它允许软件实体和设备共享语义信息。在Smart-M3中使用ASP可以处理固定偏好关系下的资源分配和冲突问题。然而在现实生活中,信息更新却会改变原有的资源分配顺序,从而引起新的冲突。为了处理这个问题,提出使用动态优先关系的方法解决该问题。将动态优先关系使用加权逻辑程序表示,然后求解程序得到回答集,该回答集就是冲突问题的解决方案。最后,以一个实例说明了该方法的应用。
- 王洁赵丽丽艾莹莹夏杰
