CN101807181A - Method and equipment for restoring inconsistent body - Google Patents
Method and equipment for restoring inconsistent body Download PDFInfo
- Publication number
- CN101807181A CN101807181A CN200910006540A CN200910006540A CN101807181A CN 101807181 A CN101807181 A CN 101807181A CN 200910006540 A CN200910006540 A CN 200910006540A CN 200910006540 A CN200910006540 A CN 200910006540A CN 101807181 A CN101807181 A CN 101807181A
- Authority
- CN
- China
- Prior art keywords
- axiom
- inconsistent
- sets
- extended error
- error set
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Images
Abstract
The invention provides a method and equipment for restoring an inconsistent body. The method comprises the following steps of: inputting an inconsistent body; searching unsatisfiable concepts in the body; aiming at each searched unsatisfiable concept, collecting axioms relevant to the concepts to form inconsistent axiom sets; filtering the inconsistent axiom sets relevant to each unsatisfiable concept, i.e. filtering two inconsistent axiom sets C1 and C2; if all the axioms in the C1 are contained by the C2, deleting the C2; generating one or more expansion error sets according to the retained inconsistent axiom sets; and selecting the expansion error sets containing the axioms with least number from the expansion error sets, using the expansion error sets as candidate restoration sets and restoring. Relative to the prior art, the invention can find the candidate restoration sets comprising all the possible schemes, so that an optimal restoration scheme can be found. Furthermore, the invention also provides a strategy which solves the problems of inconsistency and indeterminacy of the body simultaneously.
Description
Technical field
Relate generally to semantic web of the present invention and ontology inference more specifically, relate to the method and apparatus of the reparation inconsistent body of the inconsistent problem that is used to solve knowledge and body.
Background technology
Body (Ontology) is that it plays the part of vital role in semantic web to the description of entity in the real world and the relation between the entity.Semantic web depends on the quality and the correctness of body to a great extent.But under reality, always there is inconsistent in logic problem in body.
So-called inconsistent body (inconsistent ontology) refers to and has wrong or conflict in this body, thereby causes some notion in the body correctly to be explained.The inconsistent of body may cause by multiple reason, for example misrepresentation, polysemy, from the conversion of other form, integrated or the like from multiple source.When carrying out ontology inference, the answer that inconsistent body will lead to errors, also semantic understanding that can lead to errors and knowledge representation.Therefore, the inconsistent problem of solution body is very important.
In addition, under reality, a lot of knowledge and information may be uncertain.The correctness that the body of so-called uncertain (uncertain ontology) refers to body is uncertain.The uncertainty of body may be caused that also for example the expert is in subjective uncertainty, from the uncertainty of original body, uncertainty of automatic body learning instrument or the like by multiple reason.The uncertainty of body is high more, and its incorrect possibility is big more
Since in semantic web, there is inconsistent and uncertain body in a large number, and is difficult to guarantee the quality of body usually, therefore increasing for the technology requirement of the inconsistent and uncertain problem that solves body simultaneously.
The front is mentioned, and the semantic web technology depends on the quality and the correctness of body to a great extent.Current, be used to guarantee that the leading strategy of body quality is based on reasoning from logic (logical reasoning).Along with the appearance of ontology describing language (for example web Ontology Language (OWL)) and with the close relation of description logic (DL), novel DL inference machine can detect inconsistent body effectively.Yet how this tackles its inconsistency and remains problem to be solved under the situation that detects inconsistent body.
In the prior art, mainly contain the strategy of following two kinds of reply inconsistent bodies.
A kind ofly be and inconsistency " coexistence ", that is, exist under the inconsistent situation, use off-gauge inference method and obtain significant answer.For example, in the article " Reasoning with inconsistent ontologies " (Proceedings of the International Joint Conference on Artificial Intelligence-IJCAI ' 05,2005) (calling " documents [1] " in the following text) that Z.Huang, F.van Harmelen and A.ten Teije are delivered, adopted such method.Specifically, it proposes a kind of linear expansion strategy, is used for inconsistent body is carried out reasoning and original body do not made amendment.
Another kind of strategy is to solve (or " debugging ") mistake wherein when running into inconsistent body.Usually, this method attempt to find need in the body to repair or deletion so that the correct in logic smallest subset of body.As example, article " Inconsistent ontology diagnosis and repair " (the SEKT Deliverable D3.6.3 that is delivered at Stefan Schlobach, Zhisheng Huang, 2007) propose a kind of method that is used to calculate diagnosis (diagnose) set of inconsistent body in (calling " documents [2] " in the following text), so-called diagnosis set is meant the minimum axiomatic set theory that can repair inconsistent body.In addition, (ESWC 2007 for the article that Xi Deng, Volker Haarslev, Nematollaah Shiri are delivered " Measuring Inconsistencies in Ontologies ", the 326-340 page or leaf) (calls " documents [3] " in the following text) and also provides an example of this method, it utilizes the Shapley value to measure the extent of error of axiom in the body, and utilizes maximum Shapley value to revise axiom.In addition, once proposed a kind of " glass box and black box " method in the PhD dissertation that A.Kalyanpur delivered of University of Maryland " Debugging andRepair of OWL Ontologies " (in June, 2006) (calling " documents [4] " in the following text), and be used for debugging and the reparation body.He concentrates on description logic (DL) by the emphasis of work.The glass box method is angle modification DL internally, and method of black box detects the inconsistency of body by the outside DL inference machine that calls unmodified.
Research direction of the present invention focuses on above-mentioned second strategy, promptly to reparation (debugging) process of inconsistent body.Therefore, above-mentioned relevant documents is incorporated into this by reference on the whole, to be used for all purposes.
Mentioned the multiple prior art that is used to repair inconsistent body above.Yet all there are various defectives inevitably in these technology.For example, above-mentioned documents [2] can't find all possible body recovery scenario (also being referred to as " the diagnosis set of body "), therefore may omit the best repair scheme.In addition, the user also can't find only scheme, is used for repairing inconsistent body.Documents [3] is though propose the Shapley value that a kind of computing method can obtain each axiom, and these computing method are too complicated, especially is difficult to more realize when body is very big.Therefore the efficient of this method is very low.Documents [4] concentrates on description logic and attempts to revise DL mechanism.But this strategy also is not suitable for all scenario, because most of inference machine is all supported DL.
Therefore, as can be seen, existing inconsistent body restorative procedure can't solve the inconsistent problem of body well.And as mentioned above, both there had been inconsistent problem usually in most of bodies, also had uncertain problem.Therefore, when repairing inconsistent body, should be able to consider the uncertain problem of body simultaneously.
Summary of the invention
The present invention proposes the method and apparatus that is used to repair inconsistent body, can easily find all candidate restoration sets of body by this method and apparatus, and pass through the axiom in deletion or the modification candidate restoration sets, body will recover its consistance.
In addition, on the basis of above-mentioned inconsistent body restorative procedure, improvement embodiment of the present invention can tackle the inconsistency and the uncertain problem of body simultaneously.Particularly, it utilizes CF (the confidence factor of axiom, CF) characterize the determinacy degree (confidence level) of body, and delete the lower axiom of CF value to eliminate these axioms to the conforming influence of body, the candidate restoration sets of selecting subsequently to have minimum CF value is repaired, thereby can consider that the probabilistic of body repairs inconsistent body simultaneously.Therefore, utilize the present invention, low-quality body can and and then be used for correctly moving semantic web by improvement effectively.
According to one aspect of the invention, a kind of method that is used to repair inconsistent body is proposed, this method comprises: import an inconsistent body; Retrieve and to satisfy notion in this body; Can not satisfy notion at each that retrieves, the axiom of collection and this conceptual dependency is with the inconsistent axiom sets of generation with this conceptual dependency; To filtering, that is,,, then delete C2 if all axioms among the C1 are all comprised by C2 for two inconsistent axiom sets C1 and C2 with each inconsistent axiom sets that can not satisfy conceptual dependency.Then, this method is repeated below operation to the inconsistent axiom sets that is kept, to generate one or more extended error set: from the inconsistent axiom sets that each was kept, select an axiom, constitute an axiomatic set theory, and delete the repetition axiom in this axiomatic set theory, to generate extended error set.From the extended error set that generates, can select to comprise the extended error set of axiom minimum number,, and it be repaired as candidate restoration sets.Under the situation of the CF that considers each axiom, described method also comprises: the CF of each axiom in the input inconsistent body; For each extended error set, calculate the confidence value of this extended error set according to the CF of each axiom that comprises in this set; And select the minimum extended error set of confidence value, as candidate restoration sets.Described method can also comprise deletion CF value less than the axiom of a predetermined threshold to eliminate these axioms to the conforming influence of body.
According to a further aspect of the invention, propose a kind of equipment that is used to repair inconsistent body, comprising: input media is used to import an inconsistent body; Indexing unit, what be used for retrieving this body can not satisfy notion; Inconsistent axiom gathering-device, each that is used at retrieving can not satisfy notion, and the axiom of collection and this conceptual dependency is with the inconsistent axiom sets of generation with this conceptual dependency; The inconsistent axiom sets filtration unit is used for filtering carrying out with each inconsistent axiom sets that can not satisfy conceptual dependency,, for two inconsistent axiom sets C1 and C2, if all axioms among the C1 are all comprised by C2, then deletes C2 that is; Extended error set generating apparatus is used for generating one or more extended error set from the inconsistent axiom sets that is kept; The candidate restoration sets selecting arrangement is used for gathering from the extended error that the set of the extended error set extended error that generating apparatus generated is selected to comprise the axiom minimum number, as candidate restoration sets; And the body prosthetic device, be used for the selected candidate restoration sets of candidate restoration sets selecting arrangement is repaired.Wherein said extended error set generating apparatus can comprise: the axiomatic set theory unit, the inconsistent axiom sets that is used for keeping from each is selected an axiom, constitute an axiomatic set theory, and repetition axiom delete cells, be used for deleting the repetition axiom of described axiomatic set theory, to generate extended error set.Under the situation of the CF that considers each axiom, the input media of described equipment can also be imported the CF of each axiom in the inconsistent body, and described equipment also comprises: the confidence value calculation element, be used for set each extended error set that generating apparatus generated, calculate the confidence value of this extended error set according to the CF of each axiom that comprises in this set at extended error.In the case, the candidate restoration sets selecting arrangement can be selected the minimum extended error set of confidence value, as candidate restoration sets.In another example, described equipment can also comprise the axiom filtration unit, be used to delete the CF value less than the axiom of a predetermined threshold to eliminate these axioms to the conforming influence of body.
With respect to prior art, inconsistent body restorative procedure and equipment proposed by the invention can possess more advantages.
Generally speaking, for a body, can exist more than a kind of scheme to be used for recovering its consistance.But existing method can't find all these schemes.On the contrary, utilize inconsistent body restorative procedure of the present invention and equipment to find to comprise might scheme candidate restoration sets, and therefore can find the best repair scheme.
In addition, because all schemes that candidate restoration sets that the present invention finds can be provided for repairing inconsistent body, the user that therefore is more convenient for selects only scheme according to knowledge and particular condition that it possessed, and analyzes and custom-modification.
In addition, as mentioned above, the present invention also proposes the inconsistent and uncertain problem that a kind of embodiment of improvement can be used for solving simultaneously body.
From detailed description below in conjunction with accompanying drawing, other features and advantages of the present invention as can be seen.Notice that the present invention is not limited to the example shown in the figure or any specific embodiment.
Description of drawings
In conjunction with the accompanying drawings,, will understand the present invention better, similarly indicate similar part in the accompanying drawing with reference to mark from following detailed description to the embodiment of the invention, wherein:
Fig. 1 is the block diagram that illustrates according to the inner structure of the inconsistent body prosthetic appliance 100 of first embodiment of the invention;
Fig. 2 is the process flow diagram that the operation example of inconsistent body prosthetic appliance 100 shown in Figure 1 is shown;
Fig. 3 is the block diagram that illustrates according to the inner structure of the inconsistent body prosthetic appliance 300 of second embodiment of the invention;
Fig. 4 is the process flow diagram that the operation example of inconsistent body prosthetic appliance 300 shown in Figure 3 is shown; And
Fig. 5 is the schematic block diagram that is used to realize computer system of the present invention.
Embodiment
For convenience of explanation, earlier employed term among the application is briefly introduced below.
Inconsistent body: so-called " inconsistent body " refers to and has wrong or conflict (contradiction) in this body, thereby causes some notion in the body can not be by correct interpretation.Though the inconsistent user of being of body does not wish to see that its existence often is difficult to avoid.
Unsatisfiable notion: so-called " unsatisfiable notion " represents that there is not reasonable dismissal in this notion in body.Each notion all has one to explain function, and for " unsatisfiable notion ", it explains that function is empty.
Inconsistent axiom sets: so-called inconsistent axiom sets is by the set of forming with the axiom that can not satisfy conceptual dependency in the body.
The extended error set: so-called extended error set is the set that obtains as follows: from each inconsistent axiom sets S
iSelect an axiom ax
iWith all axiomatic set theories of selecting together, constitute set { ax
1, ax
2... ax
n(n is the number of inconsistent axiom sets); And the axiom that deletion repeats from the set that forms, thereby constitute the extended error set.
Candidate restoration sets: so-called candidate restoration sets is the diagnosis set as the candidate of the inconsistency that is used to repair body, is to cause the inconsistent basic reason of body.According to different embodiment, the present invention can select to comprise minimum extended error set of axiom number or the minimum extended error set of CF value, as candidate restoration sets.Usually, for a body, may exist more than a candidate restoration sets.Therefore, the present invention makes every effort to find all candidate restoration sets, thereby finds all schemes of the inconsistent problem of reply body.
In the present invention, description logic (DL) is used to knowledge formization and characterizes body.Describe inconsistent body prosthetic appliance and the operation thereof of first and second embodiment according to the present invention below with reference to the accompanying drawings in detail.
＜the first embodiment 〉
Fig. 1 is the block diagram that illustrates according to the inner structure of the inconsistent body prosthetic appliance 100 of first embodiment of the invention.
As shown in Figure 1, this body memory 109 is used to store body to be examined or check.Pick-up unit 108 obtains the body of storage in this body memory 109, and detects wherein whether contain inconsistent body.About the detection of inconsistent body, can use any known technology in this area.For example above-mentioned DL inference machine can be used for detecting effectively inconsistent body.In view of the detection of inconsistent body is not the emphasis that the present invention paid close attention to, this is not given unnecessary details here.Can be provided to inconsistent body prosthetic appliance 100 by pick-up unit 108 detected inconsistent bodies, so that it is repaired.Body after the reparation can be stored in subsequently to be repaired in this body memory 113.In Fig. 1, inconsistent body prosthetic appliance 100 can comprise input media 101, indexing unit 102, inconsistent axiom gathering-device 103, inconsistent axiom sets filtration unit 104, extended error set generating apparatus 105, candidate restoration sets selecting arrangement 106 and body prosthetic device 107.Alternatively, inconsistent body prosthetic appliance 100 can also comprise repetition axiom delete device 114, repeat to gather delete device 115 and user selection device 116.These optional modules illustrate with the frame of broken lines form in Fig. 1, to distinguish mutually with other modules.In addition, also show a plurality of memory storages among Fig. 1, the intermediate treatment result who is used to store inconsistent body prosthetic appliance 100, it for example comprises inconsistent axiom sets storer 110, extended error set storer 111 and candidate restoration sets storer 112.In addition, as example, also show the inner structure of extended error set generating apparatus 105 among Fig. 1, it for example comprises axiomatic set theory unit 1051 and repeats axiom delete cells 1052.
Fig. 2 is the process flow diagram that the operation example of inconsistent body prosthetic appliance 100 shown in Figure 1 is shown.
In step 203, the inconsistent body O that input media 101 receiving detection devices 108 in the inconsistent body prosthetic appliance 100 are provided, and provide it to indexing unit 102.Can not satisfy notion among the indexing unit 102 retrieval body O.As previously mentioned, can not satisfy notion is the notion that does not have reasonable dismissal in the body, is to cause the inconsistent root of body place.Then, in step 204, inconsistent axiom gathering-device 103 is collected with each and can not be satisfied the axiom of conceptual dependency, forms the inconsistent axiom sets with this conceptual dependency.Can be stored in the inconsistent axiom sets storer 110 with each inconsistent axiom sets that can not satisfy conceptual dependency by inconsistent axiom gathering-device 103 is that collect.In step 205, alternatively, repeat axiom delete device 114 and can adjust, to delete redundancy (for example repeating) axiom wherein to inconsistent axiom gathering-device 103 each collected inconsistent axiom sets.Then, in step 206, inconsistent axiom sets filtration unit 104 need filter all inconsistent axiom sets, therefrom to extract all minimum inconsistent axiom sets.So-called minimum inconsistent axiom sets is the smallest subset of inconsistent body, and wherein at least one notion is unsatisfiable.Particularly, in this step, inconsistent axiom sets filtration unit 104 can be carried out following filtration: for two inconsistent axiom sets C1 and C2, if all axioms among the C1 are all comprised by C2, then delete C2.Then, filter the inconsistent axiom sets that is kept afterwards and be provided to extended error set generating apparatus 105.In step 207, extended error set generating apparatus 105 can generate one or more extended error set according to the inconsistent axiom sets that is kept.As example, the inner structure of extended error set generating apparatus 105 has been shown among Fig. 1, it can comprise axiomatic set theory unit 1051 and repeat axiom delete cells 1052.Continuation wherein shows the specific operation process (being step 207) of extended error set generating apparatus 105 with reference to figure 2 with the form of grey box.In step 2071, axiomatic set theory unit 1051 is from inconsistent axiom sets S that each kept
iSelect an axiom ax
iThereby, constitute an axiomatic set theory { ax
1, ax
2... ax
n, wherein n is the number of the inconsistent axiom sets that kept.Then, in step 2072, repetition axiom delete cells 1052 is deleted the repetition axiom in each set that is generated by axiomatic set theory unit 1051, gathers as an extended error.The one or more extended error set that form by this way can be stored in the extended error set storer 111.
After obtaining the extended error set, alternatively, repeat to gather the extended error set (step 208) that delete device 115 can further be deleted repetition, to improve treatment effeciency.Then, in step 209, candidate restoration sets selecting arrangement 106 can be selected the minimum extended error set of contained axiom number from the set of all extended errors, as candidate restoration sets, and all candidate restoration sets are stored in the candidate restoration sets storer 112.So far, the user has obtained all candidate restoration sets relevant with this inconsistent body.The user can therefrom select only candidate restoration sets to make amendment or delete.Obviously, if only there is a candidate restoration sets, the user then only needs this candidate restoration sets is made amendment or deleted.But if exist more than a candidate restoration sets, the user then needs to utilize user selection device 116 to select (step 210), and selected candidate restoration sets is provided to body prosthetic device 107 so that it is repaired (step 211).Body after the reparation can be stored in to be repaired in this body memory 113.So, can provide bigger dirigibility to the user, the user can select a suitable candidate restoration sets to repair according to their knowledge and particular condition more easily.By the axiom in deletion or the modification candidate restoration sets, the consistance of body can be restored once more.So far, process 200 finishes.
Body after the reparation can be provided to other application relevant with body, and for example body editing application or ontology inference are used.Body editing application (for example Prot é g é, OntoEdit and OilEd) can be used to edit body, is included in the body to add, revise and the deletion axiom.Ontology inference is used and can be used for carrying out reasoning and and then supporting semantic web to use based on body.
＜the second embodiment 〉
Fig. 3 is the block diagram that illustrates according to the inner structure of the inconsistent body prosthetic appliance 300 of second embodiment of the invention.Compare with first embodiment, the difference of this second embodiment is that it provides inconsistency and both method and apparatus of uncertainty that can repair body simultaneously.
As previously mentioned, uncertain body refers to the correctness of body and does not fix, but has certain probability.The uncertainty of body results from the uncertain of expert's subjective uncertainty, original body and from the uncertainty of automatic body learning instrument.If be not used in probabilistic means of body or the instrument of expressing, user's its degree of understanding that then is beyond expression to body.Therefore, in the semantic web system, need be able to tackle the Method and kit for of the uncertain problem of body equally.
The present invention proposes " CF " notion (CF), is used to characterize body and the uncertainty of the axiom that comprises.CF is expressed as a kind of score, and it is used for indicating the credibility of the correctness of body axiom.The CF value is high more, represents that then the correct probability of axiom is high more.The CF value can obtain according to expert advice when the expert sets up body, perhaps utilizes some pre-defined algorithm to calculate.For example, CF can be represented as the numeral between 0 and 1, promptly is represented as:
CF:N → [0,1], wherein N represent in the body might element (notion or axiom) set.
In inconsistent body prosthetic appliance 300 shown in Figure 3, be different from first embodiment, equipment 300 also comprises axiom filtration unit 302 and confidence value calculation element 303.And, also added CF (CF) storer 301 in the system shown in Figure 3, be used for storing the CF value of body all elements (notion or axiom).In addition, the principle of work of other assemblies among Fig. 3 and first embodiment are similar.
Fig. 4 is the process flow diagram that the operation example of inconsistent body prosthetic appliance 300 shown in Figure 3 is shown.With reference to figure 2 as seen, therefore process 400 is only described and first other step of embodiment phase region emphatically here with similar according to the process 200 of first embodiment.About other steps, can repeat no more here with reference to the associated description of flow process Figure 200 shown in Figure 2.
In Fig. 3, input media 101 also will obtain the CF value of all elements (notion or axiom) this body from CF storer 301 except obtaining pick-up unit 108 detected inconsistent bodies.Alternatively, before carrying out to satisfy conceptual retrieval, axiom filtration unit 302 (selectable unit) can at first carry out pre-service to the axiom in this body, promptly therefrom delete its CF value those axioms (step 401 among Fig. 4 and 402), to eliminate these axioms to the conforming influence of body less than a predetermined threshold Th.Then, all the other axioms and related notion thereof are provided to indexing unit 102, to repeat to retrieve among first embodiment process that inconsistent axiom sets, inconsistent axiom sets are filtered and the extended error set generates that can not satisfy notion, collection and conceptual dependency.After obtaining one or more extended error set, be different from first embodiment, equipment 300 also comprises confidence value calculation element 303, is used for calculating each extended error and gathers corresponding confidence value (step 403 of Fig. 4).As example, the CF value addition of each axiom that confidence value calculation element 303 comprises in each extended error can being gathered, and to add the confidence value as this extended error set with the result.Certainly, be used to weigh the tolerance of confidence level of extended error set and the method for calculating the confidence value of extended error set and be not limited to above-mentioned example.Those skilled in the art expect that easily other several different methods are used to calculate the confidence value of extended error set.
In order to express conveniently, the extended error set that takes into account confidence level can be stored by the form of " set ID:{ set content }, CF ID:CF value ".For example, can be expressed as " set 1:{ notion Information is incompatible with knowledge, and penguin is a kind of bird }, CF1:1.8 " and " set 2:{ notion Information is incompatible with knowledge, and penguin can fly }, CF2:1.5 " or the like.
Then in step 404, the step 209 that is different from first embodiment, in a second embodiment, candidate restoration sets selecting arrangement 106 can be selected the minimum extended error set of confidence value, as candidate restoration sets, and selected candidate restoration sets is deleted or revised according to above-mentioned identical method.
Fig. 5 is the schematic block diagram that is used to realize computer system 500 of the present invention.
As shown in Figure 5, this computer system 500 comprises CPU 501, user interface 502, peripherals 503, storer 505, permanent storage appliance 506 and the bus 504 that they are connected with each other.Comprise semantic web application 5051, inconsistent body reparation module 5052, body editing application 5053, ontology inference application 5054, other application 5055 and operating system (OS) 5056 or the like in the storer 505.Core Feature of the present invention is mainly relevant with inconsistent body reparation module 5052, and it for example is Fig. 1 or inconsistent body prosthetic appliance 100 or 300 shown in Figure 3.Each application in the storer 505 can parallel running, so that multiple different function to be provided.Permanent storage appliance 506 can comprise various storeies involved in the present invention, and for example this body memory, inconsistent axiom sets storer, extended error are gathered storer, candidate restoration sets storer, repaired this body memory and CF storer or the like.
Described above according to the present invention inconsistent body prosthetic appliance and the operating process thereof of first and second embodiment.According to foregoing description as can be seen, the present invention has following effect:
Generally speaking, for a body, can exist more than a kind of scheme to be used for recovering its consistance.But existing method can't find all these schemes.On the contrary, utilize the present invention to find to comprise might scheme candidate restoration sets, and therefore can find the best repair scheme.In addition, because all schemes that candidate restoration sets that the present invention finds can be provided for repairing inconsistent body, the user that therefore is more convenient for selects only scheme according to knowledge and particular condition that it possessed, and analyzes and custom-modification.
In addition, the present invention also proposes the inconsistent and uncertain problem that a kind of embodiment of improvement can be used for solving simultaneously body.
Be described with reference to the drawings according to a particular embodiment of the invention above.But the present invention is not limited to customized configuration shown in the figure and processing.And, for brevity, omit detailed description here to the known method technology.In the above-described embodiments, describe and show some concrete steps as example.But procedure of the present invention is not limited to the concrete steps that institute describes and illustrates, and those skilled in the art can make various changes, modification and interpolation after understanding spirit of the present invention, perhaps change the order between the step.
Element of the present invention can be implemented as hardware, software, firmware or their combination, and can be used in their system, subsystem, parts or the subassembly.When realizing with software mode, element of the present invention is program or the code segment that is used to carry out required task.Program or code segment can be stored in the machine readable media, perhaps send at transmission medium or communication links by the data-signal that carries in the carrier wave." machine readable media " can comprise any medium that can store or transmit information.The example of machine readable media comprises electronic circuit, semiconductor memory devices, ROM, flash memory, can wipe ROM (EROM), floppy disk, CD-ROM, CD, hard disk, fiber medium, radio frequency (RF) link, or the like.Code segment can be downloaded via the computer network such as the Internet, Intranet etc.
The present invention can realize with other concrete form, and do not break away from its spirit and essential characteristic.For example, the algorithm described in the specific embodiment can be modified, and system architecture does not break away from essence spirit of the present invention.Therefore, current embodiment is counted as exemplary but not determinate in all respects, scope of the present invention is by claims but not foregoing description definition, and, thereby the whole changes that fall in the scope of the implication of claim and equivalent all are included among the scope of the present invention.
Claims (13)
1. method that is used to repair inconsistent body comprises:
Import an inconsistent body;
Retrieve and to satisfy notion in this body;
Can not satisfy notion at each that retrieves, the axiom of collection and this conceptual dependency is with the inconsistent axiom sets of generation with this conceptual dependency;
To carrying out following filtration:,, then delete C2 if all axioms among the C1 are all comprised by C2 for two inconsistent axiom sets C1 and C2 with each inconsistent axiom sets that can not satisfy conceptual dependency;
The inconsistent axiom sets that is kept is repeated below operation, to generate one or more extended error set:
From the inconsistent axiom sets that each kept, select an axiom, constitute an axiomatic set theory, and
Delete the repetition axiom in this axiomatic set theory, to generate extended error set; And
From the set of described extended error, select to comprise the extended error set of axiom minimum number,, and it is repaired as candidate restoration sets.
2. the method for claim 1 also comprises:
Import the CF of each axiom in the described inconsistent body, this CF is indicated the confidence level of this axiom correctness;
For each described extended error set, calculate the confidence value of this extended error set according to the CF of each axiom that comprises in this set; And
Select the minimum extended error set of confidence value, as described candidate restoration sets.
3. method as claimed in claim 2 also comprises:
According to described CF the axiom in the described inconsistent body is filtered, to delete the axiom of its CF less than a predetermined threshold.
4. method as claimed in claim 2, the step of the confidence value of wherein said calculating extended error set comprises:
With the CF addition of each axiom of comprising in the set of this extended error, and to add the confidence value as described extended error set with the result.
5. method as claimed in claim 1 or 2 also comprises:
Delete the repetition axiom that comprises in each described inconsistent axiom sets.
6. method as claimed in claim 1 or 2 also comprises:
The extended error set that deletion repeats.
7. method as claimed in claim 1 or 2 also comprises:
Under situation about obtaining, select one of described candidate restoration sets by the user, and it is repaired more than a candidate restoration sets.
8. equipment that is used to repair inconsistent body comprises:
Input media is used to import an inconsistent body;
Indexing unit, what be used for retrieving this body can not satisfy notion;
Inconsistent axiom gathering-device, each that is used at retrieving can not satisfy notion, and the axiom of collection and this conceptual dependency is with the inconsistent axiom sets of generation with this conceptual dependency;
The inconsistent axiom sets filtration unit is used for carrying out following filtration with each inconsistent axiom sets that can not satisfy conceptual dependency: for two inconsistent axiom sets C1 and C2, if all axioms among the C1 are all comprised by C2, then delete C2;
Extended error set generating apparatus is used to generate one or more extended error set, and this extended error set generating apparatus comprises:
The axiomatic set theory unit, the inconsistent axiom sets that is used for keeping from each is selected an axiom, constitutes an axiomatic set theory, and
Repeat the axiom delete cells, the repetition axiom that is used for deleting described axiomatic set theory is to generate extended error set;
The candidate restoration sets selecting arrangement is used for gathering from the extended error that the set of the described extended error set extended error that generating apparatus generated is selected to comprise the axiom minimum number, as candidate restoration sets; And
The body prosthetic device is used for the selected candidate restoration sets of described candidate restoration sets selecting arrangement is repaired.
9. equipment as claimed in claim 8, wherein said input media is also imported the CF of each axiom in the described inconsistent body, and this CF is indicated the confidence level of this axiom correctness, and described equipment also comprises:
The confidence value calculation element is used for each extended error set that generating apparatus generated at described extended error set, calculates the confidence value of this extended error set according to the CF of each axiom that comprises in this set; And
Described candidate restoration sets selecting arrangement is selected the minimum extended error set of confidence value, as described candidate restoration sets.
10. equipment as claimed in claim 9 also comprises:
The axiom filtration unit is used for according to described CF the axiom of described inconsistent body being filtered, to delete the axiom of its CF less than a predetermined threshold.
11. equipment as claimed in claim 8 or 9 also comprises:
Repeat the axiom delete device, be used for deleting the repetition axiom that each described inconsistent axiom sets that described inconsistent axiom gathering-device collects comprises.
12. equipment as claimed in claim 8 or 9 also comprises:
Repeat to gather delete device, be used for deleting the repetitive extension mistake set of the described extended error set extended error that generating apparatus generated set.
13. equipment as claimed in claim 8 or 9 also comprises:
User selection device is used for selecting one of described candidate restoration sets by the user under the situation of described candidate restoration sets selecting arrangement output more than a candidate restoration sets, and
Described body prosthetic device is repaired the selected candidate restoration sets of described user selection device.
Priority Applications (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN200910006540A CN101807181A (en) | 2009-02-17 | 2009-02-17 | Method and equipment for restoring inconsistent body |
| JP2009281202A JP5099854B2 (en) | 2009-02-17 | 2009-12-11 | Method and apparatus for repairing inconsistent ontology |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN200910006540A CN101807181A (en) | 2009-02-17 | 2009-02-17 | Method and equipment for restoring inconsistent body |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN101807181A true CN101807181A (en) | 2010-08-18 |
Family
ID=42608980
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN200910006540A Pending CN101807181A (en) | 2009-02-17 | 2009-02-17 | Method and equipment for restoring inconsistent body |
Country Status (2)
| Country | Link |
|---|---|
| JP (1) | JP5099854B2 (en) |
| CN (1) | CN101807181A (en) |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102411730A (en) * | 2011-08-01 | 2012-04-11 | 彭志平 | Description logic-defeasible logic integrated inconsistent ontology non-monotonic reasoning method |
| CN103218362A (en) * | 2012-01-19 | 2013-07-24 | 中兴通讯股份有限公司 | Method and system for constructing domain ontology |
| WO2014169481A1 (en) * | 2013-04-19 | 2014-10-23 | Empire Technology Development Llc | Coarse semantic data set enhancement for a reasoning task |
| CN108804415A (en) * | 2018-05-18 | 2018-11-13 | 东北大学 | A kind of measurement and sort method of ontology Debugging message |
Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2000025703A (en) * | 1998-07-10 | 2000-01-25 | Komatsu Ltd | Packaging device |
| CN1794234A (en) * | 2004-12-20 | 2006-06-28 | 富士通株式会社 | Data semanticizer |
| CN101266660A (en) * | 2008-04-18 | 2008-09-17 | 清华大学 | Reality inconsistency analysis method based on descriptive logic |
| KR20100003087A (en) * | 2008-06-30 | 2010-01-07 | 주식회사 케이티 | System and method for extracting ontology instance using ontology property |
-
2009
- 2009-02-17 CN CN200910006540A patent/CN101807181A/en active Pending
- 2009-12-11 JP JP2009281202A patent/JP5099854B2/en not_active Expired - Fee Related
Patent Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2000025703A (en) * | 1998-07-10 | 2000-01-25 | Komatsu Ltd | Packaging device |
| CN1794234A (en) * | 2004-12-20 | 2006-06-28 | 富士通株式会社 | Data semanticizer |
| CN101266660A (en) * | 2008-04-18 | 2008-09-17 | 清华大学 | Reality inconsistency analysis method based on descriptive logic |
| KR20100003087A (en) * | 2008-06-30 | 2010-01-07 | 주식회사 케이티 | System and method for extracting ontology instance using ontology property |
Non-Patent Citations (1)
| Title |
|---|
| 方俊等: "基于推理信息的本体模块化方法", 《计算机科学》 * |
Cited By (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102411730A (en) * | 2011-08-01 | 2012-04-11 | 彭志平 | Description logic-defeasible logic integrated inconsistent ontology non-monotonic reasoning method |
| CN103218362A (en) * | 2012-01-19 | 2013-07-24 | 中兴通讯股份有限公司 | Method and system for constructing domain ontology |
| WO2014169481A1 (en) * | 2013-04-19 | 2014-10-23 | Empire Technology Development Llc | Coarse semantic data set enhancement for a reasoning task |
| CN108804415A (en) * | 2018-05-18 | 2018-11-13 | 东北大学 | A kind of measurement and sort method of ontology Debugging message |
| CN108804415B (en) * | 2018-05-18 | 2022-01-11 | 东北大学 | Measuring and sequencing method for body debugging information |
Also Published As
| Publication number | Publication date |
|---|---|
| JP2010231762A (en) | 2010-10-14 |
| JP5099854B2 (en) | 2012-12-19 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Ni et al. | A cluster based feature selection method for cross-project software defect prediction | |
| CN109033200B (en) | Event extraction method, device, equipment and computer readable medium | |
| KR101557294B1 (en) | Search results ranking using editing distance and document information | |
| CN107003935A (en) | Optimize database duplicate removal | |
| US20060294220A1 (en) | Diagnostics and resolution mining architecture | |
| De Renzis et al. | Case-based reasoning for web service discovery and selection | |
| Thabtah et al. | A new Classification based on Association Algorithm | |
| WO2010112855A1 (en) | Network analysis system | |
| CN108399226A (en) | A kind of big data cleaning method for digital library | |
| CN101807181A (en) | Method and equipment for restoring inconsistent body | |
| CN110134663B (en) | Organization structure data processing method and device and electronic equipment | |
| CN104933171A (en) | Method and device for associating data of interest point | |
| Ashraf et al. | WeFreS: weighted frequent subgraph mining in a single large graph | |
| Hsieh et al. | Nemo: Guiding and contextualizing weak supervision for interactive data programming | |
| CN107704620A (en) | A kind of method, apparatus of file administration, equipment and storage medium | |
| Mallick et al. | Incremental mining of sequential patterns: Progress and challenges | |
| JP5191064B2 (en) | Inference method and apparatus for indeterminate and inconsistent ontologies for specific queries | |
| CN106227661A (en) | Data processing method and device | |
| CN110335654A (en) | A kind of information extraction method of electronic health record, system and computer equipment | |
| CN111241145A (en) | Self-healing rule mining method and device based on big data | |
| JP6748474B2 (en) | Decision support system and decision support method | |
| JP2000172665A (en) | Hyper text analyzer, method therefor and storage medium recorded with hypertext analytic program therein | |
| US7562055B2 (en) | Resolve trace minimization | |
| CN116341566B (en) | Text deduplication method and device, electronic equipment and storage medium | |
| Ding et al. | TraceDiag: Adaptive, Interpretable, and Efficient Root Cause Analysis on Large-Scale Microservice Systems |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| WD01 | Invention patent application deemed withdrawn after publication | ||
| WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20100818 |