Welcome to the InfoSci Platform
Reference Hub2
Formalization of Ontology Conceptualizations Using Model Transformation

Formalization of Ontology Conceptualizations Using Model Transformation

Malika Boudia, Mustapha Bourahla
Copyright: © 2022 |Volume: 13 |Issue: 1 |Pages: 21
ISSN: 1947-8186|EISSN: 1947-8194|EISBN13: 9781683181699|DOI: 10.4018/IJISMD.305229
Cite Article Cite Article

MLA

Boudia, Malika, and Mustapha Bourahla. "Formalization of Ontology Conceptualizations Using Model Transformation." IJISMD vol.13, no.1 2022: pp.1-21. http://doi.org/10.4018/IJISMD.305229

APA

Boudia, M. & Bourahla, M. (2022). Formalization of Ontology Conceptualizations Using Model Transformation. International Journal of Information System Modeling and Design (IJISMD), 13(1), 1-21. http://doi.org/10.4018/IJISMD.305229

Chicago

Boudia, Malika, and Mustapha Bourahla. "Formalization of Ontology Conceptualizations Using Model Transformation," International Journal of Information System Modeling and Design (IJISMD) 13, no.1: 1-21. http://doi.org/10.4018/IJISMD.305229

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Conceptual models are built with concepts and relationships between them to reach a unified view of domain problems. There are many kinds of conceptual models developed in different modeling languages, such as class diagrams and entity-relationship models. In this paper, the authors have developed a specific meta-model following the Ecore standard to define conceptual models. These domain-specific conceptual models can be automatically formalized as domain ontologies using model transformation with the technique of triple graph grammars into ontology formal descriptions in accordance with the defined Ecore meta-model of the language OWL (web ontology language). For ontology deployment, its OWL code may be generated from OWL models using model-to-code transformation guided by Xpand templates. A performance evaluation is realized using a benchmark from the university domain with very large conceptual models. Through the experiments, they validate the performance and we prove the exactness and the scalability of the automatic transformation process of conceptual models.