Representation of Petri Net with OWL DL Ontology
With the wide utilization of Petri nets, many researchers suggest that Petri nets should be reused and shared. Emerging the Semantic Web technologies, such as ontologies, can play an important role in this scenario. In this paper, we propose an ontology approach for representing Petri nets. Firstly, we propose a complete formal definition of OWL DL ontologies. Then, Petri nets are introduced and a formal definition of Petri nets is given. On this basis, we propose an approach for representing Petri nets with ontologies, i.e., we translate some key features of Petri nets into classes, properties and axioms of OWL DL ontologies.
Petri net Ontology Representation
Fu Zhang Z. M. Ma Slobodan Ribaric
College of Information Science & Engineering, Northeastern University, Shenyang, China Faculty of Electrical Engineering & Computing, University of Zagreb, Zagreb, Croatia
国际会议
上海
英文
1449-1453
2011-07-26(万方平台首次上网日期,不代表论文的发表时间)