• 综合
  • 标题
  • 关键词
  • 摘要
  • 学者
  • 期刊-刊名
  • 期刊-ISSN
  • 会议名称
搜索

作者:

王洁 (王洁.) | 韩雪平 (韩雪平.) | 张燕燕 (张燕燕.) | 刘椿年 (刘椿年.)

摘要:

回答集程序(Answer Set Programming,简称ASP)是一种重要的知识表示和推理的描述性语言,不但具有丰富的表达能力,而且是一个推导潜在事实的成熟工具。而语义网中的RDF仅提供一种简单的数据模式,它不能表达知识表示中的否定概念,也不支持推理规则。针对该问题,本文在RDF中引入ASP中的否定概念,提出一种新的语义网知识表示形式——¬RDF;进一步,利用ASP规则对¬RDF进行推理,发掘¬RDF知识库中蕴含的新事实,并给出应用实例。

关键词:

dlv RDF 回答集程序 经典否定 语义网

作者机构:

  • [ 1 ] 北京工业大学计算机学院

通讯作者信息:

电子邮件地址:

查看成果更多字段

相关关键词:

相关文章:

来源 :

年份: 2011

语种: 中文

被引次数:

WoS核心集被引频次: 0

SCOPUS被引频次:

ESI高被引论文在榜: 0 展开所有

万方被引频次:

中文被引频次:

近30日浏览量: 1

在线人数/总访问数:293/2899692
地址:北京工业大学图书馆(北京市朝阳区平乐园100号 邮编:100124) 联系我们:010-67392185
版权所有:北京工业大学图书馆 站点建设与维护:北京爱琴海乐之技术有限公司