Back to Search
Start Over
Correctness of the transformation: transformation of ontology axioms in formal rules
- Source :
- Lietuvos Matematikos Rinkinys, Vol 47, Iss spec. (2021)
- Publication Year :
- 2021
- Publisher :
- Vilnius University Press, 2021.
-
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.
- Subjects :
- correctness of the transformation
ontology axioms
formal rules
Mathematics
QA1-939
Subjects
Details
- Language :
- English, Lithuanian
- ISSN :
- 01322818 and 2335898X
- Volume :
- 47
- Issue :
- spec.
- Database :
- Directory of Open Access Journals
- Journal :
- Lietuvos Matematikos Rinkinys
- Publication Type :
- Academic Journal
- Accession number :
- edsdoj.564134d6c6f457db00f1482be241652
- Document Type :
- article
- Full Text :
- https://doi.org/10.15388/LMR.2007.24199