METHOD FOR STORING TRIPLE FOR INFERENCE VERIFICATION AND STEADY-INCREASING INFERENCE AND APPARATUS THEREOF, APPARATUS FOR INDEXING DEPENDENCY OF INFERENCE AND METHOD FOR VERIFYING DEPENDENCY OF INFERENCE

摘要

PURPOSE: A triple storage method, an apparatus thereof, and a deduction dependency index method thereof are provided to increase the reliability of deduction by storing a serial number of deduction rule. CONSTITUTION: A triple and serial number allocator(100) sticks a serial number to triples and stores the serial number in triple tables and inference rule tables. A deduction performing unit(200) applies a deduction rule to triples. A deduction dependency index unit(300) stores a dependency relation between triples. A triple view generator(400) generates a triple view on the triple table.