METHOD AND DEVICE FOR SAVING TRIPLE FOR VERIFYING REASON AND INCREMENTAL REASONING, AND METHOD AND DEVICE FOR REASON-DEPENDENT INDEXING APPROPRIATE FOR SAME

摘要

Disclosed are a method and a device for saving triples for verifying reason and incremental reasoning, and a method and a device for reason-dependent indexing appropriate for same. The method for saving the triples according to the present invention, in a method for saving the triples which are related to a method for reasoning for generating a different triple by applying reasoning rules to the triples, comprises the following steps: (a) adding a serial number to each of the triples which are related to the reasoning and the reasoning rules and saving same; (b) indexing the triples, which are reasoned by applying the triples and the reasoning rules, by using the serial numbers of the applied triples and the reasoning rules; and (c) generating a triple view for allowing access to the triples, which are physically distributed and saved on a plurality of triple saving units (tables), as if the triples virtually comprise a single saving unit (table). The method for saving the triples of the present invention can enhance the reliability of reasoning by using the facts and the serial numbers of the reasoning rules that are applied to a reasoned fact to index same, and provide same as proof of reasoning at a user's request, and can effectively increase the efficiency of incremental reasoning by pursuing and deleting the reasoned fact which depend on a deleted fact, when a random fact is deleted.