模糊描述逻辑知识库查询蕴涵的判定方法 Deciding Query Entailment for Fuzzy Description Logic Knowledge Bases The f-SH Family.pdf

第35卷第4期 计 算 机 学 报 v01．35No．4 2012年4月 CHlNESEJoURNALOFC()MPUTERS Apt．2012 模糊描述逻辑知识库查询蕴涵的判定方法 程经纬¨ 马宗民1’ 严 丽” 张 富” 1’(东北大学信息科学与工程学院计算机应用技术研究所沈阳 110819) 2’(东北大学软件学院软件工程研究所沈阳 110819) 摘要大规模领域本体的快速发展对语义web领域的数据访问提出了更高的要求。而基本的本体推理服务已 不能满足数据密集型应用中处理复杂查询(主要是合取查询)的迫切需要．为此，大最的研究-【作集中在本体和描 述逻辑知识库合取查询算法的设计实现上。并开发出了很多知识库存储和奄询的实用工具，近来模糊本体和模糊 描述逻辑的研究，特另Il是它们在处理语义web中模糊信息方面，得到了广泛关注，文中重点研究了模糊涮这一族 极富表达能力的描述逻辑知识库的合取查询问题，提出了相应的基于推演表的算法，证明了算法对于户．趴∞Q的 真子逻辑的町靠性、完备性和可终止性．证明了算法对于广跏∞Q是日T靠的，并分析了导致算法不可终止的原因． 对于该问题的数据复杂度，证明了当查询中不存在传递角色时其严格的CoNP上限．对于联合复杂度，汪明了算法 关于知识库和查询大小的C03NEXPTIME时间复杂度上限． 关键词描述逻辑；查询蕴涵；合取查询；知识库；语义Web 中图法分类号TPl8 DoI号：10．3724／SP．J．1016．2012．00767 Entailmentfor DecidingQuery FuzzyDescriptionLogic KnowledgeBases：The卜趴Family YANLi2’ 2’ CHENG MA ZHANGFu Jing—WeiZong—Minl’ ¨(Institute Scienceand ofComputerApplicationTechnology．Collegeo，JnformationEngineering， Northeastern 110819) University，Shenyang 2’(Institute 110819) ofSoftz№Engineering．SchoolofSoft$oare。NortheastemUniversity，Shenyang Abstract evolutionof domain about Recently，therapid large—scaleontologiesbroughthigher fordata inthe for access SemanticWeb basic services requirements community．Thereasoning meet