基于模糊描述逻辑的模糊XML模型的表示与推理  

Representation and Reasoning of Fuzzy XML Model with Fuzzy Description Logic

作　　者：张富[1] 严丽[2] 马宗民[1] 王星[1] 

机构地区：[1]东北大学信息科学与工程学院计算机应用技术研究所,沈阳110819 [2]东北大学软件学院软件工程研究所,沈阳110819

出　　处：《计算机学报》2011年第8期1437-1451,共15页Chinese Journal of Computers

基　　金：国家自然科学基金(60873010;61073139);教育部新世纪优秀人才支持计划(NCET-05-0288);教育部中央高校基本科研业务费专项(N090504005;N090604012;N100604017)资助~~

摘　　要：通过分析描述逻辑与XML之间的关系,该文进一步研究了基于模糊描述逻辑的模糊XML模型的表示与推理.首先提出了模糊XML模型(包括模糊XML文档和模糊DTD)的形式化定义.然后针对模糊XML模型的特点和推理需求,提出了一种新的模糊描述逻辑f-ALCQ_(wf-reg),给出了它的语法、语义、知识库以及推理算法.在此基础上,研究了基于f-ALCQ_(wf-reg)的模糊XML模型的表示、推理以及查询问题,具体包括:实现了从模糊XML模型到f-ALCQ_(wf-reg)知识库的转化;基于转化后得到的f-ALCQ_(wf-reg)知识库,进一步研究了如何利用f-ALCQ_(wf-reg)的推理机制对模糊XML模型的推理任务(如一致性、包含性、等价性以及不相交性)进行推理;最后简要讨论了如何利用上述转化和推理结果来更有效地支持模糊XML文档库的查询问题.By analyzing the relationships between description logics and XML models, the paper investigates the representation and reasoning of fuzzy XML models with fuzzy description logics. The formal definition of fuzzy XML models （including fuzzy XML documents and fuzzy DTDs） is proposed. Then, aiming at the characteristics and reasoning requirement of fuzzy XML models, a kind of new fuzzy description logic called f-ALCQwf-mg is developed, and the syntax, semantics, knowledge base and reasoning algorithm are given. On this basis, representation and reasoning of fuzzy XML models with f-ALCQwf-mg is investigated, including. Fuzzy XML models are transla- ted into f-ALCQwf-mg knowledge bases Based on the translated f-ALCQwf-mg knowledge bases, how to reason on fuzzy XML models （e. g. , conformance, inclusion, equivalence and disjoint ness） through the reasoning mechanism of f-ALCQwf-mg is investigated; Also it is briefly discussed that how to support query processing over a document base more efficiently based on the translation and reasoning results above.

关 键 词：模糊XML模型 文档和结构 模糊描述逻辑 表示 推理 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]