| 模糊描述逻辑f-DLR-Lite∩的合取查询回答 |
| |
| 作者姓名： | 程经纬 马宗民 严丽 王海龙 |
| |
| 作者单位： | 东北大学信息科学与工程学院,辽宁,沈阳,110004 |
| |
| 基金项目： | 高等学校博士学科点专项科研项目,教育部跨世纪优秀人才培养计划 |
| |
| 摘 要： | 分析了描述逻辑合取查询回答的研究现状及存在的不足,在描述逻辑DL-Lite和模糊集理论的基础上,提出了一种可表示和处理n元关系,并允许在包含公理左侧出现概念合取的新的模糊描述逻辑f-DLR-Lite∩,并给出其语法和语义及知识库的形式.提出了一种兼容查询阈值和用户指定权重的模糊查询语言,给出了利用这种语言在f-DLR-Lite∩知识库上进行合取查询的具体步骤和算法,并进行了算法时间复杂度分析,讨论了该合取查询过程的一阶逻辑可归约性.f-DLR-Lite∩弥补了经典描述逻辑在知识表示和推理上的不足,扩展后的查询语言对用户查询意图的表达更加精确合理.
|
| 关 键 词： | 描述逻辑 合取查询 模糊查询语言 一阶逻辑可归约性 f-DLR-Lite∩ |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《东北大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《东北大学学报(自然科学版)》下载全文 |
|
