OPN-Ont: Object Petri Nets Ontology Tool

Lynda Dib, Fouad Bousetouane

2012

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.

References

  1. Chimaera Software Description URL, 2004: www.ksl.stanford.edu/software/chimaera (Acc.25-07).
  2. Dib L., 2005: OntoCell: An ontology of Cellular Biology, Journal of Computer Science 1 (3): 445- 449.
  3. Gruber, T. R., 1991: The role of common ontology in achieving sharable, reusable knowledge bases, in Proceedings of KR'1991: Principles of knowledge representation and reasoning, p. 601-602.
  4. Habbouche, M. and Pérez, M. 2002: Evaluation of ontology tools for bioinformatics, LiTH-IDA-Ing-Ex02/10, Department of computer and information science, Linköpings universitet. In Swedish.
  5. Lambrix, P., Edberg, A., 2003: Evaluation of ontology merging tools in bioinformatics, Pacific Symposium on Biocomputing, 8:589-600, Kauai, Hawaii, USA,
  6. Lambrix, P., Habbouche, M., Pérez, M., 2004: Evaluation of ontology development tools for bioinformatics, Bioinformatics, 19(12):1564-1571.
  7. Rice, J., Farquhar, A., Piernot, P.and Gruber, T. 1996: Using the Web Instead of a Window System. In CHI, pp.103-110. http://www-ksl-svc.stanford.edu: 5915/ doc/papers/ksl-95-69/index.html.
  8. The FaCT System URL: 2004 www.cs.man.ac.uk/ horrocks/FaCT. (Acc. 21-07).
  9. Dragan G., Vladan D. 2006: Petri net ontology, in Knowledge-Based Systems Journal. 19 220-234
  10. M. Peleg, I. Yeh, R. Altman, 2002: Modeling biological processes using Workflow and Petri net models, in Bioinformatics Journal 18 (6) 825-837.
Download


Paper Citation


in Harvard Style

Dib L. and Bousetouane F. (2012). OPN-Ont: Object Petri Nets Ontology Tool . In Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-8565-20-4, pages 158-163. DOI: 10.5220/0004085301580163


in Bibtex Style

@conference{simultech12,
author={Lynda Dib and Fouad Bousetouane},
title={OPN-Ont: Object Petri Nets Ontology Tool},
booktitle={Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2012},
pages={158-163},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004085301580163},
isbn={978-989-8565-20-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - OPN-Ont: Object Petri Nets Ontology Tool
SN - 978-989-8565-20-4
AU - Dib L.
AU - Bousetouane F.
PY - 2012
SP - 158
EP - 163
DO - 10.5220/0004085301580163