Abstract：
回答集程序(Answer Set Programming,简称ASP)是一种重要的知识表示和推理的描述性语言,不但具有丰富的表达能力,而且是一个推导潜在事实的成熟工具。而语义网中的RDF仅提供一种简单的数据模式,它不能表达知识表示中的否定概念,也不支持推理规则。针对该问题,本文在RDF中引入ASP中的否定概念,提出一种新的语义网知识表示形式——￢RDF;进一步,利用ASP规则对￢RDF进行推理,发掘￢RDF知识库中蕴含的新事实,并给出应用实例。
Keyword：
Reprint Author's Address：
Email：
Source ：
Year： 2011
Language： Chinese
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count：
Chinese Cited Count：
30 Days PV： 8
Affiliated Colleges：
