Method and device for saving triple for verifying reason and incremental reasoning, and method and device for reason-dependent indexing appropriate for same

Abstract

A method and apparatus for storing a triple and an inference dependency indexing apparatus appropriate to the method and system are provided. The method of storing a triple related to an inference method for creating other triples by applying an inference rule to the triple includes: (a) adding a serial number to each of triples and inference rules related to inference and storing the triples and the inference rules into a plurality of triple tables and inference rule tables; (b) indexing a triple inferred by applying the triple and the inference rule, using a serial number of the triple and a serial number of the inference rule related to inference; and (c) creating a triple view which allows accessing the triples physically distributed and stored in a plurality of triple storage units (tables) as if the triples are stored in a virtual storage unit (table).