Системы записи норм права в виде математической модели

Разметка текста необходима с целью выделения в нем интересующих областей для последующей группировки и систематизации содержащихся в них данных. Языки разметки, создаваемые специально для обработки нормативных актов, разрабатывались параллельно в разных странах. Наиболее успешными примерами правовых языков разметки являются разработанные американской некоммерческой организацией OASIS LegalXML, а также созданная при участии Организации Объединенных Наций Akoma Ntoso.

Математические модели. Первым крупным проектом по формированию правовой онтологии, направленной на систематизацию правовых норм и связей между содержащимися в них понятиями, стала онтология LKIF (Legal Knowledge Interchange Format), подготовленная в рамках проекта Estrella под эгидой амстердамского Leibniz Center for Law. Она объединила в себе 15 модулей с понятиями и связями между ними. Вместе с тем, дальнейшая разработка данной онтологии была прекращена в 2008 году в связи с недостаточной детализацией понятий для ее практического применения.

Другим крупным проектом является LegalRuleML, который представляет собой модель систематизации знаний, сочетающую в себе язык разметки и инструмент формирования алгоритмических записей на основании размеченного текста.

Кроме того, в новозеландской Лаборатории инноваций в сфере услуг (LabPlus) был проведен эксперимент по изложению двух законодательных актов в виде программного кода. В ходе эксперимента каждая норма была записана в трех видах: на английском языке, в виде псевдокода (на английском языке, следуя логике языка программирования), и в виде программного кода. По итогам разработки предлагаемого решения исследователи сделали вывод, что для машиночитаемых норм права необходимо адаптированное под них законодательство, поскольку обычные нормативные акты с трудом поддаются переводу на языки программирования. Кроме того, не все нормативные акты могут быть изложены в машиночитаемом виде.