[论文解读] Reliable and interoperable computational molecular engineering: 2. Semantic interoperability based on the European Materials and Modelling Ontology

Martin Horsch, Silvia Chiacchiera+5 more|arXiv (Cornell University)|Jan 13, 2020

Semantic Web and Ontologies参考文献 37被引用 5

一句话总结

本文提出了一种计算分子工程的语义互操作性框架，采用欧洲材料与建模本体（EMMO）作为顶层本体，统一领域特定本体。通过使用形式化映射将领域本体（如 VISO-AM）与 EMMO 对齐，该方法实现了异构模型与数据的机器可处理、逻辑一致的集成，解决了语义不一致问题，并支持跨平台在材料建模与仿真工作流中的自动化推理。

ABSTRACT

The European Materials and Modelling Ontology (EMMO) is a top-level ontology designed by the European Materials Modelling Council to facilitate semantic interoperability between platforms, models, and tools in computational molecular engineering, integrated computational materials engineering, and related applications of materials modelling and characterization. Additionally, domain ontologies exist based on data technology developments from specific platforms. The present work discusses the ongoing work on establishing a European Virtual Marketplace Framework, into which diverse platforms can be integrated. It addresses common challenges that arise when marketplace-level domain ontologies are combined with a top-level ontology like the EMMO by ontology alignment.

研究动机与目标

• 为解决计算分子工程中语义不一致与碎片化问题，通过建立统一的顶层本体。
• 通过形式化对齐技术，实现不同领域特定本体与共享顶层本体（EMMO）之间的互操作性。
• 通过标准化语义元数据，支持在异构仿真平台之间实现自动化推理与数据交换。
• 构建一个可扩展、可伸缩的框架，用于整合材料建模中的网络物理系统与工业 4.0 基础设施。
• 建立社区程序以评估和传播本体对齐成果，确保长期可持续性。

提出的方法

• 使用 EMMO 本体作为顶层参考，统一如分子模拟中的 VISO-AM 等领域特定本体。
• 使用 OWL DL 执行形式化本体对齐，以表达领域概念与 EMMO 类之间的子类关系。
• 使用 EMMO 关系（如 has_property、has_proper_participant）对基于图的场景表示进行建模，并通过 Lucidchart 可视化以增强清晰度。
• 使用基于 Python 的流水线，通过 Owlready2 格式将这些图表示自动转换为兼容 OWL 的类定义。
• 该方法利用现有语义标准（RDF、TTL、JSON-LD）以确保语法与语义互操作性。
• 提出图重写规则作为未来扩展，以处理超出 OWL DL 表达能力的对齐情形。

实验结果

研究问题

• RQ1 如何对顶层本体与领域特定本体进行形式化对齐，以实现在计算分子工程中的语义互操作性？
• RQ2 何种机制能够实现将领域概念（如 Lennard-Jones 点、刚性物体）一致地映射到共享顶层本体（如 EMMO）？
• RQ3 在统一的语义框架内，如何解决独立开发的领域本体之间的不一致性？
• RQ4 何种技术流水线能够实现从可视化场景模型自动生成机器可处理的本体实例？
• RQ5 需要何种社区治理模式以维持并推动本体对齐标准的发展？

主要发现

• 基于 EMMO 的框架成功实现了语义互操作性，通过将 VISO-AM 等领域本体与共同顶层本体对齐，确保了对仿真实体的一致语义解释。
• 建立了形式化的包含关系映射：例如 viso-am:lj_site ⊑ emmo-graphical:symbol 和 viso-am:rigid_object ⊑ emmo-graphical:symbolic，支持正确的语义推理。
• 利用 EMMO Python API 和 Lucidchart 开发了可复现的流水线，通过 Owlready2 将可视化场景图转换为 OWL 兼容的类定义。
• 该方法通过确保对齐本体之间的逻辑一致性，支持自动化推理，防止矛盾在语义网络中传播。
• 该框架在将异构仿真工作流（如晶体结构预测）整合为统一、机器可理解的格式方面展示了可行性。
• 作者指出，需要开发超越 OWL DL 表达能力的图重写规则，以扩展对齐的表达力，指明了未来技术发展的需求。