Package org.aksw.jena_sparql_api.algebra.transform

Class TransformFilterSimplify

java.lang.Object
org.apache.jena.sparql.algebra.TransformCopy
org.aksw.jena_sparql_api.algebra.transform.TransformFilterSimplify
All Implemented Interfaces:
org.apache.jena.sparql.algebra.Transform
public class TransformFilterSimplify extends org.apache.jena.sparql.algebra.TransformCopy

  • Field Summary

    Fields inherited from class org.apache.jena.sparql.algebra.TransformCopy

    COPY_ALWAYS, COPY_ONLY_ON_CHANGE

  • Constructor Summary

    Constructors
    Constructor
    Description
    TransformFilterSimplify()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    static Set<Set<org.apache.jena.sparql.expr.Expr>>
    applyExprTransform(Set<Set<org.apache.jena.sparql.expr.Expr>> nf, org.apache.jena.sparql.expr.ExprTransform exprTransform)
     
    static <T, D extends Collection<T>, C extends Collection<D>>
    C
    applyExprTransform2(C nested, Function<? super T,? extends T> fn)
     
    static <C extends Collection<org.apache.jena.sparql.expr.Expr>>
    C
    applyExprTransformC(org.apache.jena.sparql.expr.ExprTransform transform, C clause)
     
    static <T, C extends Collection<T>>
    C
    mapItems(C collection, Function<? super T,? extends T> fn)
     
    static org.apache.jena.sparql.expr.Expr
    partialEvalCnf(org.apache.jena.sparql.expr.Expr expr, Map<org.apache.jena.sparql.core.Var,org.apache.jena.graph.Node> map)
     
    static Set<Set<org.apache.jena.sparql.expr.Expr>>
    processClausesInPlace(Set<Set<org.apache.jena.sparql.expr.Expr>> nf, Consumer<? super Set<org.apache.jena.sparql.expr.Expr>> inPlaceTransform)
     
    static Set<Set<org.apache.jena.sparql.expr.Expr>>
    removeSubsumedCnfClause(Set<Set<org.apache.jena.sparql.expr.Expr>> cnf)
    In-place modification of the given dnf which removes subsumed clauses based on equivalence of literals: For example: (A) AND (A OR B) -> {{A}, {A, B}} -> {{A}}
    static Set<org.apache.jena.sparql.expr.Expr>
    subsitutePositiveNegativeLiteral(Set<org.apache.jena.sparql.expr.Expr> clause, org.apache.jena.sparql.expr.Expr value)
    Check for clauses that contain both A and !A and substitute their occurrences with the given value.
    static Set<org.apache.jena.sparql.expr.Expr>
    subsitutePositiveNegativeLiteralTrue(Set<org.apache.jena.sparql.expr.Expr> clause)
     
    static Set<Set<org.apache.jena.sparql.expr.Expr>>
    tidyBooleanConstants(Set<Set<org.apache.jena.sparql.expr.Expr>> cnf)
     
    static org.apache.jena.sparql.algebra.Op
    transform(org.apache.jena.sparql.algebra.Op op)
     
    org.apache.jena.sparql.algebra.Op
    transform(org.apache.jena.sparql.algebra.op.OpFilter opFilter, org.apache.jena.sparql.algebra.Op subOp)
     

    Methods inherited from class org.apache.jena.sparql.algebra.TransformCopy

    transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Constructor Details

    • TransformFilterSimplify

      public TransformFilterSimplify()

  • Method Details

    • transform

      public static org.apache.jena.sparql.algebra.Op transform(org.apache.jena.sparql.algebra.Op op)

    • partialEvalCnf

      public static org.apache.jena.sparql.expr.Expr partialEvalCnf(org.apache.jena.sparql.expr.Expr expr, Map<org.apache.jena.sparql.core.Var,org.apache.jena.graph.Node> map)

    • processClausesInPlace

      public static Set<Set<org.apache.jena.sparql.expr.Expr>> processClausesInPlace(Set<Set<org.apache.jena.sparql.expr.Expr>> nf, Consumer<? super Set<org.apache.jena.sparql.expr.Expr>> inPlaceTransform)

    • applyExprTransform

      public static Set<Set<org.apache.jena.sparql.expr.Expr>> applyExprTransform(Set<Set<org.apache.jena.sparql.expr.Expr>> nf, org.apache.jena.sparql.expr.ExprTransform exprTransform)

    • applyExprTransform2

      public static <T, D extends Collection<T>, C extends Collection<D>> C applyExprTransform2(C nested, Function<? super T,? extends T> fn)

    • applyExprTransformC

      public static <C extends Collection<org.apache.jena.sparql.expr.Expr>> C applyExprTransformC(org.apache.jena.sparql.expr.ExprTransform transform, C clause)

    • mapItems

      public static <T, C extends Collection<T>> C mapItems(C collection, Function<? super T,? extends T> fn)

    • subsitutePositiveNegativeLiteralTrue

      public static Set<org.apache.jena.sparql.expr.Expr> subsitutePositiveNegativeLiteralTrue(Set<org.apache.jena.sparql.expr.Expr> clause)

    • subsitutePositiveNegativeLiteral

      public static Set<org.apache.jena.sparql.expr.Expr> subsitutePositiveNegativeLiteral(Set<org.apache.jena.sparql.expr.Expr> clause, org.apache.jena.sparql.expr.Expr value)
      Check for clauses that contain both A and !A and substitute their occurrences with the given value.
      Parameters:
      clause -
      value -
      Returns:

    • tidyBooleanConstants

      public static Set<Set<org.apache.jena.sparql.expr.Expr>> tidyBooleanConstants(Set<Set<org.apache.jena.sparql.expr.Expr>> cnf)

    • transform

      public org.apache.jena.sparql.algebra.Op transform(org.apache.jena.sparql.algebra.op.OpFilter opFilter, org.apache.jena.sparql.algebra.Op subOp)
      Specified by:
      transform in interface org.apache.jena.sparql.algebra.Transform
      Overrides:
      transform in class org.apache.jena.sparql.algebra.TransformCopy

    • removeSubsumedCnfClause

      public static Set<Set<org.apache.jena.sparql.expr.Expr>> removeSubsumedCnfClause(Set<Set<org.apache.jena.sparql.expr.Expr>> cnf)
      In-place modification of the given dnf which removes subsumed clauses based on equivalence of literals: For example: (A) AND (A OR B) -> {{A}, {A, B}} -> {{A}}
      Parameters:
      dnf -
      Returns: