11 results about "Description logic" patented technology

The invention discloses a financial business compliance risk identification method based on knowledge graph reasoning, and the method comprises the steps: constructing a heterogeneous knowledge graph, enabling the heterogeneous knowledge graph to be associated with a corresponding collateral node, carrying out the formalized modeling of a supervision rule through a time sequence description logic, carrying out the forward chain reasoning of the knowledge graph through a rule engine, and identifying a dominant compliance risk. An unstructured contract text is converted into vector representation, semantic alignment is performed through a graph attention mechanism and contract element nodes in a knowledge graph, long-term dependence characteristics of equipment state changes are captured, a temporary inference sub-graph is generated through a rapid adaptation module, dominant risk indexes are used as node characteristics of a graph neural network, and the graph neural network is constructed. And optimizing the overall reasoning effect through a joint loss function. Therefore, a collaborative reasoning mode can be formed through hierarchical fusion of explicit and implicit risks, multi-source heterogeneous data processing and rule dynamic adaptation are effectively solved, and the accuracy and efficiency of movable property financing business compliance risk identification of small and medium-sized enterprises are remarkably improved.

The invention relates to code verification, in particular to a code and document consistency reasoning verification system based on a cross-modal logic atlas, which comprises an input layer for receiving source codes and software documents; the feature extraction layer is used for performing feature extraction on the source code and the software document; the abstraction layer is used for converting the extracted features into comparable intermediate representations; the unified modeling layer is used for mapping code logic and document semantics into a unified atlas structure and performing formalized representation by using description logic to obtain a cross-modal logic atlas; the reasoning verification layer is used for performing reasoning verification on the consistency of the code and the document according to the cross-modal logic graph; the result processing layer is used for judging a verification result according to the reasoning verification condition, starting a contradiction positioning mechanism when inconsistency is found, and carrying out contradiction positioning and report generation to obtain an interpretable report; according to the technical scheme provided by the invention, the defects that the consistency between the code and the document is difficult to accurately verify, and accurate contradiction positioning and an interpretable report are difficult to provide can be effectively overcome.

The application discloses a target controller configuration data system and a generating method, relates to the technical field of target controller configuration data generation, and comprises a physical layer, a logic layer and an interface layer: the physical layer is used for describing hardware configuration information of the target controller, the hardware configuration information comprises a physical position, equipment types and quantities and a communication protocol of a main safety control unit, the physical layer comprises a plurality of RACK structures corresponding to a plurality of cabinets of the target controller, and the RACK structure comprises a plurality of LRU structures recording different hardware modules of the cage; the logic layer is used for describing a logic set, and elements of the logic set are logic objects; the logic layer comprises a plurality of OBJECT structures used for storing the logic objects; and the interface layer is used for describing communication between different LRU structures and binding the physical layer and the logic layer. According to the application, the configuration data is divided into three layers of logic, physics and interface, and special parameters and communication information of a plurality of complex hardware boards can be clearly stored.

The invention discloses a video content analysis method, a server, a product, equipment and a storage medium, and relates to the field of video analysis, and the method comprises the steps: calling a preset large language model which cannot be subjected to subjective reasoning, carrying out the information extraction of the video display content of a video file at each moment, and obtaining an information extraction result; and performing risk identification on the extracted structured event data based on a risk identification rule, extracting verification evidence of the risk assessment result of each event entity from the video display content, and outputting a content analysis result based on each risk assessment result and the verification evidence. According to the method and the device, on the basis of the preset large language model which cannot be subjectively reasoned, the disassembly of the complex description logic is realized, the accuracy of each event entity obtained by disassembly is improved, the risk assessment result of each event entity is verified by using the verification evidence, and the content analysis precision of the finally output video file is improved.

The application discloses an embedding inconsistency-tolerant ontology reasoning method, which is used for inconsistency ontology reasoning related tasks and enhances query ability on inconsistency ontology. Firstly, axioms in ontology are converted into sentences in natural language form. Then, embedding technology is used to map the axioms in natural language form into semantic vectors in a high-dimensional space, and semantic contact between axioms is calculated by using the semantic vectors. Finally, inconsistency-tolerant reasoning relations are defined by the semantic contact between the semantic vectors. By using the reasoning relations, consistent results can be reasoned on inconsistency ontology. The reasoning relations expand classical logic to the description logic field, have good logical properties, and fully consider the semantics of axioms in ontology, and have stronger inconsistency-tolerant reasoning ability.

This invention discloses a method and system for automated policy deduction based on descriptive logic, comprising: creating a structured policy; storing the structured policy as an XACML format policy; translating the XACML format policy into a formal policy; converting the formal policy into a concrete policy according to the policy objective interpretation environment to be implemented; instantiating the concrete policy, generating instances of policy objects, and distributing them to actual devices for execution. This invention, through formal security policy expression, utilizes a policy center to achieve automated deduction, decision-making, and execution of security policies, effectively reducing the difficulty of policy management for administrators and improving security management efficiency.

The scheme discloses a kind of complex system component modeling method based on data driving and related product, wherein the steps of the method include: complex equipment system component modeling and combat process constraint description;Combat process data and complex equipment system component modeling associated combat equipment system are analyzed by co-simulation, and the analysis results such as model checking, knowledge matching and conflict resolution of real combat process data and simulation data are obtained.The scheme can schedule the bottom equipment component model under the atomic behavior component model, thereby improving the behavior modeling efficiency and enhancing the reusability of atomic behavior component model.At the same time, based on the combat process constraint described by description logic, the model checking, knowledge matching and conflict resolution of real combat process data and simulation data are used to realize model confidence evaluation, constraint relationship analysis, rule matching analysis and model optimization.

The method for mapping a noun phrase to a description logic concept based on epitaxy firstly exhaustively lists all text segments of the noun phrase, generates a mapping table of the text segments to resources in a knowledge base; then generates an analysis sequence according to the word segmentation, part-of-speech tagging and syntax tree of the noun phrase; and finally, according to the analysis sequence, continuously refines basic concepts generated by the indexed resources from the concept of EL++, until all words are analyzed, to obtain the description logic concept to which the noun phrase is mapped. The application can automatically process complex noun phrases containing implicit relations and generate high-quality description logic concepts through analysis of the syntax tree.

An embodiment of the present invention discloses a semantic description and consistency checking method for an intelligent simulation model, including the following steps: S10: Check the input intelligent model PMML description document. If the intelligent model PMML description document conforms to the PMML description specification, proceed to S30; if it does not conform to the PMML description specification, re-enter the intelligent model PMML description document; S30: Describe the constraints of the intelligent model using description logic to form an intelligent model constraint description document; S50: Perform semantic annotation on the intelligent simulation model framework to form an intelligent simulation model interface constraint document; S70: Perform semantic consistency checking of the intelligent simulation model according to the content of the intelligent model constraint description document and the intelligent simulation model interface constraint document.

The present invention discloses an exception handling method, apparatus, device and storage medium, the method comprising: in response to detecting a current rule item with an execution exception during the execution of a rule description logic, obtaining a current-level rule relationship corresponding to the current rule item; if the current-level rule relationship is a logical OR relationship and there is a next rule item corresponding to the current rule item, then continuing to execute the rule description logic based on the next rule item. The embodiment of the present invention solves the problem of frequent interruptions of the rule engine and improves the execution efficiency of the rule engine by obtaining a current-level rule relationship corresponding to the current rule item in response to the current rule item with an execution exception, and if the current-level rule relationship is a logical OR relationship and there is a next rule item corresponding to the current rule item, then continuing to execute the rule description logic based on the next rule item.