Formal Cross-Domain Ontologization of Human Knowledge. - Ekaterina Isaeva; Vadim Bakhtin; Andrey Tararkov (ICITS, 2020)