Oct, 2023

应用数学及相关学科中的模型和算法本体论

PDF
TL;DR使用本体论的方法，将应用数学中的建模 - 仿真 - 优化工作流的数学模型和数值算法表示出来，以构建 FAIR 数学研究数据。通过介绍多孔介质微裂纹分析的具体例子，展示了本体论如何表征基础数学模型及其相应的数值算法。
发现论文，激发创造
  • 数学知识表示：语义模型和形式化

    本文介绍数学知识管理中语义方法的调查研究，涵盖本体模型、数学知识本体论以及数学公式搜索和学习。

    Aug, 2014

  • OntoMathPRO 2.0 本体论：正式模型更新

    本文介绍了一个形式化的模型，用于在开放链接数据云中表示自然语言的数学事实，该模型用于 OntoMath PRO 专业数学本体论的开发，OntoMath 数字生态系统的语义出版平台是一个中心组件，用于数学知识管理，包括数学公式的语义搜索和数学论文的推荐系统。

    Mar, 2023

  • 应用数学中工作流程和模型的 FAIR 文档化方向

    Mathematical models in Modeling-Simulation-Optimization workflows are addressed by MaRDI and MathModDB, as exemplified by an algebraic modeling workflow from the Digital Humanities.

    Mar, 2024

  • 本体嵌入：方法、应用和资源综述

    本文系统回顾了本体嵌入领域的 80 多篇论文，介绍了本体的不同语义以及数学和机器学习的视角下的本体嵌入的定义和特性，并对几种技术解决方案进行了分类和分析，包括几何建模、序列建模和图传播等。此外，还介绍了本体嵌入在本体工程、机器学习增强和生命科学中的应用，并讨论了挑战和未来方向。

    Jun, 2024

  • 利用知识图谱预测模块化优化算法的性能

    本文提出了一种基于改进后的 OPTION 本体构建的知识图谱的性能预测模型，并使用模块化算法框架来构建知识图谱，以预测给定算法实例是否能够针对给定问题实例实现某个目标精度。

    Jan, 2023

  • 计算分子工程中的语义互操作性和数据溯源特征化

    该研究提出了用于描述计算分子工程中使用的模拟工作流、各种数据来源和平台的元数据的共同表示系统，引入了两个本体论来提供对实体和它们之间关系的正式规范，以实现语义互操作性。作为概念证明，使用 OSMO 来描述了 TaLPas 工作流管理系统的用例。

    Jul, 2019

  • 利用本体论对自动驾驶的正式化和关键性识别

    本文提出知识表示与推理技术在自动驾驶汽车领域的应用。利用本文提出的 6 层模型创建了一个正式的场景模型，并利用本体论对交通场景因素进行建模和推理，得出交通状况关键因素。我们采用联合描述逻辑和规则推理器，并开展了一项基于大规模无人机数据集的实验评估。

    May, 2022

  • 金属增材制造缺陷检测本体

    本文介绍了如何将本体论应用于高级制造服务中，以解决数据集成、语义互操作性问题以及监控和决策任务，并提供了一个针对金属添加制造文献中已知的过程性缺陷的本体，并与现有的本体进行整合，从而扩展了本体在增材制造领域的建模能力。

    Sep, 2022

  • 本体论在推荐系统中计算语义相似度的应用

    本文探讨了基于本体论的语义相似性计算在推荐系统中的应用。

    May, 2022

  • 基于本体论和知识图谱的语义数据流程图集及其安全分析

    本文提出一种基于知识图谱和本体的自动化方式来分析云计算系统的安全威胁模型，并探讨该方法在现代敏捷开发环境中的应用挑战。通过使用包含 180 个语义图的本体，建立了基于 Docker Compose 的云配置数据流程图，并评估本体和知识图谱用于自动识别图谱中的安全威胁。

    Mar, 2023