Aug, 2024

基于OWL-DL本体的规划（扩展版）

HTML
PDF
TL;DR本文提出了本体中介规划的方法，旨在解决现有规划方法与本体描述法之间的脱节。通过引入一种黑箱算法，该算法能够全面支持OWL DL的表达能力，超越了现有方法的限制，实现了对本体中介规划规范向PDDL的重写，从而使现有规划系统能够有效解决该类问题。实验结果表明，量身定制的推理过程对性能具有显著影响。
发现论文，激发创造
  • 一份描述逻辑入门

    该论文介绍了描述逻辑的主要概念和特点，包括例子、语法和语义，并概述了轻量级描述逻辑语言、Web本体语言OWL的关系以及更多阅读指南。

    Jan, 2012

  • DaRLing: OWL 2 RL本体推理下的SPARQL查询Datalog重写器

    描述了DaRLing系统，它是一个OWL 2 RL本体推理的Datalog重写器，在SPARQL查询下具有实际适用性。

    Aug, 2020

  • 学习描述逻辑本体论。五种方法。它们现在在哪里？

    该文介绍了应用于形式化知识表示领域的本体学习中的经典机器学习和数据挖掘方法，包括关联规则挖掘、正式概念分析、归纳逻辑编程、计算学习理论及神经网络，总结了各种方法在学习DL本体方面的优点和限制。

    Apr, 2021

  • 基于Horn描述逻辑本体的规划表达能力（技术报告）

    本文通过基于DL 本体的规划来解决开放世界状态约束，并提出了一种新的编译方案，即基于DL查询重写为具有分层否定的Datalog的标准PDDL，以应对更具表现力的DL，同时还证明了我们的方法可以优于以前的DL本体规划工作。

    Mar, 2022

  • 如何达成不同观点的一致：利用立场逻辑来管理本体论的视角

    本文介绍提出的Standpoint逻辑，它是基于现有知识库语言的多模逻辑“附加组件”，可用于表示相对不同、可能相冲突的立场的领域知识，并为具有不同表达能力的可判定一阶逻辑和描述逻辑提供决策算法，可扩展由立场建模。

    Jun, 2022

  • OWL本体真正可解释性的前夕：采用Evee和Evonne的描述逻辑证明（扩展版）

    本文介绍了一个计算DLs证明的Java库及其在Protégé中的插件，并提供了一款显示计算结果的高级应用。

    Jun, 2022

  • 基于知识的规划的范畴表示语言和计算系统

    本文提出了基于范畴论概念的C-集合和双推出重写(DPO)的计划表示的一种替代方法，其可以有效处理支持所有层次域抽象的关于世界状态的结构化知识，提供了使用知识图谱和关系型数据库对世界状态和计划更新建模的形式语义，相较于经典规划表示，在处理隐含前提和效果上具有优越性，提供了一种更有结构的框架来建模和解决规划问题。

    May, 2023

  • 计划本体的制定和利用以提高执行效率

    本文研究了利用本体学作为基础的自动规划方法，通过分析国际规划竞赛中的规划领域和规划者的数据构建了一个规划本体，通过案例研究证明了利用本体可以选择合适的规划者并通过宏函数改善规划性能，并将本文所建立的规划本体和相关资源提供给社区以促进进一步的研究。

    Jul, 2023

  • 基于OWL DL本体的本体导向规划（扩展版）

    基于本文提出的新方法，规划专家和本体专家可以分别处理规划规范和本体，并通过接口进行关联，从而实现对本体引导的规划问题的优化处理，以支持整个OWL DL片段。

    Aug, 2023

  • OWLOOP：将OWL公理映射为面向对象编程(OOP)层次结构的接口

    该研究论文介绍了一种基于工厂模式的OWLOOP API，用于解决在Ontology Web Language (OWL)和Object-Oriented Programming (OOP)之间映射逻辑公理的问题，并探讨了工厂模式对OOP多态性的影响和范式转换。通过示例展示了OWLOOP的优点和局限性，以及在智能环境中应用于机器人的情况。

    Apr, 2024