本文探索了一种基于逻辑的本体版本控制方法,提出了一种采用逻辑及查询解答的ontologies差异比较方法, 设计并实现了一个能在多项查询上进行版本比较的多项式时间算法 CEX2。
Jan, 2014
该论文研究了在本体论数据访问中处理不一致存在规则的框架方法,利用一个叫做规则修复的概念来选择最大的存在规则组件。同时,研究者提出了几种处理规则修复的方法,并通过对现实情况的实验评估证明了这些方法具有良好的可扩展性。
Feb, 2016
本文证明了分离嵌入式依赖可以精确捕捉基于本体的连词查询应答中的可递归枚举本体类,而关于“元组生成依赖”的复杂性类和嵌入式依赖的复杂性类都不能完全表达可递归枚举的“基于本体的连词查询应答”本体。
Apr, 2016
本研究提出了一种基于弱化DL本体学说公理,采用细化运算符修复基于原理的本体的新方法,研究表明该方法比删除公理保留原有知识更有效。
Nov, 2017
本文提出一种交互式方法,通过弱化和完善公理修复本体的错误,同时讨论不同的组合策略并进行实验,展示了本文方法在正确性和完整性方面的良好表现。
Jul, 2022
该论文提出了一种用于提取适用于描述逻辑 ALC 的本体的通用模块的方法,该方法基于均匀插值,可以比目前最先进的方法更快地计算通用模块和统一插值。
May, 2023
描述逻辑推理器导出的逻辑蕴涵对本体用户来说并不总是直接明了。因此,我们描述了一个新版本的Protégé插件EVee,通过基于引导和反例的现有和新技术,为缺失的结果提供解释。
Aug, 2023
本文定义了四个评分函数来基于预训练模型对公理进行排名,提出了一种处理不可满足概念的本体修订算法,并通过实验验证了其性能和效率。
Oct, 2023
该研究介绍了使用语法宏对有限形式语言进行重写的问题,提出了多项式时间算法来解决该问题的变体,并展示了其正确性。通过将算法应用于OWL编写的生物医学本体论,证明了该问题的实际相关性以及算法的可行性和有效性。此方法在提升本体质量和理解方面提供了有价值的帮助,并以系统的方式分析和评估重写系统的特性,包括语法宏、模板或其他形式的重写规则对计算问题的影响。
Dec, 2023
本文介绍了一个用于评估本体完成方法的基准,并对两种方法的优势和弱点进行了深入分析。我们发现这两种方法确实相辅相成,混合策略取得了最佳的整体效果。我们还发现,即使经过微调,本任务对大型语言模型来说仍然具有很高的挑战性。
Mar, 2024