public abstract class FOFormula
extends java.lang.Object
Constructor and Description |
---|
FOFormula() |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj)
Define equality over the serialization, for now.
|
ConstraintProvenanceInfo |
getProvenanceInfo() |
int |
hashCode()
Define equality over the fullUri, which defines
the URI uniquely.
|
static java.util.Set<FOFormula> |
minimizeByProvenanceRemoval(java.util.Set<FOFormula> formulas)
Removes the provenance info and puts the formulas into a set, thus removing
formulas that only differ in provenance information.
|
void |
setProvenanceInfo(ConstraintProvenanceInfo provenanceInfo) |
static java.lang.String |
sparqlQueryPrefix(boolean ask,
java.util.List<SPARQLVariable> vars) |
static java.lang.String |
sparqlQuerySuffix(java.lang.Integer limit) |
java.lang.String |
toFullSPARQL(boolean ask,
java.lang.Integer limit)
Called to construct a full SPARQL query, i.e. including the surrounding
ASK or SELECT clause (depending on the parameter).
|
abstract java.lang.String |
toRIF() |
abstract java.lang.String |
toSPARQL(boolean ask) |
public abstract java.lang.String toRIF()
public java.lang.String toFullSPARQL(boolean ask, java.lang.Integer limit)
public abstract java.lang.String toSPARQL(boolean ask)
public ConstraintProvenanceInfo getProvenanceInfo()
public void setProvenanceInfo(ConstraintProvenanceInfo provenanceInfo)
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public static java.util.Set<FOFormula> minimizeByProvenanceRemoval(java.util.Set<FOFormula> formulas)
public static java.lang.String sparqlQueryPrefix(boolean ask, java.util.List<SPARQLVariable> vars)
public static java.lang.String sparqlQuerySuffix(java.lang.Integer limit)