模糊描述逻辑f-DLR-Lite∩的合取查询回答

来源期刊：东北大学学报(自然科学版)2008年第9期

论文作者：程经纬 马宗民 严丽 王海龙

文章页码：1249 - 2508

关键词：描述逻辑;合取查询;模糊查询语言;一阶逻辑可归约性;f-DLR-Lite∩;

摘    要：分析了描述逻辑合取查询回答的研究现状及存在的不足,在描述逻辑DL-Lite和模糊集理论的基础上,提出了一种可表示和处理n元关系,并允许在包含公理左侧出现概念合取的新的模糊描述逻辑f-DLR-Lite∩,并给出其语法和语义及知识库的形式.提出了一种兼容查询阈值和用户指定权重的模糊查询语言,给出了利用这种语言在f-DLR-Lite∩知识库上进行合取查询的具体步骤和算法,并进行了算法时间复杂度分析,讨论了该合取查询过程的一阶逻辑可归约性.f-DLR-Lite∩弥补了经典描述逻辑在知识表示和推理上的不足,扩展后的查询语言对用户查询意图的表达更加精确合理.