Современные подходы к формализации семантики научного текстастатья