 |
П. А. Ломов, А. Г. Олейник "Разработка технологии проверки и согласования нормативно-правовой базы на основе онтологий" |
 |
Аннотация. В статье представлена технология поддержки создания и согласования нормативно-правовых документов на основе онтологического подхода. Рассмотрены средства, составляющие основу ее реализации, а также общий порядок ее применения для анализа содержимого документов и нахождения в нем ошибок и неточностей. Ключевые слова: онтология, моделирование, логический вывод. Стр. 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.
|
