Module fr.boreal.backward_chaining

Package fr.boreal.backward_chaining.cover

package fr.boreal.backward_chaining.cover

Class	Description
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
NoCover	Does nothing
QueryCover	Computes the cover of a set of queries using homomorphism to detect if a query is more general than another