Formal transformation of OWL ontology to a FOKI generic meta-model

Bogumila Hnatkowska1, Adrianna Kozierkiewicz1 and Marcin Pietranik1

  1. Wroclaw University of Science and Technology
    Wybrzeże Wyspiańskiego 27, 50-370, Wrocław, Poland
    {bogumila.hnatkowska, adrianna.kozierkiewicz, marcin.pietranik}@pwr.edu.pl

Abstract

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.

Key words

Keywords: FOKI, ontology integration, OWL, transformation

Digital Object Identifier (DOI)

https://doi.org/10.2298/CSIS240227002H

Publication information

Volume 22, Issue 1 (January 2025)
Year of Publication: 2025
ISSN: 2406-1018 (Online)
Publisher: ComSIS Consortium

Full text

DownloadAvailable in PDF
Portable Document Format

How to cite

Hnatkowska, B., Kozierkiewicz, A., Pietranik, M.: Formal transformation of OWL ontology to a FOKI generic meta-model. Computer Science and Information Systems, Vol. 22, No. 1, 105–131. (2025), https://doi.org/10.2298/CSIS240227002H