Welcome to the InfoSci Platform
Reference Hub3
Automatic Construction of OWL Ontologies From Petri Nets

Automatic Construction of OWL Ontologies From Petri Nets

Zongmin Ma, Haitao Cheng, Li Yan
Copyright: © 2019 |Volume: 15 |Issue: 1 |Pages: 31
ISSN: 1552-6283|EISSN: 1552-6291|EISBN13: 9781522564447|DOI: 10.4018/IJSWIS.2019010102
Cite Article Cite Article

MLA

Ma, Zongmin, et al. "Automatic Construction of OWL Ontologies From Petri Nets." IJSWIS vol.15, no.1 2019: pp.21-51. http://doi.org/10.4018/IJSWIS.2019010102

APA

Ma, Z., Cheng, H., & Yan, L. (2019). Automatic Construction of OWL Ontologies From Petri Nets. International Journal on Semantic Web and Information Systems (IJSWIS), 15(1), 21-51. http://doi.org/10.4018/IJSWIS.2019010102

Chicago

Ma, Zongmin, Haitao Cheng, and Li Yan. "Automatic Construction of OWL Ontologies From Petri Nets," International Journal on Semantic Web and Information Systems (IJSWIS) 15, no.1: 21-51. http://doi.org/10.4018/IJSWIS.2019010102

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Ontology, as a formal representation method of domain knowledge, plays a particular important key role in semantic web. How to construct ontologies has become a key technology in the semantic web, especially constructing ontologies from existing domain knowledge. Currently, Petri nets have been a mathematical modeling tool, and have been widely studied and successfully applied in modeling of software engineering, database and artificial intelligence. In particular, PNML (Petri Net Markup Language) language has been a part of ISO/IEC Petri nets standard for representing and exchanging data on Petri nets. Therefore, how to construct ontologies from PNML model of Petri nets needs to be investigated. In this article, the authors investigate a method for automatic construction of web ontology language (OWL) ontologies from PNML of Petri nets. Firstly, this paper gives a formal definition and the semantics of PNML models of Petri nets. On this basis, a formal approach for constructing OWL ontologies from PNML model of Petri nets is proposed, i.e., this paper transforms Petri nets (including PNML model and PNML document of the Petri nets) into OWL ontologies at both structure and instance levels. Furthermore, the correctness of the transformation is proved. Finally, a prototype construction tool called PN2OWL is developed to transform Petri nets models into OWL ontologies automatically.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.