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