Optimization / DEMO
•
Question: grandmother(Z, X)
•
Solution: fact -> rule -> …. -> rule
•
-> solution = grandmother(elza,wim)
•
Specific rule:
•
t1, t2, t3, .., tn -->
grandmother(Z,X)
•
child(X,Y), child(Y,Z), gender(Z, female):>
•
grandmother(Z,X).
•
Other
This slide show how a general rule can be deduced from a solution and its proof. The precise technique is explained in the thesis text.
Suppose a query:
grandmother(Z,X)
As was shown in the slide with the search tree, a solution is found after following certain paths in a search tree.
The solution is:
grandmother(elza, wim)
From the solution and its proof (as will be shown in the demo) it is possible to deduce a general rule with the form:
t1, t2, …, tn --> grandmother(X,Y)
where t1, t2, …, tn are triples.
For our simple example the general rule is:
child(X, Y), child(Y, Z), gender(Z, female) :> grandmother(Z, X)
A final remark: many other optimization techniques exist. Studying and testing some in relation with an RDF inference engine can be the subject of a next thesis.