Correctness of the transformation: transformation of ontology axioms in formal rules
Articles
Olegas Vasilecas
Vilnius Gediminas Technical University
Diana Būgaitė
Vilnius Gediminas Technical University
Published 2021-06-14
https://doi.org/10.15388/LMR.2007.24199
PDF

Keywords

correctness of the transformation
ontology axioms
formal rules

How to Cite

Vasilecas O. and Būgaitė D. (2021) “Correctness of the transformation: transformation of ontology axioms in formal rules”, Lietuvos matematikos rinkinys, 47(spec.), pp. 208–214. doi: 10.15388/LMR.2007.24199.

Abstract

In this paper, authors emphasise on the correctness of the transformation. Therefore, types of correctness are analysed here. As a context of transformation, the transformation of PAL constraints in SQL rules is chosen for more details. Formal rules for the transformation of PAL constraints in SQL rules are presented in this paper also. And finally, the analysis of the proposed transformation is checked.

PDF
Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Please read the Copyright Notice in Journal Policy