欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
分析了语义Web语义表示理论的研究现状及存在的问题,提出了一种新的面向语义Web语义表示的模糊描述逻辑FSHOIQ（fuzzy SHOIQ）.给出了FSHOIQ的语法和语义,提出了FSHOIQ的模糊Tableaux的概念,给出了一种基于模糊Tableaux的FSHOIQ的ABox约束下的可满足性推理算法,证明了可满足性推理算法的正确性.提出了FSHOIQ的TBox扩展和去除方法,并证明了FSHOIQ的TBox约束下的包含推理问题可以转化为ABox约束下的可满足性推理问题.FSHOIQ为语义Web表示和推理模糊知识提供了理论基础.
英文摘要：
The current research progresses and the existing problems of smantics representation of the semantic Web are analyzed. A kind of new fuzzy description logic FSHOIQ （fuzzy SHOIQ） for semantics representation of the semantic Web is presented, and the syntax and semantics of FSHOIQ are given. The fuzzy Tableaux of FSHOIQ is presented, then the ABox satisfiability reasoning algorithm of FSHOIQ based on the fuzzy Tableaux is presented, and the correctness of the satisfiability reasoning algorithm is proved. The TBox expansion and elimination methods are presented. It is proved that TBox subsumption reasoning problem may be translated into a satisfiability reasoning problem in FSHOIQ. Theoretical foundation for fuzzy knowledge representation and reasoning of the semantic Web is provided through FSHOIQ.
同期刊论文项目
同项目期刊论文
期刊信息
位置：