Без заголовка

Ага, это по линии SBVR, там деонтологическая логика в явном виде поминается -- и как раз в связи с нормами. В России есть проекты, где парсят законодательство в семантическую сетку. Например, в Самаре: там это используют для ответа на вопросы по льготам разным людям (ибо льготы определяются не только на основе федерального законодательства, но и регионального, и местного -- и при бюджетировании на региональном уровне наступают проблемы из-за разницы в проблемах на нижнем уровне). Вот выпустит ABBYY лингвистический процессор в следующем году, и к нему сделать этот логический "законодательный add-on" как раз реализующий "юридическую логику" (деонтику, алетику и т.д.). И поставить посередь России веб-ресурс юридических советов с оплатой от показа баннеров юридических фирм ;)