Formal transformation of OWL ontology to a FOKI generic meta-model
Computer Science and Information Systems, Tome 22 (2025) no. 1
Cet article a éte moissonné depuis la source Computer Science and Information Systems website
Ontology integration is merging a set of ontologies to provide a single, unified ontology, which contains all of the knowledge from input ontologies. Most solutions described in the literature are based on the OWL format and incorporate its strengths and weaknesses. In our previous research, we developed the ontology integration framework FOKI, which does not use the OWL. Collected experimental data using prepared ontologies proved its usefulness. However, the lack of OWL support makes it challenging to use the FOKI framework in practical applications. This paper presents a meta-model and a set of transformation rules for bi-directional transformation between ontologies expressed in our framework and the OWL standard. The meta-model serves as a bridge in the transformation process. Transformation rules are built by referencing an abstract syntax element of OWL2 and an appropriate mathematical formalism from FOKI. Their correctness was verified on widely available ontologies expressed in OWL provided, e.g., by the Ontology Alignment Evaluation Initiative.
Keywords:
Keywords: FOKI, ontology integration, OWL, transformation
@article{CSIS_2025_22_1_a5,
author = {Bogumila Hnatkowska and Adrianna Kozierkiewicz and Marcin Pietranik},
title = {Formal transformation of {OWL} ontology to a {FOKI} generic meta-model},
journal = {Computer Science and Information Systems},
year = {2025},
volume = {22},
number = {1},
url = {http://geodesic.mathdoc.fr/item/CSIS_2025_22_1_a5/}
}
TY - JOUR AU - Bogumila Hnatkowska AU - Adrianna Kozierkiewicz AU - Marcin Pietranik TI - Formal transformation of OWL ontology to a FOKI generic meta-model JO - Computer Science and Information Systems PY - 2025 VL - 22 IS - 1 UR - http://geodesic.mathdoc.fr/item/CSIS_2025_22_1_a5/ ID - CSIS_2025_22_1_a5 ER -
Bogumila Hnatkowska; Adrianna Kozierkiewicz; Marcin Pietranik. Formal transformation of OWL ontology to a FOKI generic meta-model. Computer Science and Information Systems, Tome 22 (2025) no. 1. http://geodesic.mathdoc.fr/item/CSIS_2025_22_1_a5/