Просматривается номер   2013-63-2
To the readers
About journal
Publication Ethics
Requirements for papers
Topics
Review Process
English (United Kingdom)Russian (CIS)
Mathematical models of socio-economic processes
П. Н. Победаш "Принятие решений при оценке эффективности инвестиционных проектов на основе операционного исчисления"
Д. М. Галин, И. В. Сумарокова "Модели экономики федеральных округов и субъектов Российской Федерации"
В. Д. Ногин, А. В. Прасолов "Многокритериальная оценка оптимальной величины импортной пошлины"
Methods of decision making
О. В. Фридман, А. Я. Фридман "Применение нейронных сетей для детектирования источника возмущений в сетевых структурах"
Г. Л. Смолян "Рефлексивное управление — технология принятия манипулятивных решений"
П. А. Ломов, А. Г. Олейник "Разработка технологии проверки и согласования нормативно-правовой базы на основе онтологий"
Численные методы решения
О. И. Рябков "О полимодальных отображениях и их применении к хаотической динамике дифференциальных уравнений"
М. В. Хлебников, П. С. Щербаков "Ограниченное линейное управление, оптимальное по квадратичному критерию специального вида"
В. Н. Лаптинский, О. А. Маковецкая "Конструктивный анализ периодической краевой задачи для матричного уравнения Ляпунова–Риккати"
А. И. Баркин "Вычисление области притяжения для систем с полиномиальной правой частью"
Economic and sociocultural challenges of the information society
Т. И. Жукова, В. И. Тищенко "Традиции и инновации в научных коммуникациях. Статистические исследования"
Risk management and safety
В. В. Александров, А. П. Котельников "Подход к оценке эффективности мероприятий по комплексной защите информационных ресурсов"
Дискуссии
Э. Р. Смольяков "Исследование устойчивости удаленных от Солнца траекторий зондов Voyager-1, 2 и обоснование аномального их движения"
П. А. Ломов, А. Г. Олейник "Разработка технологии проверки и согласования нормативно-правовой базы на основе онтологий"

Аннотация.

В статье представлена технология поддержки создания и согласования нормативно-правовых документов на основе онтологического подхода. Рассмотрены средства, составляющие основу ее реализации, а также общий порядок ее применения для анализа содержимого документов и нахождения в нем ошибок и неточностей.

Ключевые слова:

онтология, моделирование, логический вывод.

Стр. 62-69.

Lomov P. A., Oleynik A. G.

"Development Of The Ontology Based Technology For Legal Documents Consistency Checking And Coordination Support"

Abstract. The paper is dedicated to the ontology based technology for support legal documents creation and coordination. The means making a basis of the technology,  and process  of it’s  application  for consistency check of documents are considered.

Keywords: ontology, modeling, logical inference.

Полная версия статьи в формате pdf.
     
2024-74-1
2023-73-4
2023-73-3
2023-73-2

© ФИЦ ИУ РАН 2008-2018. Создание сайта "РосИнтернет технологии".