18. The method according to claim 17 , wherein the memory reasoning method is performed to store data generated during the operation of deriving the extended triples in physical memory.
18. The method according to claim 17 , wherein the memory reasoning method is performed to store data generated during the operation of deriving the extended triples in physical memory. 22. The method according to claim 18 , wherein: the reasoning rule type classification step is performed to classify the input reasoning rule as a structure-based reasoning rule type if all predicates of two or more pairs of conditions have structure properties when the two or more pairs of conditions are present in a condition part of the input reasoning rule, and the network execution step is performed such that the operation of deriving the extended triples conforms to a memory reasoning method when the reasoning rule is classified as the structure-based reasoning rule type.