STRUCTURE INDEX
First Claim
1. A method for answering a query directed to a knowledge base comprising a declarative system of rules, the method comprising:
- a) creating for each object of the knowledge base, by a knowledge base manager executing on a device, a generic representative representing the structure of the object, the generic representative defining a generic object;
b) creating for each rule of the knowledge base, by the knowledge base manager, a generic rule representing the structure of the rule;
c) creating, by the knowledge base manager, a generic query representing the structure of the query directed to the knowledge base;
d) inferring, by the knowledge base manager, zero or more generic answers to the generic query by evaluating the generic query and the generic rules against the generic representatives, whereind1) each generic representative bound to a variable of a generic rule for inferring the zero or more generic answers is assigned to the generic rule, and whereind2) each generic representative bound to a variable of the generic query for inferring the zero or more generic answers is assigned to the generic query; and
e) inferring, by the knowledge base manager, zero or more answers to the query by evaluating the query and the rules of the knowledge base against the objects of the knowledge base, whereine1) the objects bound to a variable of a rule of the knowledge base for inferring the zero or more answers to the query are restricted to objects whose structure is represented by a generic representative in the zero or more generic answers, and whereine2) the objects bound to a variable of the query for inferring the zero or more answers are restricted to objects whose structure is represented by a generic representative in the zero or more generic answers.
0 Assignments
0 Petitions
Accused Products
Abstract
The present invention relates to a method for answering a query (60) directed to a knowledge base. The basic idea under-lying the present invention is to define a generic knowledge base with generic representatives (30) and generic rules (140). Generic representatives (30) represent the structure of objects (20) of the knowledge base. This enables generic rules (140), which represent the structure of the rules (50) of the knowledge base, to be applied to the generic representatives (30) without evaluating the corresponding objects (20) in a first step. In a second step, the inferred generic answers (90) (which are generic representatives (30)) can be used to restrict the original query (60) to objects (20) which have an appropriate structure. In a similar way, the generic representatives (30) applied for inference can be used to restrict the rules (50) of the knowledge base to objects (20) which have an appropriate structure.
-
Citations
7 Claims
-
1. A method for answering a query directed to a knowledge base comprising a declarative system of rules, the method comprising:
-
a) creating for each object of the knowledge base, by a knowledge base manager executing on a device, a generic representative representing the structure of the object, the generic representative defining a generic object; b) creating for each rule of the knowledge base, by the knowledge base manager, a generic rule representing the structure of the rule; c) creating, by the knowledge base manager, a generic query representing the structure of the query directed to the knowledge base; d) inferring, by the knowledge base manager, zero or more generic answers to the generic query by evaluating the generic query and the generic rules against the generic representatives, wherein d1) each generic representative bound to a variable of a generic rule for inferring the zero or more generic answers is assigned to the generic rule, and wherein d2) each generic representative bound to a variable of the generic query for inferring the zero or more generic answers is assigned to the generic query; and e) inferring, by the knowledge base manager, zero or more answers to the query by evaluating the query and the rules of the knowledge base against the objects of the knowledge base, wherein e1) the objects bound to a variable of a rule of the knowledge base for inferring the zero or more answers to the query are restricted to objects whose structure is represented by a generic representative in the zero or more generic answers, and wherein e2) the objects bound to a variable of the query for inferring the zero or more answers are restricted to objects whose structure is represented by a generic representative in the zero or more generic answers. - View Dependent Claims (2, 3, 4)
-
-
5. A system for answering a query directed to a knowledge base comprising a declarative system of rules, the system comprising:
-
a knowledge base stored on a device; a knowledge base manager executing on the device, the knowledge base manager creating, for each object of the knowledge base, a generic representative representing the structure of the object, the generic representative defining a generic object;
creating, for each rule of the knowledge base, a generic rule representing the structure of the rule and creating a generic query representing the structure of the query directed to the knowledge base;wherein the knowledge base manager infers zero or more generic answers to the generic query by evaluating the generic query and the generic rules against the generic representatives, wherein each generic representative bound to a variable of a generic rule for inferring the zero or more generic answers is assigned to the generic rule, and wherein each generic representative bound to a variable of the generic query for inferring the zero or more generic answers is assigned to the generic query; and wherein the knowledge base manager infers zero or more answers to the query by evaluating the query and the rules of the knowledge base against the objects of the knowledge base, wherein the objects bound to a variable of a rule of the knowledge base for inferring the zero or more answers to the query are restricted to objects whose structure is represented by a generic representative in the zero or more generic answers, and wherein the objects bound to a variable of the query for inferring the zero or more answers are restricted to objects whose structure is represented by a generic representative in the zero or more generic answers.
-
-
6. A computer program comprising program means that, while the computer program is being executed on a computer, cause the computer to perform:
-
a) creating, for each object of the knowledge base, a generic representative representing the structure of the object, the generic representative defining a generic object; b) creating, for each rule of the knowledge base, a generic rule representing the structure of the rule; c) creating a generic query representing the structure of the query directed to the knowledge base; d) inferring zero or more generic answers to the generic query by evaluating the generic query and the generic rules against the generic representatives, wherein d1) each generic representative bound to a variable of a generic rule for inferring the zero or more generic answers is assigned to the generic rule, and wherein d2) each generic representative bound to a variable of the generic query for inferring the zero or more generic answers is assigned to the generic query; and e) inferring zero or more answers to the query by evaluating the query and the rules of the knowledge base against the objects of the knowledge base, wherein e1) the objects bound to a variable of a rule of the knowledge base for inferring the zero or more answers to the query are restricted to objects whose structure is represented by a generic representative in the zero or more generic answers, and wherein e2) the objects bound to a variable of the query for inferring the zero or more answers are restricted to objects whose structure is represented by a generic representative in the zero or more generic answers.
-
-
7. A volatile or non-volatile machine readable storage medium having embodied thereupon instructions which, when executed by one or more processors, cause the one or more processors to perform:
-
a) creating, for each object of the knowledge base, a generic representative representing the structure of the object, the generic representative defining a generic object; b) creating, for each rule of the knowledge base, a generic rule representing the structure of the rule; c) creating a generic query representing the structure of the query directed to the knowledge base; d) inferring zero or more generic answers to the generic query by evaluating the generic query and the generic rules against the generic representatives, wherein d1) each generic representative bound to a variable of a generic rule for inferring the zero or more generic answers is assigned to the generic rule, and wherein d2) each generic representative bound to a variable of the generic query for inferring the zero or more generic answers is assigned to the generic query; and e) inferring zero or more answers to the query by evaluating the query and the rules of the knowledge base against the objects of the knowledge base, wherein e1) the objects bound to a variable of a rule of the knowledge base for inferring the zero or more answers to the query are restricted to objects whose structure is represented by a generic representative in the zero or more generic answers, and wherein e2) the objects bound to a variable of the query for inferring the zero or more answers are restricted to objects whose structure is represented by a generic representative in the zero or more generic answers.
-
Specification