java.util.Set<FOFormula> |
RDD.toFOL(Environment e) |
java.util.Set<FOFormula> |
PropConstraintSec.toFOL(Environment e) |
java.util.Set<FOFormula> |
ClassConstraintSec.toFOL(Environment e) |
java.util.Set<FOFormula> |
ClassConstraint.toFOL(Environment e) |
java.util.Set<FOFormula> |
ClassConstraint.toFOL(Environment e,
java.util.Set<IRI> handled)
Helper method for the evaluation phase, maintaining a list of handled
classes to break endless recursion in case of cyclic class hierarchies.
|
java.util.List<FOFormula> |
TotalityConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
SubPropertyConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
RangeConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
PropConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
PathConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
PartialityConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
MinConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
MaxConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
DomainConstraint.toFOL(IRI clazz,
Environment e) |