Formal transformation of OWL ontology to a FOKI generic meta-model
- 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
Available 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