基于语义 Petri 网的数字孪生时间规则建模与验证
人工智能
2023-12-29 v2 数据库
摘要
基于 RDFS/OWL 数据的语义规则检查已广泛应用于建筑行业。目前，语义规则检查主要在静态模型上执行。在整合时间模型与语义模型以进行联合规则检查方面仍存在挑战。本文提出语义 Petri 网（SPN）作为一种新颖的时间建模与验证方法，其直接基于 RDFS 与 SPARQL 实现着色 Petri 网的状态与变迁，并在运行时实现领域语义网与时间模型之间的知识双向共享。我们提供了若干案例，以展示其在具有并发状态变更与依赖关系的数字孪生中的可能应用。
引用
@article{arxiv.2203.04741,
title = {Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins},
author = {Han Liu and Xiaoyu Song and Ge Gao and Hehua Zhang and Yu-Shen Liu and Ming Gu},
journal= {arXiv preprint arXiv:2203.04741},
year = {2023}
}
备注
Preprint submitted to 29th International Workshop on Intelligent Computing in Engineering (EG-ICE)