Geodesic
Formal transformation of OWL ontology to a FOKI generic meta-model
Computer Science and Information Systems, Tome 22 (2025) no. 1.

Voir la notice de l'article provenant de 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},
     publisher = {mathdoc},
     volume = {22},
     number = {1},
     year = {2025},
     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
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2025_22_1_a5/
ID  - CSIS_2025_22_1_a5
ER  - 
%0 Journal Article
%A Bogumila Hnatkowska
%A Adrianna Kozierkiewicz
%A Marcin Pietranik
%T Formal transformation of OWL ontology to a FOKI generic meta-model
%J Computer Science and Information Systems
%D 2025
%V 22
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2025_22_1_a5/
%F CSIS_2025_22_1_a5
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/