DocumentCode :
3309481
Title :
Representation of Petri net with OWL DL ontology
Author :
Fu Zhang ; Ma, Z.M. ; Ribaric, Slobodan
Author_Institution :
Coll. of Inf. Sci. & Eng., Northeastern Univ., Shenyang, China
Volume :
3
fYear :
2011
fDate :
26-28 July 2011
Firstpage :
1396
Lastpage :
1400
Abstract :
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.
Keywords :
Petri nets; knowledge representation languages; ontologies (artificial intelligence); semantic Web; DL ontologies; OWL; Petri nets representation; formal method; semantic Web; Educational institutions; OWL; Object recognition; Ontologies; Petri nets; Semantics; Ontology; Petri net; Representation;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Fuzzy Systems and Knowledge Discovery (FSKD), 2011 Eighth International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-61284-180-9
Type :
conf
DOI :
10.1109/FSKD.2011.6019803
Filename :
6019803
Link To Document :
بازگشت