| 基于模糊描述逻辑的模糊XML模型的表示与推理 |
| 张富[1] 严丽[2] 马宗民[1] 王星[1] |
| 关键词：模糊XML模型 文档和结构 模糊描述逻辑 表示 推理 |
| 主要内容：通过分析描述逻辑与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文档库的查询问题． |
| 《计算机学报》 2011,34(8).-1437-1451 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号