Interface | Description |
---|---|
FOConvertable |
Interface for language constructs that can be converted to FOL.
|
FOConvertableInContext |
Interface for language constructs that can be converted to
FOL possibly in the context of a class (i.e., in a qualified
way).
|
Class | Description |
---|---|
FOAnd |
First-order logic "AND" expression
|
FOConstraintBuilder |
Class for building FO constraints for the individual constraint types.
|
FODatatype |
FO formula representing a datatype specification
|
FOEquals |
Representation of FO equality construct
|
FOExists |
Representation of FO \exists construct
|
FOFalse |
Representation of FO false constant
|
FOForall |
Representation of FO \forall construct
|
FOFormula |
http://www.w3.org/2005/rules/wiki/SWC
Forall ?
|
FOImplies |
Representation of FO implication construct
|
FOIRIOrSPARQLVariable |
Class representing either a FO IRI or a SPARQL variable
|
FONot |
First-order logic negation
|
FOOr |
First-order logic "OR" expression
|
FORangeType |
Representation of range type specification in FO
|
FOTriple |
FO triple representation in first-order logics
|
FOTrue |
Representation of FO true constant
|
Enum | Description |
---|---|
FOImplies.ConclusionType | |
FORangeType.Relation |
The underlying relation to associate the elem with.
|