Package org.aksw.jenax.arq.util.expr

Class ClauseUtils

java.lang.Object
org.aksw.jenax.arq.util.expr.ClauseUtils
public class ClauseUtils extends Object

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final Set<org.apache.jena.sparql.expr.Expr>
    FALSE
     
    static final Set<org.apache.jena.sparql.expr.Expr>
    TRUE
     

  • Constructor Summary

    Constructors
    Constructor
    Description
    ClauseUtils()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    static Set<org.apache.jena.sparql.expr.Expr>
    applyNodeTransform(Set<org.apache.jena.sparql.expr.Expr> clause, org.apache.jena.sparql.graph.NodeTransform nodeTransform)
     
    static Set<Set<org.apache.jena.sparql.expr.Expr>>
    applyNodeTransformSet(Set<Set<org.apache.jena.sparql.expr.Expr>> clauses, org.apache.jena.sparql.graph.NodeTransform nodeTransform)
     
    static Map<org.apache.jena.sparql.core.Var,org.apache.jena.sparql.expr.NodeValue>
    extractConstantConstraints(Collection<? extends org.apache.jena.sparql.expr.Expr> clause)
     
    static Set<Set<org.apache.jena.sparql.expr.Expr>>
    filterByVars(Set<Set<org.apache.jena.sparql.expr.Expr>> clauses, Set<org.apache.jena.sparql.core.Var> requiredVars)
     
    static Set<org.apache.jena.sparql.core.Var>
    getVarsMentioned(Iterable<? extends org.apache.jena.sparql.expr.Expr> clause)
     
    static boolean
    isSatisfiable(Set<org.apache.jena.sparql.expr.Expr> clause)
    false means that it is no satisfiable.
    static boolean
    isSatisfiable(org.apache.jena.sparql.expr.Expr expr)
     
    static Set<org.apache.jena.sparql.expr.Expr>
    newFalse()
     
    static Set<org.apache.jena.sparql.expr.Expr>
    newTrue()
     
    static Set<org.apache.jena.sparql.expr.Expr>
    signaturize(Iterable<? extends org.apache.jena.sparql.expr.Expr> clause)
     

    Methods inherited from class java.lang.Object

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

  • Field Details

    • TRUE

      public static final Set<org.apache.jena.sparql.expr.Expr> TRUE

    • FALSE

      public static final Set<org.apache.jena.sparql.expr.Expr> FALSE

  • Constructor Details

    • ClauseUtils

      public ClauseUtils()

  • Method Details

    • newTrue

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

    • newFalse

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

    • extractConstantConstraints

      public static Map<org.apache.jena.sparql.core.Var,org.apache.jena.sparql.expr.NodeValue> extractConstantConstraints(Collection<? extends org.apache.jena.sparql.expr.Expr> clause)

    • signaturize

      public static Set<org.apache.jena.sparql.expr.Expr> signaturize(Iterable<? extends org.apache.jena.sparql.expr.Expr> clause)

    • filterByVars

      public static Set<Set<org.apache.jena.sparql.expr.Expr>> filterByVars(Set<Set<org.apache.jena.sparql.expr.Expr>> clauses, Set<org.apache.jena.sparql.core.Var> requiredVars)

    • isSatisfiable

      public static boolean isSatisfiable(Set<org.apache.jena.sparql.expr.Expr> clause)
      false means that it is no satisfiable. true is actually a 'maybe'
      Parameters:
      clause -
      Returns:

    • isSatisfiable

      public static boolean isSatisfiable(org.apache.jena.sparql.expr.Expr expr)

    • getVarsMentioned

      public static Set<org.apache.jena.sparql.core.Var> getVarsMentioned(Iterable<? extends org.apache.jena.sparql.expr.Expr> clause)

    • applyNodeTransformSet

      public static Set<Set<org.apache.jena.sparql.expr.Expr>> applyNodeTransformSet(Set<Set<org.apache.jena.sparql.expr.Expr>> clauses, org.apache.jena.sparql.graph.NodeTransform nodeTransform)

    • applyNodeTransform

      public static Set<org.apache.jena.sparql.expr.Expr> applyNodeTransform(Set<org.apache.jena.sparql.expr.Expr> clause, org.apache.jena.sparql.graph.NodeTransform nodeTransform)