Published In
ArXiv preprint
Document Type
Pre-Print
Publication Date
8-2023
Subjects
Semantic web
Abstract
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.
Rights
© Copyright the author(s) 2023
Locate the Document
DOI
10.1016/j.aei.2023.102099
Persistent Identifier
https://archives.pdx.edu/ds/psu/41091
Citation Details
Published as: Liu, H., Song, X., Gao, G., Zhang, H., Liu, Y. S., & Gu, M. (2023). Modeling and validating temporal rules with semantic Petri net for digital twins. Advanced Engineering Informatics, 57, 102099.
Description
This is the author’s version of a work that was accepted for publication. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Advanced Engineering Informatics, 57, 102099.