Authors:
Lynda Dib
and
Fouad Bousetouane
Affiliation:
LASE- LAboratoire des Systèmes Embarqués and Badji Mokhtar University, Algeria
Keyword(s):
OPN-Ont System, Ontology, Objects Petri Nets, Requests, Concepts, Relations.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
e-Business
;
Enterprise Engineering
;
Enterprise Information Systems
;
Enterprise Ontologies
;
Formal Methods
;
Ontologies
;
Petri Nets
;
Simulation and Modeling
;
Symbolic Systems
Abstract:
Ontologies are being used nowadays in many areas, including software engineering, business, and biology, to evaluate their suitability for representing and simulating domain processes. To assist users in developing and maintaining ontologies a number of tools have been developed. The representation of knowledge bases and conceptual domain models, hierarchical process, the structural components that participate in the process and the roles that they play in a complex domain, is therefore a major challenge for computer scientists for this complex domain. Without aiming at exhaustiveness, our study combining ontology and Petri Nets (PNs) tries to identify some promising tracks in this area, which seems a rather interesting alternative in the optics of the expressive power of the deductive representations. The context of our work consists to develop a graphical knowledge model for complex domain. This paper presents the OPN-Ont (Object Petri Nets Ontology) model. In this system ontology
is represented in the PNs format, which allows verification of formal properties and qualitative and quantitative simulation. It leads to represent and exploit the different ontological components: concepts, relations and requests. The illustration of our model is made in biological domain where process supports methods for qualitative and quantitative reasoning.
(More)