将连续时间动态方程融入知识图谱，实现物理系统行为的结构化表达。
Representing Time-Continuous Behavior of Cyber-Physical Systems in Knowledge Graphs
- 基于标准构建模块化语义模型，直接在知识图谱中表示微分方程
- 在航空维修领域验证，成功将复杂伺服作动器方程纳入知识图谱
- 降低人工建模成本，适合系统全生命周期管理研究者使用
时连续动态模型对各类信息物理系统（CPS）应用至关重要。为确保在不同生命周期阶段的有效可用性，以微分方程形式存在的行为信息必须与其它CPS数据上下文化并集成。尽管知识图谱提供了形式化描述和结构化机制，但缺乏可复用的本体构件及方法以减少手动实例化工作量。为此，本文提出两项成果：首先，引入一个基于标准的模块化语义模型，可在知识图谱中直接表示微分方程并进行语义增强；其次，提出一种高效的知识图谱生成方法。在航空维修领域进行了验证，结果表明复杂电液伺服作动器的微分方程可被正式表示于知识图谱中，并与其它生命周期数据上下文关联，证明了该方法的实际适用性。
原文摘要 · Abstract (English)
Time-continuous dynamic models are essential for various Cyber-Physical System (CPS) applications. To ensure effective usability in different lifecycle phases, such behavioral information in the form of differential equations must be contextualized and integrated with further CPS information. While knowledge graphs provide a formal description and structuring mechanism for this task, there is a lack of reusable ontological artifacts and methods to reduce manual instantiation effort. Hence, this contribution introduces two artifacts: Firstly, a modular semantic model based on standards is introduced to represent differential equations directly within knowledge graphs and to enrich them semantically. Secondly, a method for efficient knowledge graph generation is presented. A validation of these artifacts was conducted in the domain of aviation maintenance. Results show that differential equations of a complex Electro-Hydraulic Servoactuator can be formally represented in a knowledge graph and be contextualized with other lifecycle data, proving the artifacts' practical applicability.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。