APPARATUS AND METHOD FOR SEARCHING FOR EFFICIENT ONTOLOGY REASONING

摘要

A search apparatus for the efficient ontology reasoning and a method therefor are provided to minimize the inclusion relation verification in the inclusion relation interference of all concepts existing within specific area in the real world. A search device(300) for the efficient ontology reasoning comprises a storage unit(310), a top-down search unit(320) and a bottom-up search unit(330). The top-down and bottom-up search units generate a negative information list according to the inclusion relation between a specific concept and the concept of a concept layer. The inclusion relation verification with the specific concept is not performed for a concept recorded in the negative information list.