public class FOImplies extends FOFormula
Modifier and Type | Class and Description |
---|---|
static class |
FOImplies.ConclusionType |
Constructor and Description |
---|
FOImplies(FOFormula premise,
FOFormula conclusion) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toRIF() |
java.lang.String |
toSPARQL(boolean ask) |
equals, getProvenanceInfo, hashCode, minimizeByProvenanceRemoval, setProvenanceInfo, sparqlQueryPrefix, sparqlQuerySuffix, toFullSPARQL