| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 基于模糊描述逻辑的模糊XML模型的表示与推理 |
| 作者 | 张富1) 严丽2) 马宗民1) 王星1) |
| 作者单位 | 1)(东北大学信息科学与工程学院计算机应用技术研究所 沈阳 110819) 2)(东北大学软件学院软件工程研究所 沈阳 110819) |
| 发表年份 | 2011 |
| 发表月份 | 8期(1437—1451) |
| 文章摘要 | 摘要 通过分析描述逻辑与XML之间的关系，该文进一步研究了基于模糊描述逻辑的模糊XML模型的表示与推理.首先提出了模糊XML模型(包括模糊XML文档和模糊DTD)的形式化定义.然后针对模糊XML模型的特点和推理需求，提出了一种新的模糊描述逻辑f-ALCQwf-reg，给出了它的语法、语义、知识库以及推理算法.在此基础上，研究了基于f-ALCQwf-reg的模糊XML模型的表示、推理以及查询问题，具体包括：实现了从模糊XML模型到f-ALCQwf-reg知识库的转化；基于转化后得到的f-ALCQwf-reg知识库，进一步研究了如何利用f-ALCQwf-reg的推理机制对模糊XML模型的推理任务(如一致性、包含性、等价性以及不相交性)进行推理；最后简要讨论了如何利用上述转化和推理结果来更有效地支持模糊XML文档库的查询问题. 关键词 模糊XML模型；文档和结构；模糊描述逻辑；表示；推理 中图法分类号 TP18 DOI号: 10.3724/SP.J.1016.2011.01437 |