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

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