nemo icon indicating copy to clipboard operation
nemo copied to clipboard

Published 20 hours ago • verified publisher icon knowsys

Implement Conjunctive Query Answering

Open aannleax opened this issue 2 years ago • 0 comments

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.

aannleax avatar Jan 31 '23 15:01 aannleax