Module fr.boreal.backward_chaining

Package fr.boreal.backward_chaining.cover

Interface CoverFunction

All Known Implementing Classes:

NoCover, QueryCover

public interface CoverFunction

From Melanie Konïg's thesis Let Q1s and Q2s two set of queries We say that Q1s covers Q2s (noted Q1s >= Q2s) if for every query Q2 of Q2 there exist a query Q1 from Q1s such that Q1 >= Q2 (Q1 subsumes Q2) For termination reasons, the cover should keep in priority the already explored queries

Method Summary

Modifier and Type	Method	Description
Set<FOQuery>	cover(Set<FOQuery> queries)

Method Details

cover

Set<FOQuery> cover(Set<FOQuery> queries)

Parameters:

queries - the set of queries to compute the cover of

Returns:

the cover of the given queries