You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The Reasoner should support CQ answering. A conjunctive query should be represented as a list of atoms and a list of output variables. It should then return a Trie containing the answers. The queried input is the result of the chase.
The text was updated successfully, but these errors were encountered:
The Reasoner should support CQ answering. A conjunctive query should be represented as a list of atoms and a list of output variables. It should then return a
Trie
containing the answers. The queried input is the result of the chase.The text was updated successfully, but these errors were encountered: