语义Web模糊规则互换与推理关键技术研究

Much fuzzy and nonmonotonic knowledge pervades the Semantic Web, but RIF (Rule Interchange Format), the rule recommendation of the W3C (WWW Consortium), fails to represent and interchange fuzzy and nonmonotonic knowledge, and current rule languages and their systems capable of representing fuzzy and nonmonotonic knowledge have heterogeneity in the aspect of syntaxes and semantics, which results in difficulties of the communication between these systems and reasoning based on these systems. Therefore, in-depth studies on technologies of fuzzy rule interchange and reasoning have become an important issue in the Semantic Web. Based on the above, starting with the investigation of general fuzzy rule interchange format supporting the interchange of fuzzy and nonmonotonic knowledge, the project will deeply and systematically do research on fuzzy rule interchange based on metamodels and semantics, monotonic and nonmonotonic reasoning of fuzzy rules, so as to form a comprehensive framework of interchange and reasoning of fuzzy rules, and break through some key techniques. The project may provide solutions for the interchange and reasoning of fuzzy nonmonotonic knowledge to solve the communication issue of current heterogeneous systems efficiently, and to enhance the capabilities of rules and rule systems in the aspect of representing and reasoning with fuzzy nonmonotonic knowledge, and thus lay a solid theoretical foudation on achieving the management of fuzzy nonmonotonic knowledge in the Semantic Web.

大量模糊和非单调知识广泛存在于语义Web中，而W3C(WWW Consortium)的规则标准RIF(Rule Interchange Format)不具有表示和互换这些知识的能力，并且当前能够表示模糊和非单调知识的规则语言及其系统在语法和语义等方面存在异构性,因而导致了系统之间的规则互换和基于系统的推理变得非常困难。因此，研究模糊规则的互换和推理技术是语义Web亟待解决的重要问题。本项目从研究支持模糊非单调知识互换的通用模糊规则互换格式入手，深入系统地研究基于元模型和语义的模糊规则互换、模糊规则的单调和非单调推理等问题，目标是形成模糊规则互换和推理完整框架并突破其中的关键技术。项目的研究内容将为语义Web模糊非单调规则的互换和推理提供技术方案，有效解决现有异构系统之间的通信问题，提高规则和规则系统表示和推理知识的能力，从而为语义Web模糊非单调知识管理的实现奠定坚实的理论基础。

语义Web是当前Web的延伸，它赋予Web资源机器可理解的语义，从而使计算机更好地与人协同工作，其重要目标之一是实现对Web知识的自动推理。语义Web中存在大量模糊和非单调的知识，因此如何表示这些知识以及如何利用它们进行推理成为语义Web的重要研究课题。W3C的规则标准RIF不具有表示和互换这些知识的能力，并且当前能够表示模糊和非单调知识的规则语言及其系统在语法和语义等方面存在异构性,因而导致了系统之间的规则互换和基于系统的推理变得非常困难。因此，研究模糊规则的互换和推理技术是语义Web亟待解决的重要问题。本项目从通用规则的表示与互换入手，对模糊规则互换、模糊规则的单调和非单调推理、领域知识的表示、互换与推理等进行了深入研究。主要内容包括：（1）研究了通用模糊规则互换格式f-RIF的形式化表示方法、XML语法和语义，定义了它的XML Schema；（2）研究了基于f-RIF的元模型等在内的模糊规则互换方法，构建了相应的映射函数，讨论了与语义的保持性紧密相关的信息缺失问题以及相应的补救措施；（3）研究了语义Web模糊规则的单调和非单调推理问题，提出了一种非单调描述逻辑，定义了相应的优先级判定法则，并对相应的定理进行了证明；（4）提出能够表示和推理非单调模糊知识的法律规则语言CLRL，定义了它的语法、语义和XML Schema，并对CLRL与LKIF之间的互换进行了深入研究；（5）对经典时空知识的表示和推理技术进行了初步研究，设计实现了近邻搜索算法并进行了优化。上述内容的研究为语义Web模糊非单调规则的互换和推理提供了技术方案，有效解决了现有异构系统之间的通信问题，提高了规则和规则系统表示和推理知识的能力，从而为语义Web模糊非单调知识和领域知识管理的实现奠定了坚实的基础。