随着知识经济的到来,人们对知识的需求显得越来越重要,由曹存根研究员主持的国家知识基础设施建设(NKI)集成了各学科的知识库,旨在实现“在恰当的时间,以恰当的语言、恰当的粒度,将恰当的信息提供给恰当的人们”。宗教知识基础设施建设(RKI)作为NKI的一个重要组成部分,其建设具有重大意义,本文围绕RKI的建立,开展了如下几个方面的研究工作: (1) 宗教本体的建立和宗教知识的形式化表示。本文以本体为基础,以框架为表示方法,通过大量“背景知识”的手工形式化,建立了世界上规模最大的宗教领域本体和知识库,并研究了本体间的公理和知识的一致性。 (2) 建立了宗教知识分类体系。研究了宗教领域知识分类的客观依据、现有的分类方法、分类的粒度控制等,在此基础上建立了世界规模最大的综合性宗教知识分类体系,并将其应用在宗教本体体系的建设上。 (3) 提出一种新的中间语义标记语言。分析了宗教领域自然文本的复杂性和现有方法在此领域应用中存在的不足,结合宗教领域的特点和框架的表示方法,提出了一种新的中间语义标记语言,并详细设计了相关的处理规则和使用方法。 (4 )设计了一种人工干预型自动宗教知识获取工具。“背景知识”的形式化耗费了大量的人力、物力,并且仍然不可避免知识工程师的手工错误,本文根据宗教领域知识的特点,结合人工形式化的高正确率,提出并设计了一种人工干预自动宗教知识获取工具,并在此基础上提出了一种新的规则表示形式和处理方法。