it.unibz.inf.ontop.constraints

Interface ImmutableCQContainmentCheck<P extends AtomPredicate>

All Known Implementing Classes:

ImmutableCQContainmentCheckUnderLIDs, ImmutableCQSyntacticContainmentCheck

public interface ImmutableCQContainmentCheck<P extends AtomPredicate>

Method Summary

Modifier and Type	Method and Description
boolean	isContainedIn(ImmutableCQ<P> cq1, ImmutableCQ<P> cq2) Returns true if the query cq1 is contained in the query cq2 (in other words, the first query is more specific, it has fewer answers)
default void	removeContainedQueries(List<ImmutableCQ<P>> queries) Removes queries that are contained syntactically, using the method isContainedIn(CQIE q1, CQIE 2).

Method Detail

isContainedIn

boolean isContainedIn(ImmutableCQ<P> cq1,
                      ImmutableCQ<P> cq2)

Returns true if the query cq1 is contained in the query cq2 (in other words, the first query is more specific, it has fewer answers)

Parameters:

cq1 -

cq2 -

Returns:

true if the first query is contained in the second query

removeContainedQueries

default void removeContainedQueries(List<ImmutableCQ<P>> queries)

Removes queries that are contained syntactically, using the method isContainedIn(CQIE q1, CQIE 2). Removal of queries is done in two main double scans. The first scan goes top-down/down-top, the second scan goes down-top/top-down

Parameters:

queries -