УДК 004.82 СОЗДАНИЕ БАЗОВОЙ ОНТОЛОГИИ ДЛЯ РОССИЙСКОЙ СИСТЕМЫ ПРАВА НА ОСНОВЕ ОНТОЛОГИИ LKIF-CORE И. Е. <...> Статья посвящена проблемам онтологического моделирования в правовой сфере. <...> Рассматриваются особенности разработки правовых онтологий и задачи онтологического моделирования. <...> Приводятся результаты работы по адаптации общепринятой европейской юридической онтологии LKIF-Core для российской системы права с использованием русскоязычных обозначений. <...> The subject includes specific features of legal ontology development and problems of ontological modeling, covering the results of adaptation of well-known European legal ontology LKIF-Core for use in Russian legal system with native terminology. <...> ВВЕДЕНИЕ Для моделирования и описания правовых явлений и процессов актуальна задача создания систем, основанных на знаниях. <...> Первым шагом в разработке такой системы является принятие единой онтологии – документированной совокупности терминов предметной области и правил, согласно которым эти термины могут быть использованы для построения достоверных утверждений о состоянии системы, а также для санкционированного логического вывода новых утверждений. <...> Понятие онтологии является достаточно широким по степени формализации. <...> Поскольку в текстах правовых актов достаточно широко © Воронина И. Е., Пигалкова Е. А., 2010 154 практикуется внедрение определений, построить словарь терминов конкретной отрасли права не так сложно, но такая простая онтология не будет эффективна в использовании. <...> Основное преимущество онтологий, о которых пойдет речь далее, – наличие большого количества отношений, причем не только традиционных таксономических (часть-целое, класс-подкласс), но и иных, характерных для предметной области и служащих для отражения сложных явлений социально-правового характера. <...> Более того, для таких онтологий можно задать правила логического вывода, что позволит получить новые знания на основе уже существующих. <...> Формальность, то есть точное определение иерархического отношения между классами (is-a) и строго соблюдающие <...>