A B C D E F G H I J K L M N O P Q R S T U V W 

F

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
A B C D E F G H I J K L M N O P Q R S T U V W