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