11. A transformation apparatus, comprising: a computing device, comprising: a transformer transforming a concept-based query input to said computing device into logic rules, said transformer comprising a pre-determined mapping table, said transforming comprising concept to predicate transformation and property to variable transformation based on said pre-determined mapping table, said logic rules comprising an expression of a plurality of conditions and a conclusion, said conclusion being output when all said plurality of conditions are established; a checker checking validity of said logic rules by determining whether said logic rules conform to pre-determined requirements and belong to a range of objects that said computing device can analyze and process, said checker comprising: a syntax checker checking whether said logic rules conform to defined syntax of a defined logic rule descriptive language, and a semantic checker checking whether said logic rule are logically valid, said checker returning logic rules determined to be invalid in order to modify said concept-based query; an optimizer optimizing said logic rules that have been checked to be valid by said checker, said optimizer establishing a dependency model for relations between predicates in said logic rules, so that said logic rules can be translated into SQL query statements, said dependency model indicating an order for generating said SQL query statements; and a translator translating logic rules that have been optimized into said SQL query statements, said translator comprising a pre-determined mapping table, said pre-determined mapping table mapping predicates to relations in a relational database and mapping variables to entities in said relational database.
11. A transformation apparatus, comprising: a computing device, comprising: a transformer transforming a concept-based query input to said computing device into logic rules, said transformer comprising a pre-determined mapping table, said transforming comprising concept to predicate transformation and property to variable transformation based on said pre-determined mapping table, said logic rules comprising an expression of a plurality of conditions and a conclusion, said conclusion being output when all said plurality of conditions are established; a checker checking validity of said logic rules by determining whether said logic rules conform to pre-determined requirements and belong to a range of objects that said computing device can analyze and process, said checker comprising: a syntax checker checking whether said logic rules conform to defined syntax of a defined logic rule descriptive language, and a semantic checker checking whether said logic rule are logically valid, said checker returning logic rules determined to be invalid in order to modify said concept-based query; an optimizer optimizing said logic rules that have been checked to be valid by said checker, said optimizer establishing a dependency model for relations between predicates in said logic rules, so that said logic rules can be translated into SQL query statements, said dependency model indicating an order for generating said SQL query statements; and a translator translating logic rules that have been optimized into said SQL query statements, said translator comprising a pre-determined mapping table, said pre-determined mapping table mapping predicates to relations in a relational database and mapping variables to entities in said relational database. 16. The transformation apparatus according to claim 11 , said optimizer: building a dependency graph in accordance with dependency relations amongst predicates in said logic rules, wherein every node corresponds to one predicate in said logic rules and dependency relations amongst respective predicates are denoted by directed edges among nodes; and optimizing said logic rules in accordance with said dependency graph.