A literature overview of knowledge sharing between Petri nets and ontologies

Cheng, Haitao; Ma, Zongmin

doi:10.1017/s0269888916000072

Cited by 7 publications

(7 citation statements)

References 58 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A more detailed literature review of researches on knowledge sharing between temporal models and semantic models can be found in reference (Cheng and Ma, 2016).…”

Section: Interaction Between Temporal Models and Semantic Websmentioning

confidence: 99%

Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins

Liu¹,

Song²,

Gao³

et al. 2022

Proceedings of the 29th EG-ICE International Workshop on Intelligent Computing in Engineering

View full text Add to dashboard Cite

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.

show abstract

“…A more detailed literature review of researches on knowledge sharing between temporal models and semantic models can be found in reference (Cheng and Ma, 2016).…”

Section: Interaction Between Temporal Models and Semantic Websmentioning

confidence: 99%

Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins

Liu¹,

Song²,

Gao³

et al. 2022

Proceedings of the 29th EG-ICE International Workshop on Intelligent Computing in Engineering

View full text Add to dashboard Cite

show abstract

“…Zhang et al give the formal definition of Petri nets and OWL DL ontologies and represent Petri nets with OWL DL ontologies by mapping several features of Petri nets into classes, properties, and axioms of OWL DL ontologies. A detailed overview for the construction of OWL ontologies from Petri nets can be found in the work of Cheng and Ma …”

Section: Related Workmentioning

confidence: 99%

“…A detailed overview for the construction of OWL ontologies from Petri nets can be found in the work of Cheng and Ma. 54 Note that, in the research works above, the used OWL ontologies and Petri nets do not support spatiotemporal information modeling. In real-world applications, spatio-temporal information are commonly found.…”

Section: Related Workmentioning

confidence: 99%

Fuzzy spatio‐temporal ontologies and formal construction based on fuzzy Petri nets

Cheng

et al. 2019

Computational Intelligence

Self Cite

View full text Add to dashboard Cite

Fuzzy spatio‐temporal knowledge is required in a wide range of application fields, including GIS, spatio‐temporal database, and artificial intelligence. Ontology, as a formal method of knowledge representation, plays a key role in the Semantic Web. Therefore, how to extend ontologies to represent fuzzy spatio‐temporal knowledge needs to be solved. In this paper, we propose an approach for representing fuzzy spatio‐temporal knowledge with ontologies and investigate a formal construction of fuzzy spatio‐temporal ontologies based on fuzzy Petri nets. First, we propose a formal definition of fuzzy spatio‐temporal ontologies. In addition, based on fuzzy description logic, a description logic named the fuzzy spatio‐temporal description logic, which provides a logical basis for the fuzzy spatio‐temporal ontologies, is presented. Furthermore, a fuzzy spatio‐temporal web ontology language, which is fuzzy and spatio‐temporal extension of standard ontology language OWL, is proposed to make the fuzzy spatio‐temporal ontologies easy to use and support efficient reasoning. On the basis of fuzzy spatio‐temporal ontologies, we investigate a formal approach for constructing fuzzy spatio‐temporal ontologies from fuzzy spatio‐temporal Petri nets, ie, transforming fuzzy spatio‐temporal Petri nets (including Petri net model and Petri net instance) into fuzzy spatio‐temporal ontologies at both structure and instance levels. Finally, we prove the correctness of the transformation and provide a detailed transformation example.

show abstract

“…There are multiple known knowledge representation approaches related to different aspects of DAS such as UML diagrams [8,21] and petri-nets [22] which are syntactically oriented and limited in the ability to capture semantic details and reason from the knowledge [23]. The focus of this paper is on semantic knowledge representation with ontological models, a technology that originated from the Semantic Web concept [24], where ontologies are expressed through the RDF 1 , RDFS 2 and OWL 3 language notations.…”

Section: Introductionmentioning

confidence: 99%

Semantic modeling for engineering data analytics solutions

Bandara

Rabhi

2020

View full text Add to dashboard Cite

Data Analytics Solution (DAS) engineering often involves multiple tasks from data exploration to result presentation which are applied in various contexts and on different datasets. Semantic modeling based on the open world assumption supports flexible modeling of linked knowledge. The objective of this paper is to review existing techniques that leverage semantic web technologies to tackle challenges such as heterogeneity and changing requirements in DAS engineering. We explore the application scope of those techniques, the different types of semantic concepts they use and the role these concepts play during DAS development process. To gather evidence for the study we performed a systematic mapping study by identifying and reviewing 82 papers that incorporate semantic models in engineering DASs. One of the paper's findings is that existing models can be classified within four types of knowledge spheres: domain knowledge, analytics knowledge, services and user intentions. Another finding is to show how this knowledge is used in literature to enhance different tasks within the analytics process. We conclude our study by discussing the limitations of the existing body of research, showcasing the potential of semantic modeling to enhance DASs and presenting the possibility of leveraging ontologies for effective end-to-end DAS engineering.

show abstract

A literature overview of knowledge sharing between Petri nets and ontologies

Cited by 7 publications

References 58 publications

Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins

Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins

Fuzzy spatio‐temporal ontologies and formal construction based on fuzzy Petri nets

Semantic modeling for engineering data analytics solutions

Contact Info

Product

Resources

About