Naslov
Representation of Petri Net with OWL DL Ontology

Autori
Zhang, Fu ; Ma, Zongmin ; Ribarić, Slobodan

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
2011 Eight International Conference on Fuzzy Systems and Knowledge Discovery (FSKD 2011) / Ding, Yongsheng ; Li, Yongmin ; Fan, Zhun ; Li, Shaoyuan ; Wang, Lipo - Denvers (MA) : Institute of Electrical and Electronics Engineers (IEEE), 2011, 1449-1453

ISBN
978-1-61284-176-6

Skup
2011 Eight International Conference on Fuzzy Systems and Knowledge Discovery (FSKD 2011)

Mjesto i datum
Šangaj, Kina, 26.07.2011. - 28.07.2011

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Petri Net; Ontology; Representation

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA