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.