合取查询相关论文
模型检测是一种被广泛应用的验证有限状态系统性质的自动化验证技术。经过三十多年的研究发展,时态逻辑LTL和CTL的模型检测问题已......
在本体工程中,处于演变过程中的本体常出现不一致性问题,这将导致基于本体的推理失效.为解决推理失效的问题,提出了一种新的处理DL......
多关系频繁模式发现能够直接从复杂结构化数据中发现涉及多个关系的复杂频繁模式，避免了传统方法的局限。有别于主流基于归纳逻辑程......
大规模领域本体的快速发展对语义Web领域的数据访问提出了更高的要求,而基本的本体推理服务已不能满足数据密集型应用中处理复杂查......
主键约束是描述关系数据一致性的常用方法,基于主键约束的数据一致性修复返回一个极大子集,子集中不同数据的主键不同.对于合取查......
针对异质、异构数据库的语义集成中，对海量元组进行语义查询时因效率问题而无法使用丰富的语义表达能力的问题，提出一种兼顾速度和语......
为了在语义Web中实现知识的可重用性和高度互用性,通常使用本体来表示领域知识。基于本体的知识表示和推理是语义Web的重要组成部......
分析了描述逻辑合取查询回答的研究现状及存在的不足,在描述逻辑DL-Lite和模糊集理论的基础上,提出了一种可表示和处理n元关系,并......
时态描述逻辑ALC-LTL在命题线性时态逻辑LTL中引入了描述逻辑ALC的刻画能力,可以对语义Web环境下动态系统的时序特征进行刻画。该......
