-
题名￢RDF推理中不一致问题研究
被引量：3
- 1
-
-
作者
王洁
韩雪平
赵丽丽
艾莹莹
-
机构
北京工业大学计算机学院
-
出处
《计算机工程》
CAS
CSCD
2012年第7期152-154,共3页
-
基金
北京市教委科研计划基金资助项目(JC007011200904)
-
文摘
￢RDF在RDF中引入经典否定和推理,以增强RDF的表达和推理能力,但经典否定会使程序出现不一致情况,导致程序无解。为此,提出一种基于加权回答集程序的加权￢RDF(￢WRDF)推理方法。借鉴加权回答集思想,通过加权回答集程序对￢WRDF进行推理,给出其应用实例。实例应用结果表明,该方法使得程序在不一致的情况下,仍然可以得到最接近用户需求的解。
-
关键词
语义网
经典否定
加权￢RDF
加权回答集
权值
-
Keywords
semantic Web
classical negation
Weighted ￢RDF（￢WRDF）
weighted answer set
weight
-
分类号
TP311.12
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于加权定量方法的产品配置解优化
- 2
-
-
作者
安雪妹
张燕燕
王洁
刘椿年
-
机构
北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室
-
出处
《计算机工程与科学》
CSCD
北大核心
2010年第8期145-148,共4页
-
基金
北京市教委科研计划资助项目(JC007011200904)
-
文摘
加权逻辑程序可以很好地表示产品配置知识,在程序有解的情况下,可以很快地计算出产品配置问题的配置解。实际上,由于客户不了解领域知识,或者需求超出产品的配置范围等原因,客户所提出的需求往往不能完全被满足,造成程序无解。为了在无解情况下,找到最接近用户需求的最满意解,本文以加权逻辑程序为基础,提出了一种定量的优先关系,方便而简洁地给出了最满意解方案,并与相关的工作进行比较。
-
关键词
加权回答集
优先关系
产品配置
优化解
-
Keywords
weight answer set
preference relation
product configuration
optimization solution
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
