Approaches For the Too Many Answers Problem in Knowledge Bases. Four algorithms are provided:
- Base: executes all subqueries of a failing query,
- BFS: does not execute queries that have a succeeding superquery,
- Var: BFS + uses a variable-based property to deduce query failure,
- Card: Var + uses a cardinality-based property to deduce query failure.
Try it Wiki