本文介绍了一种基于框架本体论设计输出 (FrODO) 的新方法和工具，通过自动化将能力问题表达为自然语言，构建领域本体，该方法利用 FRED 的框架语义来绘制与领域相关的边界。研究表明，这种方法对于工程师进行本体设计任务是有效的，因为生成的本体草案质量是优良的。

Jun, 2022

本文介绍了领域本体模型的现状，指出存在在本体概念语义持久性和重用性以及现有基础本体中顶层概念的难以理解和重用造成领域表示的混淆等问题，并提出了利用解决方案（一）和（二）来发展多样性、可重用性的领域表达的灵活、重用型方法的三重解决方案，包括呈现概念的流水线、具有静态和动态语义质地的最小基础知识模型及考虑多样性的领域表达的方法。初步探索结果证实了这些解决方案的潜力。

Aug, 2022

基于常用核心本体论的数字孪生特征及其与本体论的相关设计模式，为数字孪生领域提供定义和设计模式，并通过实例应用案例对数字孪生及其实际对应物进行了重点阐述，为进一步构建与数字孪生相关的更复杂本体论内容提供基础。

May, 2024

该研究介绍了一个包含科学技术领域中非传统主题的自动化科学技术本体，并通过连接不同领域和专业之间相关或具有共性的主题来促进跨学科研究与合作。使用从 2021 年 10 月到 2022 年 8 月从语义学者 (Semantic Scholar) 收集的 393,991 篇科学文章构建 S＆TO。目前，S&TO 划分了四个科学领域中的 5153 个主题和 13155 个语义关系，可以通过对更新的数据集运行 BERTopic 来更新模型。

May, 2023

该研究将 Suggested Upper Merged Ontology (SUMO) 翻译成 Typed First-order Form (TFF)，并详细描述了为处理显式类型逻辑所需的转换和如何用符合其预期语义和 TFF 中允许的三种数字类表达 SUMO 的类型层次结构，还提供了开源代码和在 Vampire 上的示例证明。

Mar, 2023

用 OTTR 模板表示本体模型模式，通过实例化模板来构建本体或知识库，隐藏了本体表示语言的特定性，使本体工程师能够从某种程度上将信息建模的决策与信息建模的方式（例如，使用哪些设计模式）的决策分开，可以延迟某些决策以便更专注于这些过程，本文概述了我们在材料科学领域的本体工程活动的方法论和研究结果，OTTR 模板在这些活动中起着关键作用，我们的本体工程过程自下而上，从现有数据进行建模活动，然后通过模板将数据输入到知识图中，同时也是自上而下的，首先关注要建模的数据，将数据建模的方式推迟，我们发现，OTTR 模板在与领域专家进行沟通方面特别有用，此外，由于 OTTR 模板封装了建模决策，工程过程具有灵活性，意味着设计决策可以以很小的代价进行更改。

Sep, 2023

在基本形式本体论（BFO）的框架内，我们通过定义质量、性质和角色之间的基本关系来补充已有的特性和倾向的描述，并通过对宿主 - 病原体相互作用等细微方面的表示来说明我们的建议。

Apr, 2024

本文探索了一种基于逻辑的本体版本控制方法，提出了一种采用逻辑及查询解答的 ontologies 差异比较方法， 设计并实现了一个能在多项查询上进行版本比较的多项式时间算法 CEX2。

Jan, 2014

该研究使用基于本体论的数据协调对地质建模进行了研究，并介绍了一个基于基本形式本体论和 GeoCore 本体论的本体论：GeoFault，它涵盖了有关地质故障的核心知识，提供了一个坚实的框架来澄清故障知识及其数据融合，为应用程序和用户提供了基础。

Feb, 2023

该论文描述了一种扩展一阶逻辑的方法，使方案更加容易修改，并引入了一个保护机制来保证公式的正确性，同时将该方案应用于四个不同问题领域的知识表示中。

Feb, 2022