Eureka AIR delivers breakthrough ideas for toughest innovation challenges, trusted by R&D personnel around the world.

Incomplete division method and device for maximum cardinal subset of ontology library

An ontology library, subset technology, applied in database model, relational database, structured data retrieval and other directions, can solve problems such as unseen division work

Pending Publication Date: 2021-07-23
HUZHOU TEACHERS COLLEGE
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The methods proposed in the above work are all to eliminate ontology logic conflicts, and there is no use of the inconsistency of the ontology database to divide the work.

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
  • Incomplete division method and device for maximum cardinal subset of ontology library
  • Incomplete division method and device for maximum cardinal subset of ontology library
  • Incomplete division method and device for maximum cardinal subset of ontology library

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0042] In order to enable those skilled in the art to better understand the technical solutions of the present disclosure, the present disclosure will be described in further detail below in conjunction with the accompanying drawings and specific embodiments.

[0043] refer to figure 1 A method for incomplete partitioning of the largest cardinality subset of an ontology library according to an embodiment of the present disclosure is described.

[0044] Such as figure 1 As shown, an incomplete partition method S100 of the largest cardinality subset of an ontology library, the method S100 includes:

[0045] Step S110, according to the ontology library B containing logical conflicts and the limited coordination cluster number k of the ontology library B, obtain m minimal incompatible subsets O of the ontology library B through an existing algorithm i (i=0,1,...,m-1) constitute the minimal incongruous subset set MIS(B) and the problem formula set Prob(B), and construct the model...

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 invention provides an incomplete division method and device for a maximum cardinal subset of an ontology library. Comprising the following steps: according to an ontology library containing logic conflicts and a limited coordination cluster number k, obtaining a minimum uncoordinated subset set and a problem formula set, and building a model decision variable set X and model auxiliary decision variable sets Q and Y; constructing a quadratic integer programming constraint C according to k, X, Q, Y and the minimum discordant subset; enabling the sum of X to form a quadratic integer programming objective function Z, solving the minimum value of Z under the condition that C is met, obtaining a variable assignment set, obtaining different clusters through different integer values corresponding to each formula in the problem formula set in the variable assignment set, and dividing the clusters into limited coordination clusters which keep the maximum cardinal subset of the input ontology library; constructing a quadratic integer programming model by using the minimum incongruous subset, and finally solving the model to incompletely divide the ontology library into limited coordination clusters and enable the limited coordination clusters to retain the maximum cardinal subset in the ontology library.

Description

technical field [0001] The disclosure belongs to the technical field of an incomplete partition method of an ontology database containing logical conflicts, and specifically relates to an incomplete partition method and device for an ontology database maximum cardinality subset. Background technique [0002] Ontology is one of the important knowledge representation tools of artificial intelligence and the theoretical basis of Semantic Web services, which has been widely used in many fields of computer science. In 1993, Gruber gave a formal definition of ontology that is widely accepted in the field of information science, that is, "ontology is a clear specification of a conceptual model". However, in ontology construction, due to various subjective and objective reasons, such as insufficient understanding of knowledge by ontology builders, inconsistencies caused by ontology descriptions, polysemy, etc., it is almost impossible to construct ontology without conflicts. At the...

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): G06F16/28
CPCG06F16/285
Inventor 吴茂念彭蔚郑博朱绍军郝秀兰
Owner HUZHOU TEACHERS COLLEGE
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Eureka Blog
Learn More
PatSnap group products