description logic | BriefGPT

关键词description logic

搜索结果 - 29

IJCAI具有路径表达式的表达能力描述逻辑中的数据复杂度
探讨了在准林中非常表达性描述逻辑 ZOIQ (即 ALCHb Self reg OIQ) 上满足性问题的数据复杂性，并证明了它是 NP 完备的。这完成了对 ZOIQ 可判定片段的数据复杂性全景的研究，并重新证明了关于 OWL2 可判定片段（
PDF23 days ago
利用负采样和逻辑闭包过滤增强几何本体嵌入的 EL++
本文提出了基于概念描述高维球表示的嵌入方法，利用本体的演绎闭包和不同类型的否定语句，改进了本体嵌入的知识库或本体补全任务。
PDF2 months ago
经由认知依赖进行控制的查询评估
我们在本文中提议使用认知依赖来表达控制查询评估（CQE）中的数据保护策略，这是一种对本体和数据库进行保密的查询回答形式。所得到的策略语言在 CQE 领域的文献中显著超越了先前的提议，允许非常丰富和实际上有趣的数据保护规则形式。我们展示了我们
PDF2 months ago
森林混合：研究多个搜索树和共享的精化汇集对本体学习的影响
白盒机器学习算法的研究，特别关注用于学习描述逻辑中的公理的算法，通过引入多个搜索树和共享细化池以将搜索空间分割为较小子空间，使用从每棵树中获取最佳类表达式的合取操作以提供最有用信息，旨在促进从多样的起始类中进行探索，并简化发现本体中的类表达
PDF9 months ago
IJCAIALC 本体的通用模块的高效计算（扩展版）
该论文提出了一种用于提取适用于描述逻辑 ALC 的本体的通用模块的方法，该方法基于均匀插值，可以比目前最先进的方法更快地计算通用模块和统一插值。
PDFa year ago
IJCAI基于 SAT 的描述逻辑概念的 PAC 学习
提出有界拟合作为一种模式学习的方案，该方案可以在本体存在的情况下学习描述逻辑概念，并且称之为 PAC 学习的通用性具有理论保证。同时，我们提供了一种名为 SPELL 的系统，其基于 SAT 求解器高效实施了有界拟合，并将其表现与最先进的学习
PDFa year ago
Standpoint-OWL 2 的自动推理支持
提出了一种利用各种不同（可能相互矛盾）视角中的知识进行建模和推理的工具，通过对基本逻辑进行增强来提供理论基础，并通过将立场增强版本的描述逻辑 SROIQ 转换为其普通（即古典）版本，在现有的推理器中应用，为多样立场的推理提供自动支持。
PDFa year ago
拓展可处理的多视角推理边界：一种适用于观点 EL+ 的演绎演算法
本文中，我们引入了一种称为 Standpoint EL + 的扩展逻辑，它允许公理否定、角色链公理、自我循环等特性，并且通过设计一个满足可实际算法需求的可满足性检查演绎规则，同时保持了可处理性。我们通过展示该演绎规则的一个原型 Datalo
PDFa year ago
从图领域的公理到向量，并再次返回：评估基于图的本体嵌入的性质
文章研究了不同的图投影方法对本体学习中嵌入生成和公理预测性能的影响。研究发现，不同的投影方法以及本体知识表示上的选择都会对公理预测产生重要影响。
PDFa year ago
Evonne: 描述逻辑的交互证明可视化 (系统描述) -- 扩展版
介绍了一个名为 Evonne 的交互式系统，用于可视化表达式描述逻辑的推导过程，其中包括证明的计算方法和基于签名的证明压缩特征。同时，使用真实本体评估了所生成证明的质量。
PDF2 years ago
基于概念语义的描述逻辑 ALC 推理
本文通过使用范畴语言重新表达了具有一般 TBox 的描述逻辑 ALC 通常的集合论语义，从而为 ALC 的语义提供了一种更模块化的表示。我们展示了一个多项式空间的确定性算法用于检查概念满足性的子逻辑，该子逻辑在传统的集合论语义中是无法定义的
PDF2 years ago
IJCAIDL-Lite 本体下 ELI 查询的前沿与精确学习
研究了存在 DL-Lite 描述逻辑本体的 ELI 查询 (ELIQs)。对于方言 DL-LiteH，我们展示了 ELIQs 具有多项式大小的前沿 (最一般化集合)，并且可以在多项式时间内计算。相比之下，对于方言 DL-LiteF，前沿可能
PDF2 years ago
IJCAI一种描述逻辑用于类比推理
在本文中，我们利用类比推理介绍了一种推断缺失知识的机制，用于完善本体论，从而解决现有本体论不完整的问题，并且提出了一种基于双射映射的新型语义，分析了该语义下类比的特性，展示了两种合理的推断模式：规则翻译和规则外推。
PDF3 years ago
MM学习描述逻辑本体的复杂性
本文介绍了用于生命科学领域相关知识表示的本体论。提供了从计算学习理论中学习模型的正式规范，同时回顾了在这些模型中学习轻量级描述逻辑（DL）本体论的复杂性结果，最后，我们强调了文献中提出的其他学习 DL 本体论的方法。
PDF3 years ago
AAAI在 SQ 本体上回答正则路径查询
研究描述逻辑中支持具有限制的传递和非传递角色的查询回答，提出了一种基于树模型和自动机算法的解决方案。
PDF4 years ago
IJCAI有限和无限制查询蕴涵：超越带有传递性角色数字限制的 SQ
研究了具有数字限制的 SQ 描述逻辑，该逻辑适用于传递性角色，并扩展为名词或反向角色。为 nominals 的正存在查询和为 inverses 的实例查询建立了上界。
PDF4 years ago
EL Embeddings: 用于描述逻辑 EL++ 的模型的几何构建
本研究在解决如何为复杂的信息或知识库创建向量空间嵌入，以便于机器学习、相似性搜索或类似任务时能更有效地用于预测蛋白质相互作用。
PDF5 years ago
AAAI用于描述逻辑的高效概念归纳
本文提出了一种降低描述逻辑推理器调用次数的概念归纳算法，从而提高执行时间，尤其在其他系统速度过慢的情况下，可作为现有系统的有效替代方案，同时在许多情况下，正确率仍然很高。
PDF6 years ago
AAAI基于遗忘的 ALC ABox 引理推断（长版）
本文研究了如何使用遗忘（uniform interpolation）技术实现描述逻辑（ALC）本体中的 ABox 推导，并探讨了完全和近似两种冗余性消除方法以提高实用性。
PDF6 years ago
一个基于描述逻辑的常识概念组合框架：整合典型性、概率和认知启发
本文提出了一种能够描述原型概念组合现象的非单调典型性描述逻辑，它基于合理封闭的典型性描述逻辑 ALC TR 和概率描述逻辑的分布式语义，使用了人类用于概念组合的认知启发式。在此基础上，我们还给出了该逻辑的 EXPTIME 完全性推理方法。
PDF6 years ago