APPARATUS AND METHOD OF MANAGING ASSERTION, AND REASONING APPARATUS THEREWITH

摘要

PURPOSE: An assertion management method, a device thereof, and an inference device including the same are provided to analyze a SameAs assertion of an ABox in advance and to add an analysis result to an assertion, thereby improving inference performance. CONSTITUTION: An inference device collects SameAs assertions(210). The inference device finds an assertion having a first individual of the collected SameAs assertions as an instance(220). The inference device generates an assertion having a second individual of the collected SameAs assertions as an instance based on found assertions(230). The inference device adds the generated assertion as a new assertion(240). [Reference numerals] (210) Collect Same As assertion, {a=b}; (220) Collect assertion, {C(b), OP(a,c), OP(c,a), DP(a,i)}; (230) Collect assertion, {C(b), OP(b,c), OP(c,b), DP(b,i)}; (240) Add the generated assertion; (AA) Start; (BB) End