5 results about "Description logic" patented technology

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.