Class RuleWrapper2ConjunctiveQueryWithNegatedParts

java.lang.Object

fr.lirmm.graphik.integraal.core.RuleWrapper2ConjunctiveQueryWithNegatedParts

All Implemented Interfaces:

ConjunctiveQueryWithNegatedParts, Query

public class RuleWrapper2ConjunctiveQueryWithNegatedParts
extends Object
implements ConjunctiveQueryWithNegatedParts

Creates a negated query from the head of a query. This is used for the restricted chase implementation.

Author:

Clément Sipieter (INRIA) <clement@6pi.fr>

Constructor Summary

Constructors

Constructor	Description
RuleWrapper2ConjunctiveQueryWithNegatedParts(Rule rule)	Wraps the given rule as a conjunctive query with negated parts.

Method Summary

Modifier and Type	Method	Description
void	appendTo(StringBuilder sb)
List<Term>	getAnswerVariables()	Get the answer variables
String	getLabel()	The label (the name) for this query.
List<InMemoryAtomSet>	getNegatedParts()	Get the set of facts which must be false (at least one).
InMemoryAtomSet	getPositivePart()	Get the set of facts which must be true.
boolean	isBoolean()	Returns whether the query expects a boolean answer.
void	setLabel(String label)	Sets the query label.
String	toString()

Methods inherited from class Object

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

Constructor Details

RuleWrapper2ConjunctiveQueryWithNegatedParts

public RuleWrapper2ConjunctiveQueryWithNegatedParts(Rule rule)

Wraps the given rule as a conjunctive query with negated parts.

Parameters:

rule - the rule to wrap

Method Details

isBoolean

public boolean isBoolean()

Description copied from interface: Query

Returns whether the query expects a boolean answer.

Specified by:

isBoolean in interface Query

Returns:

true if the expected answer is boolean, false otherwise.

setLabel

public void setLabel(String label)

Description copied from interface: Query

Sets the query label.

Specified by:

setLabel in interface Query

Parameters:

label - the new query label

getLabel

public String getLabel()

Description copied from interface: ConjunctiveQueryWithNegatedParts

The label (the name) for this query.

Specified by:

getLabel in interface ConjunctiveQueryWithNegatedParts

Specified by:

getLabel in interface Query

Returns:

the label of this query.

getPositivePart

public InMemoryAtomSet getPositivePart()

Description copied from interface: ConjunctiveQueryWithNegatedParts

Get the set of facts which must be true.

Specified by:

getPositivePart in interface ConjunctiveQueryWithNegatedParts

Returns:

an atom set representing the atom conjunction of the query.

getNegatedParts

public List<InMemoryAtomSet> getNegatedParts()

Description copied from interface: ConjunctiveQueryWithNegatedParts

Get the set of facts which must be false (at least one).

Specified by:

getNegatedParts in interface ConjunctiveQueryWithNegatedParts

Returns:

a list of atom sets representing negated conjunctions of atoms.

getAnswerVariables

public List<Term> getAnswerVariables()

Description copied from interface: ConjunctiveQueryWithNegatedParts

Get the answer variables

Specified by:

getAnswerVariables in interface ConjunctiveQueryWithNegatedParts

Returns:

an Collection of Term representing the answer variables.

toString

public String toString()

Overrides:

toString in class Object

appendTo

public void appendTo(StringBuilder sb)