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