通过分析描述逻辑与XML之间的关系,该文进一步研究了基于模糊描述逻辑的模糊XML模型的表示与推理.首先提出了模糊XML模型(包括模糊XML文档和模糊DTD)的形式化定义.然后针对模糊XML模型的特点和推理需求,提出了一种新的模糊描述逻辑f—ALCQwf-mg,给出了它的语法、语义、知识库以及推理算法.在此基础上,研究了基于f-ALCQwf-mg的模糊XML模型的表示、推理以及查询问题,具体包括:实现了从模糊XML模型到f-ALCQwf-mg知识库的转化;基于转化后得到的f-ALCQwf-mg知识库,进一步研究了如何利用f-ALCQwf-mg的推理机制对模糊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.