3. Термины и определения

Для целей Концепции предлагается использовать следующие термины и определения:

Машиночитаемое право - основанное на онтологии права изложение определенного набора правовых норм на формальном языке (в том числе языке программирования, языке разметки), а также технологии машиночитаемого права (инструменты применения таких норм в виде необходимых информационных систем и программного обеспечения).

Онтология машиночитаемого права - описание на формальном языке множества объектов (сфер применения машиночитаемого права, субъектов правоотношений, сделок и т.д.) в области права и связей между ними.

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