The most important condition for ensuring the integrity of
the legal base is the identification and elimination of
contradictions, which are often found when using existing or
developing new legal acts and documents relating to various
aspects of the same objects of law. To solve this problem, a
software tool has been developed to control the integrity of
the legal base in the development and use of legal
documents.
The software tool accepts an initial set of legal documents as
input, and performs its syntactic and semantic analysis. For
parsing and determining the morphological characteristics
of words, a grammar dictionary of the Russian language, the
WordNet thesaurus, and the SyntaxNet library for
determining syntactic relationships, are used.
The result of the analysis of the document is a weighted
semantic image of the document, which is a semantic
network of concepts and relations between them.
A fragment of this network related to documents and
concepts of interest to an expert is described as a set of OWL
expressions - an ontology of documents. As the base of this
ontology - ontology for legal knowledge representation -
LKIF-Core is used.
On the resulting ontology, logical inference by using the
JFACT++ reasoner is performed to identify possible
inconsistencies and notify the expert.
At the same time, the generated semantic image of the
document is visualized in various ways, in which vertex
incidence (degree of detail of the description of a concept in
the document), the weight of the edges (the importance of
the relationship between the concepts), and paths (structure
of the definition of concept in the document) are presented
using visual effects. The expert can therewith quickly
comprehend the document, identify documents that are
similar in meaning, and identify possible problem places in
the definition of legal concepts and relations between them.

La condition la plus importante pour garantir l'intégrité de la base juridique est l'identification et l'élimination des contradictions, qui sont souvent trouvées lors de l'utilisation d'actes juridiques et de documents existants ou en développement concernant divers aspects des mêmes objets de droit. Pour résoudre ce problème, un outil logiciel a été développé pour contrôler l'intégrité de la base juridique dans l'élaboration et l'utilisation des documents juridiques. L'outil logiciel accepte un ensemble initial de documents juridiques en entrée et effectue son analyse syntaxique et sémantique. Pour analyser et déterminer les caractéristiques morphologiques des mots, un dictionnaire de grammaire de la langue russe, le thésaurus WordNet et la bibliothèque SyntaxNet pour déterminer les relations syntaxiques sont utilisés. Le résultat de l'analyse du document est une image sémantique pondérée du document, qui est un réseau sémantique de concepts et de relations entre eux. Un fragment de ce réseau lié aux documents et aux concepts d'intérêt pour un expert est décrit comme un ensemble d'expressions OWL - une ontologie de documents. Comme base de cette ontologie - ontologie pour la représentation des connaissances juridiques - LKIF-Core est utilisé. Sur l'ontologie résultante, une inférence logique à l'aide du raisonneur JFACT++ est effectuée pour identifier les éventuelles incohérences et en informer l'expert. Dans le même temps, l'image sémantique générée du document est visualisée de différentes manières, dans lesquelles l'incidence des sommets (degré de détail de la description d'un concept dans le document), le poids des arêtes (l'importance de la relation entre les concepts), et les parcours (structure de la définition du concept dans le document) sont présentés à l'aide d'effets visuels. L'expert peut ainsi comprendre rapidement le document, identifier les documents qui ont une signification similaire et identifier les problèmes éventuels dans la définition des concepts juridiques et les relations entre eux.

The software tool is oriented toward the analysis and
representation of content of normative documents in the
form of formal ontology (web ontology language (OWL)
ontology) and the construction of their visual images for the
subsequent detection of inaccuracies and contradictions
using logical inference and visual analysis methods.

L'outil logiciel est orienté vers l'analyse et la représentation du contenu de documents normatifs sous forme d'ontologie formelle (ontologie du langage d'ontologie Web (OWL)) et la construction de leurs images visuelles pour la détection ultérieure d'inexactitudes et de contradictions à l'aide d'inférences logiques et visuelles. méthodes d'analyse.

Semantic analysis of legal documents