Каркас логических диалектов RIF: анализ и демонстрация применениястатья