数字孪生中基于语义Petri网的时序规则建模与验证
Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins
AI总结：
本文提出语义Petri网（SPN），直接基于RDFS和SPARQL实现着色Petri网的状态与变迁，实现语义与时序模型的联合规则检查及双向知识共享，并展示其在数字孪生并发场景中的应用。
摘要：
在建筑行业中，对RDFS/OWL数据的语义规则检查已被广泛应用。目前，语义规则检查主要针对静态模型进行。在结合时序模型与语义模型进行联合规则检查方面仍存在挑战。本文提出语义Petri网（SPN）作为一种新颖的时序建模与验证方法，该方法直接基于RDFS和SPARQL实现着色Petri网的状态与变迁，并在运行时实现领域语义网与时序模型之间的双向知识共享。文中提供了多个案例，以展示其在具有并发状态变化和依赖关系的数字孪生中的潜在应用。
英文摘要：
Semantic rule checking on RDFS/OWL data has been widely used in the construction industry. At present, semantic rule checking is mainly performed on static models. There are still challenges in integrating temporal models and semantic models for combined rule checking. In this paper, Semantic Petri-Net (SPN) is proposed as a novel temporal modeling and validating method, which implements the states and transitions of the Colored Petri-Net directly based on RDFS and SPARQL, and realizes two-way sharing of knowledge between domain semantic webs and temporal models in the runtime. Several cases are provided to demonstrate the possible applications in digital twins with concurrent state changes and dependencies.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
