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