Тема важнейшая после формализации физики! так сказать мета-физическая.
И работа уже идёт например в Томске см.
International Workshop SEMANTICS AND LOGIC OF LEGAL LANGUAGE April 27–28, 2018 Faculty of Philosophy of Tomsk State University
и не только и давно
(обзор) A Systematic Mapping of the Literature on Legal Core Ontologies http://ceur-ws.org/Vol-1442/paper_8.pdf ~2014
-- (project) UFO-L (A Core Legal Reference Ontology) https://nemo.inf.ufes.br/en/projetos/ufo-l/
- (LEGOL)"[27.4.2018]Ronald Stamper:
In 1968 I moved to the London School of Economics from industry and began research on Organisations as Information Systems.
The model was the huge Department for Health and Social Security that is specified in a statute law occupying a 1m shelf.
Instead of computerising it from the 400 5cm-thick books of clerical codes, we set about devising a LEGall Orientated Language, LEGOL
expressing statutes and serving as a language to be interpreted by computer.
Our first demonstration was at a 1980 conference organised by the Research Council, proceeding published by Cambridge University Pres
Computer Science and Law, edited by Brian Niblett.
Our methods work well for designing legislation (opinion of Francis Bennion, leading member of the Parliamentary Counsell,
who write the true legal gobbledygook. They are great when applied to business computer applications: cutting costs, improving
adaptability, being easier for business people to understand, compared with the mountains of orthodox flow charts.
Semantics is the key.
"
https://en.wikipedia.org/wiki/Critical_legal_studies для погружения в теорию права;-)
и конечно Концепт (бурбакианцев) https://www.facebook.com/groups/795777194394733/posts/850027228969729/
KM4LAW – The Knowledge Management for Law workshop https://km4law.di.unito.it/