Open AccessCorrectness of the transformation: transformation of ontology axioms in formal rules
Author(s) -
Olegas Vasilecas,
Diana Būgaitė
Publication year - 2021
Publication title -
lietuvos matematikos rinkinys
Language(s) - English
Resource type - Journals
eISSN - 2335-898X
pISSN - 0132-2818
DOI - 10.15388/lmr.2007.24199
Subject(s) - correctness , transformation (genetics) , computer science , programming language , axiom , model transformation , context (archaeology) , sql , program transformation , theoretical computer science , artificial intelligence , mathematics , paleontology , biochemistry , chemistry , geometry , consistency (knowledge bases) , biology , gene
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.