Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Method and device for satisfiability detection of ontological concepts

A detection method and satisfactory technology, applied in the field of communication, can solve the problem of insufficient simplification, and achieve the effect of improving detection efficiency

Inactive Publication Date: 2010-03-31
HUAWEI TECH CO LTD
View PDF0 Cites 1 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] In the existing technology, the BCP optimization technical solution can only solve the simplification problem of some disjunction items, and the simplification is not thorough enough

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Method and device for satisfiability detection of ontological concepts
  • Method and device for satisfiability detection of ontological concepts
  • Method and device for satisfiability detection of ontological concepts

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0020] The following will clearly and completely describe the technical solutions in the embodiments of the present invention with reference to the accompanying drawings in the embodiments of the present invention. Obviously, the described embodiments are some of the embodiments of the present invention, but not all of them. Based on the embodiments of the present invention, all other embodiments obtained by persons of ordinary skill in the art without creative efforts fall within the protection scope of the present invention.

[0021] Embodiments of the present invention provide a method for satisfiability detection of an ontology concept, such as figure 1 shown, including the following steps:

[0022] Step 101, initialize the concept collection of ontology concepts.

[0023] Set the initial value of the dependency set of the ontology concept to the depth count value of the disjunction item in the ontology concept, set the initial value of the depth count value to 1, and set...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The embodiment of the invention discloses a method and a device for the satisfiability detection of ontological concepts. The method comprises the following steps: initializing a concept set of the ontological concepts; applying an improved BCP (Boolean Constraint Propagation) optimizing technology to simplify the concept set; and judging the satisfiability of the ontological concepts according toa simplified concept set. In the embodiment of the invention, by applying the improved BCP optimizing technology to the satisfiability detection of the ontological concepts, a disjunction item is sufficiently simplified, thereby improving the detection efficiency.

Description

technical field [0001] The invention relates to the field of communication technology, in particular to a method and device for satisfiability detection of an ontology concept. Background technique [0002] In view of the close correlation between ontology description language and description logic language, the reasoning method of description logic is usually used in ontology reasoning. At present, there are mainly four reasoning methods for the reasoning problem of description logic. They are: structured algorithm, Tableau (table deduction) algorithm, transformation method and automata-based method. [0003] In order to realize the ontology consistency detection reasoning machine, it is more suitable to use the Tableau algorithm as the core algorithm of reasoning. The Tableau algorithm only defines the decision algorithm itself (that is, only defines the extension rules). For the reasoning system that supports complex construction operator sets, simply applying the exten...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
IPC IPC(8): H04L12/24H04Q3/00
Inventor 张翼张永刚车海燕叶育鑫刘瑶
Owner HUAWEI TECH CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com