Feature: Further optimize rules based on pre-reasoned data

comunica / comunica-feature-reasoning

📬 Comunica packages for reasoning during query execution

MIT License

5 stars 5 forks source link

Feature: Further optimize rules based on pre-reasoned data #30

Open jeswr opened 2 years ago

jeswr commented 2 years ago

We can use existing reasoned data more intelligently in cases where we have not already reasoned the data that we wish to use on the current status.

More explicitly - if we have already reasoned all data matching Jesse a ?o, then we can remove any minimized rules matching the pattern ... -> Jess a ?o as we know this data will have already been produced.