Interface RestrictionManager

Type Parameters:
V -
All Known Implementing Classes:
RestrictionManagerImpl

public interface RestrictionManager
Interface for associating restrictions with (query) variables.
Author:
raven
  • Method Summary

    Modifier and Type
    Method
    Description
    determineSatisfiability(org.apache.jena.sparql.expr.Expr expr)
    Test whether the given expression is satisfiable in regard to the given restrictions
    getOrCreateLocalRestriction(org.apache.jena.sparql.core.Var a)
     
    getRestriction(org.apache.jena.sparql.core.Var a)
    Get the restriction associated with the given variable
    getRestriction(org.apache.jena.sparql.expr.Expr expr)
    Return the restriction associated with as expression.
    void
    stateLiteral(org.apache.jena.sparql.core.Var a, org.apache.jena.sparql.expr.NodeValue b)
     
    void
    stateNode(org.apache.jena.sparql.core.Var a, org.apache.jena.graph.Node b)
     
    void
    stateNonEqual(org.apache.jena.sparql.core.Var a, org.apache.jena.sparql.core.Var b)
     
    void
    stateType(org.apache.jena.sparql.core.Var a, RdfTermType type)
     
    void
    stateUri(org.apache.jena.sparql.core.Var a, String uri)
     
  • Method Details

    • determineSatisfiability

      Boolean determineSatisfiability(org.apache.jena.sparql.expr.Expr expr)
      Test whether the given expression is satisfiable in regard to the given restrictions
      Parameters:
      expr - The expression to test for satisfiability
      Returns:
      The assessment of the satisfiability
    • getRestriction

      RestrictionImpl getRestriction(org.apache.jena.sparql.core.Var a)
      Get the restriction associated with the given variable
      Parameters:
      a -
      Returns:
    • getRestriction

      RestrictionImpl getRestriction(org.apache.jena.sparql.expr.Expr expr)
      Return the restriction associated with as expression. If the expression is a variable, getRestriction(Var) is invoked. restriction[concat("a", "b")] = prefixset({"ab"})
      Parameters:
      expr -
      Returns:
    • getOrCreateLocalRestriction

      RestrictionImpl getOrCreateLocalRestriction(org.apache.jena.sparql.core.Var a)
    • stateType

      void stateType(org.apache.jena.sparql.core.Var a, RdfTermType type)
    • stateNode

      void stateNode(org.apache.jena.sparql.core.Var a, org.apache.jena.graph.Node b)
    • stateUri

      void stateUri(org.apache.jena.sparql.core.Var a, String uri)
    • stateLiteral

      void stateLiteral(org.apache.jena.sparql.core.Var a, org.apache.jena.sparql.expr.NodeValue b)
    • stateNonEqual

      void stateNonEqual(org.apache.jena.sparql.core.Var a, org.apache.jena.sparql.core.Var b)