3Methods and MaterialsFor the purpose of formalization and automated analysis of regulatory requirements applied in the construction industry, this study proposes a methodology based on the use of ontological modeling, natural language processing (NLP) techniques, and semantic analysis (Chen et al., 2024).The domain of interest is the set of building codes and regulations adopted in the Republic of Kazakhstan. The study is grounded in the following key principles.First, regulatory documents possess a complex, multi-level structure that includes nested conditions, exceptions, cross-references, and hierarchically organized requirements.Accordingly, the proposed methodology incorporates a step-by-step analysis of the syntactic and semantic characteristics of regulatory statements, aimed at their subsequent formalization and alignment.At the first stage, preliminary linguistic processing of the texts is performed, including tokenization, lemmatization, part-of-speech (POS) tagging, dependency parsing, and coreference resolution. These procedures are carried out using the DataVera EKG Language Processing (EKG LP) software module (DataVera, 2025), which is built on the SpaCy library and adapted to the specifics of regulatory vocabulary.At the second stage, textual fragments are aligned with the ontological model, which is represented as a set of interconnected ontologies (fig.1):Upper-level ontology (based on BFO), used to represent universal categories such as objects, processes, and relationships;Domain ontology of the construction sector (based on IFC), covering capital construction assets, engineering systems, and life cycle processes;Regulatory statement ontology, based on deontic logic, describing the structure of norms (subject, modality, action, object, and applicability condition);Terminology ontology (SKOS model), providing linkage between the terms used in regulatory documents and the concepts of the domain ontology. Fig. 1. Relationship between elements of the proposed ontologiesThe formalized representation of regulatory provisions is carried out in the form of semantic profiles, which include the following elements: subject (addressee of the requirement), modality (obligation, possibility, prohibition), predicate (action or characteristic), object (result of the action), as well as additional attributes (conditions, exceptions, time frames, etc.).To account for the complex structure of regulatory texts, the methodology implements mechanisms for:Detection of nested conditions (through the analysis of syntactic structures and conditional operators);Processing of exceptions, formed through negation constructs or limitations on the scope of regulations;Reconstruction of hierarchical relationships between regulatory provisions, using structural markers and contextual analysis of headings, articles, and subsections.At the final stage, a comparative semantic analysis is performed, aimed at identifying:Duplicated provisions (when key elements of the semantic profile match);Contradictions (when there are discrepancies in modalities or conditions of application);Semantic inconsistencies (in definitions of terms and interpretations of concepts).The comparison of semantic profiles is carried out based on a calculated similarity metric, the threshold value of which is determined empirically. In the case of significant discrepancies, the corresponding fragments are forwarded for expert review. Fig. 2. Architecture of the automated system for processing regulatory document textsThe developed system is designed for the automated semantic analysis of regulatory documents, identifying contradictions, duplicated provisions, and semantic inconsistencies. The architectural solution (Fig. 2) is based on the use of ontological models, graph and relational databases, as well as natural language processing (NLP) methods.The system includes several key components that ensure its functionality. A graph-based RDF triple store database (Apache Fuseki) is used for storing ontological models, enabling complex semantic queries and analysis of relationships between concepts. A relational or document-oriented storage system (PostgreSQL) is employed to store the results of the linguistic analysis of regulatory texts (Jadala et al., 2024). An important element is the data management platform (DataVera EKG Provider (DataVera, 2025)), which ensures information storage in accordance with the ontological model, supports both synchronous and asynchronous APIs, executes SPARQL queries, and performs data validation using SHACL rules (Ke et al., 2024). The system also includes application software modules, such as the linguistic analysis module for regulatory documents (DataVera EKG LP (DataVera, 2025)) and the semantic analysis module, which identifies contradictions in terminology and detects duplicated provisions. Monitoring and logging tools, such as ELK and Zabbix, are used to ensure system oversight and log collection (Bilobrovets et al., 2023).The system is implemented as a set of containers deployed in a Kubernetes environment (Poniszewska-Marańda et al., 2021), which ensures its scalability and fault tolerance.The processing of regulatory texts is performed in stages, starting with grammatical and semantic analysis (DataVera, 2025):Sentence structure analysis includes POS-tagging and dependency parsing, which allows for the identification of parts of speech and the establishment of grammatical dependencies between words. Coreference resolution is also performed, involving the substitution of nouns for pronouns and clarification of implied elements in the statement.Lemmatization ensures the conversion of word forms to their base form, simplifying subsequent processing and matching.Semantic matching involves identifying the concepts corresponding to the words in the sentence based on ontological models....