Package | Description |
---|---|
edu.freiburg.dbis.rdd.fol | |
edu.freiburg.dbis.rdd.sparql |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
FOFormula.sparqlQueryPrefix(boolean ask,
java.util.List<SPARQLVariable> vars) |
Constructor and Description |
---|
FOIRIOrSPARQLVariable(SPARQLVariable var) |
FOTriple(IRI subject,
IRI predicate,
SPARQLVariable object) |
FOTriple(IRI subject,
SPARQLVariable predicate,
IRI object) |
FOTriple(IRI subject,
SPARQLVariable predicate,
SPARQLVariable object) |
FOTriple(SPARQLVariable subject,
IRI predicate,
IRI object) |
FOTriple(SPARQLVariable subject,
IRI predicate,
SPARQLVariable object) |
FOTriple(SPARQLVariable subject,
SPARQLVariable predicate,
IRI object) |
FOTriple(SPARQLVariable subject,
SPARQLVariable predicate,
SPARQLVariable object) |
Constructor and Description |
---|
FOExists(java.util.List<SPARQLVariable> vars,
FOFormula inner) |
FOForall(java.util.List<SPARQLVariable> vars,
FOFormula inner) |
Modifier and Type | Method and Description |
---|---|
SPARQLVariable |
SPARQLVariableFactory.freshDummyVariable()
Creates a fresh dummy variable
|
SPARQLVariable |
SPARQLVariableFactory.freshOVariable() |
SPARQLVariable |
SPARQLVariableFactory.freshPVariable() |
SPARQLVariable |
SPARQLVariableFactory.freshSVariable() |
Modifier and Type | Method and Description |
---|---|
java.util.List<SPARQLVariable> |
SPARQLVariableFactory.freshOVariables(int n) |
java.util.List<SPARQLVariable> |
SPARQLVariableFactory.freshPVariables(int n) |
java.util.List<SPARQLVariable> |
SPARQLVariableFactory.freshSVariables(int n) |