Vasilecas, O. .; Būgaitė, D. . Correctness of the Transformation: Transformation of Ontology Axioms in Formal Rules. LMR 2021, 47 (spec.), 208–214. https://doi.org/10.15388/LMR.2007.24199.