A Petri Net-based Approach to OWL Ontology Representation
Lorena Chavarría-Báez, Óscar Díaz · Research in Computing Science · 2015
Ontologies are an essential component to construct the Semantic Web.Therefore, their accuracy and quality must be assured.From the point of view of several fields of study, models (or representations) are useful to achieve that goal.Petri Nets are a graphical and mathematical modeling tool whose capabilities to express important systems characteristics makes them valuable for ontology representation, verification and reasoning.However, given that their application has been reduced to depict taxonomies, the verification and reasoning process are partially achieved.So, there is a need to have a comprehensive ontology representation.In this paper, we introduce the Ontology Conditional Coloured Petri Net (OCCPN) model, a Petri Net extension to represent ontologies.Unlike existing proposals, OCCPN not only gives details of the taxonomy but, by evaluating conditions, also provides modeling primitives to create complex classes and describe properties as well as additional restrictions.