- FOAnd - Class in edu.freiburg.dbis.rdd.fol
-
First-order logic "AND" expression
- FOAnd(List<FOFormula>) - Constructor for class edu.freiburg.dbis.rdd.fol.FOAnd
-
- FOAnd(FOFormula, FOFormula) - Constructor for class edu.freiburg.dbis.rdd.fol.FOAnd
-
- FOConstraintBuilder - Class in edu.freiburg.dbis.rdd.fol
-
Class for building FO constraints for the individual constraint types.
- FOConstraintBuilder() - Constructor for class edu.freiburg.dbis.rdd.fol.FOConstraintBuilder
-
- FOConvertable - Interface in edu.freiburg.dbis.rdd.fol
-
Interface for language constructs that can be converted to FOL.
- FOConvertableInContext - Interface in edu.freiburg.dbis.rdd.fol
-
Interface for language constructs that can be converted to
FOL possibly in the context of a class (i.e., in a qualified
way).
- FODatatype - Class in edu.freiburg.dbis.rdd.fol
-
FO formula representing a datatype specification
- FODatatype(FOIRIOrSPARQLVariable, IRI) - Constructor for class edu.freiburg.dbis.rdd.fol.FODatatype
-
- FOEquals - Class in edu.freiburg.dbis.rdd.fol
-
Representation of FO equality construct
- FOEquals(FOIRIOrSPARQLVariable, FOIRIOrSPARQLVariable) - Constructor for class edu.freiburg.dbis.rdd.fol.FOEquals
-
- FOExists - Class in edu.freiburg.dbis.rdd.fol
-
Representation of FO \exists construct
- FOExists(List<SPARQLVariable>, FOFormula) - Constructor for class edu.freiburg.dbis.rdd.fol.FOExists
-
- FOFalse - Class in edu.freiburg.dbis.rdd.fol
-
Representation of FO false constant
- FOFalse() - Constructor for class edu.freiburg.dbis.rdd.fol.FOFalse
-
- FOForall - Class in edu.freiburg.dbis.rdd.fol
-
Representation of FO \forall construct
- FOForall(List<SPARQLVariable>, FOFormula) - Constructor for class edu.freiburg.dbis.rdd.fol.FOForall
-
- FOFormula - Class in edu.freiburg.dbis.rdd.fol
-
http://www.w3.org/2005/rules/wiki/SWC
Forall ?
- FOFormula() - Constructor for class edu.freiburg.dbis.rdd.fol.FOFormula
-
- FOImplies - Class in edu.freiburg.dbis.rdd.fol
-
Representation of FO implication construct
- FOImplies(FOFormula, FOFormula) - Constructor for class edu.freiburg.dbis.rdd.fol.FOImplies
-
- FOImplies.ConclusionType - Enum in edu.freiburg.dbis.rdd.fol
-
- FOIRIOrSPARQLVariable - Class in edu.freiburg.dbis.rdd.fol
-
Class representing either a FO IRI or a SPARQL variable
- FOIRIOrSPARQLVariable(SPARQLVariable) - Constructor for class edu.freiburg.dbis.rdd.fol.FOIRIOrSPARQLVariable
-
- FOIRIOrSPARQLVariable(IRI) - Constructor for class edu.freiburg.dbis.rdd.fol.FOIRIOrSPARQLVariable
-
- FONot - Class in edu.freiburg.dbis.rdd.fol
-
First-order logic negation
- FONot(FOFormula) - Constructor for class edu.freiburg.dbis.rdd.fol.FONot
-
- FOOr - Class in edu.freiburg.dbis.rdd.fol
-
First-order logic "OR" expression
- FOOr(List<FOFormula>) - Constructor for class edu.freiburg.dbis.rdd.fol.FOOr
-
- FORangeType - Class in edu.freiburg.dbis.rdd.fol
-
Representation of range type specification in FO
- FORangeType(FOIRIOrSPARQLVariable, FORangeType.Relation) - Constructor for class edu.freiburg.dbis.rdd.fol.FORangeType
-
- FORangeType.Relation - Enum in edu.freiburg.dbis.rdd.fol
-
The underlying relation to associate the elem with.
- FOTriple - Class in edu.freiburg.dbis.rdd.fol
-
FO triple representation in first-order logics
- FOTriple(FOIRIOrSPARQLVariable, FOIRIOrSPARQLVariable, FOIRIOrSPARQLVariable) - Constructor for class edu.freiburg.dbis.rdd.fol.FOTriple
-
- FOTriple(IRI, IRI, IRI) - Constructor for class edu.freiburg.dbis.rdd.fol.FOTriple
-
- FOTriple(IRI, IRI, SPARQLVariable) - Constructor for class edu.freiburg.dbis.rdd.fol.FOTriple
-
- FOTriple(IRI, SPARQLVariable, IRI) - Constructor for class edu.freiburg.dbis.rdd.fol.FOTriple
-
- FOTriple(SPARQLVariable, IRI, IRI) - Constructor for class edu.freiburg.dbis.rdd.fol.FOTriple
-
- FOTriple(IRI, SPARQLVariable, SPARQLVariable) - Constructor for class edu.freiburg.dbis.rdd.fol.FOTriple
-
- FOTriple(SPARQLVariable, IRI, SPARQLVariable) - Constructor for class edu.freiburg.dbis.rdd.fol.FOTriple
-
- FOTriple(SPARQLVariable, SPARQLVariable, IRI) - Constructor for class edu.freiburg.dbis.rdd.fol.FOTriple
-
- FOTriple(SPARQLVariable, SPARQLVariable, SPARQLVariable) - Constructor for class edu.freiburg.dbis.rdd.fol.FOTriple
-
- FOTrue - Class in edu.freiburg.dbis.rdd.fol
-
Representation of FO true constant
- FOTrue() - Constructor for class edu.freiburg.dbis.rdd.fol.FOTrue
-
- freshDummyVariable() - Method in class edu.freiburg.dbis.rdd.sparql.SPARQLVariableFactory
-
Creates a fresh dummy variable
- freshId() - Method in class edu.freiburg.dbis.rdd.provenance.IdCounter
-
- freshOVariable() - Method in class edu.freiburg.dbis.rdd.sparql.SPARQLVariableFactory
-
- freshOVariables(int) - Method in class edu.freiburg.dbis.rdd.sparql.SPARQLVariableFactory
-
- freshPVariable() - Method in class edu.freiburg.dbis.rdd.sparql.SPARQLVariableFactory
-
- freshPVariables(int) - Method in class edu.freiburg.dbis.rdd.sparql.SPARQLVariableFactory
-
- freshSVariable() - Method in class edu.freiburg.dbis.rdd.sparql.SPARQLVariableFactory
-
- freshSVariables(int) - Method in class edu.freiburg.dbis.rdd.sparql.SPARQLVariableFactory
-
- fromPrefixedIri(String) - Static method in class edu.freiburg.dbis.rdd.sparql.IRI
-
Constructs a IRI from a prefixed IRI string using the
PrefixManager
- fromSparqlIri(String) - Static method in class edu.freiburg.dbis.rdd.sparql.IRI
-
Constructs a IRI from a SPARQL IRI such as