Reasoning architecture
AssigneeOnotprise GmbH
InventorsJürgen Angele, Jürgen Baier
Life of this patent
Estimating the term…
Abstract
An inference engine is described with improved speed in evaluating queries posed to a data structure based on an ontology with a declarative set of rules. The inference engine comprises: rule rewriters, a rule compiler, and an operator net. The operator net comprises a graph with operators as nodes and with connections between the operators as edges of the graph. The operators serve for: retrieving facts; matching facts and variables in rules; expressing rule bodies and rule heads; expressing negations; and expressing logical AND operations between rule bodies. The operator net is a very general and versatile representation of the rules and queries. It also lends itself easily to multithreading and debugging.
Claims5
Method for evaluating a query using inference based on a declarative system of logical rules, comprising the steps of:
- a) storing the rules in an intensional database,
- a1) each rule having at least a rule body and a rule header;
- b) storing facts in an extensional database;
- c) rewriting rules in order to optimize the speed of the inferencing;
- d) compiling the rules and the query into ah operator net, the operator net comprising:
- d1) a graph with operators as nodes of the graph, the operators serving for
- d11) retrieving facts from the extensional database;
- d12) matching facts and inferencing results with rule bodies;
- d13) expressing rule bodies and rule heads;
- d14) expressing negations;
- and
- d15) expressing logical AND operations between rule bodies;
- and
- d2) with connections between the operators as edges of the graph;
- and
- e) evaluating the query using the operator net and the extensional database.
5-6. (canceled)
Dependencies are inferred from the claim text.