Module fr.boreal.backward_chaining

Package fr.boreal.backward_chaining.cover

Class QueryCover

java.lang.Object

fr.boreal.backward_chaining.cover.QueryCover

All Implemented Interfaces:

CoverFunction

public class QueryCover
extends Object
implements CoverFunction

Computes the cover of a set of queries using homomorphism to detect if a query is more general than another

Constructor Summary

Constructors

Constructor	Description
QueryCover()	Default constructor.
QueryCover(RuleCompilation compilation)	Constructor with compilation

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

QueryCover

public QueryCover()

Default constructor. Uses no compilation

QueryCover

public QueryCover(RuleCompilation compilation)

Constructor with compilation

Parameters:

compilation - the compilation to use

Method Details

cover

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

Specified by:

cover in interface CoverFunction

Parameters:

queries - the set of queries to compute the cover of

Returns:

the cover of the given queries