文献类型：期刊文章

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

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

出　　处：《计算机学报》

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

年　　份：2011

卷　　号：34

期　　号：8

起止页码：1437-1451

语　　种：中文

收录情况：BDHX、BDHX2008、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20113714332527)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：通过分析描述逻辑与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文档库的查询问题.

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

分 类 号：TP18]