Vasilecas O, Būgaitė D. Correctness of the transformation: transformation of ontology axioms in formal rules. LMR [Internet]. 2021 Jun. 14 [cited 2026 Jan. 19];47(spec.):208–214. Available from: https://www.zurnalai.vu.lt/LMR/article/view/24199