description logic | BriefGPT

关键词description logic

搜索结果 - 29

具有传递性的一元否定片段的有限可满足性
研究发现：在包含任意数量的传递关系的一元否定分段中，有限可满足性问题是可判定和 2-ExpTime 完全问题。此外，我们探讨了我们的基本逻辑的各种扩展的有限可满足性，特别是描述逻辑中已知的名称和角色层次概念的表达。
PDF6 years ago
轻量级描述逻辑本体的精确学习
该论文研究了使用 Angluin 等人的准确查询学习框架来学习描述逻辑本体的问题，证明了可以用多项式大小的多项式查询来学习用 DL-Lite 描述逻辑和某些和 OWL 2 RL 相关的 EL 片段描述的本体，但即使只允许非循环本体，也不能用
PDF7 years ago
有限域上描述逻辑中的统计推理（完整版）
本文针对统计知识推理的问题，提出了一种基于描述逻辑和概率论的扩展方法，并设计出多种算法来实现推理。
PDF7 years ago
MM在 SROEL 有理扩展中进行最小蕴含的 ASP
本文介绍如何使用 Answer Set Programming 解决 OWL EL 本体语言下的描述逻辑 SROEL-R-T 中的实例检查问题，并利用小模型结果中的 ASP 编码将模型转换为答案集，从而在最小符合性推理下进行推理。
PDF8 years ago
轻量级描述逻辑 EL 的逻辑差异
本文探索了一种基于逻辑的本体版本控制方法，提出了一种采用逻辑及查询解答的 ontologies 差异比较方法，设计并实现了一个能在多项查询上进行版本比较的多项式时间算法 CEX2。
PDF10 years ago
描述逻辑的 Hypertableau 推理
本文提出了一种新的推理演算法，用于描述逻辑 SHOIQ+，该逻辑在语义 Web 等领域具有应用。我们基于超表和超分辨率演算，引入阻塞条件以保证演算终止，并采用任意配对阻塞来减少构造模型的大小。同时，还引入改进的名词引入规则，以确保在存在名词
PDF10 years ago
DL-lite 知识库实例级别演化的研究
该论文提出了一种基于公式的方法，用于更新使用 Description Logic 表达的知识库实例级别，其中插入和删除操作均可用于原始 KB 中使用的 DL 表达。
PDF13 years ago
IJCAI描述逻辑 TBox: 模型论特征和重写能力
研究了描述逻辑 (DL) TBox 的表达能力，相对于一阶逻辑，基于诸如双仿、等仿、不交并和直积等语义概念，特征化了 AL、ALCQIO、DL-Lite 和 EL 等表达 DL TBoxes 的各种 DL。通过对于 DL TBox 可以被等
PDF13 years ago
MMProlog 中高效的描述逻辑推理：DLog 系统
本文描述了 DLog—— 一种基于分辨率的描述逻辑推理系统。DLog 将描述逻辑公理转换为 Prolog 程序，并使用标准的 Prolog 执行有效地回答实例检索查询，是全 SHIQ 语言的 ABox 推理引擎。DLog 的方法使得个体能够
PDF15 years ago