Patents
Literature
Patsnap Eureka AI that helps you search prior art, draft patents, and assess FTO risks, powered by patent and scientific literature data.

2 results about "Description logic" patented technology

Description logics (DL) are a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order logic. In contrast to the latter, the core reasoning problems for DLs are (usually) decidable, and efficient decision procedures have been designed and implemented for these problems. There are general, spatial, temporal, spatiotemporal, and fuzzy descriptions logics, and each description logic features a different balance between DL expressivity and reasoning complexity by supporting different sets of mathematical constructors.

A method and system for automated policy deduction based on description logic

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.
Owner:JIANGSU ENLINK NETWORK TECH CO LTD

A method for mapping noun phrases to description logic concepts based on externalization

ActiveCN115186671BSemantic analysisKnowledge representationPart of speechNoun phrase
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.
Owner:NANJING UNIV