Examples of Ontology

Abstract

In the previous chapters we introduced the basic concepts of MOF-based languages for developing ontologies, such as the Ontology Definition Metamodel (ODM) and the Ontology UML Profile (OUP). We also discussed mappings between those languages and the OWL language. The purpose of this chapter is to illustrate the use of MOF-based languages for developing real-world ontologies. Here we discuss two different ontologies that we developed in different domains. The first example is a Petri net ontology that formalizes the representation of Petri nets, a well-known tool for modeling, simulation, and analysis of systems and processes. This Petri net ontology overcomes the syntactic constraints of the present XMLbased standard for sharing Petri net models, namely Petri Net Markup Language.