org.aksw.sparqlify.restriction

Interface RestrictionManager

Type Parameters:

V -

All Known Implementing Classes:

RestrictionManagerImpl

public interface RestrictionManager

Interface for associating restrictions with (query) variables.

Author:

raven

Method Summary

Methods

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

Method Detail

determineSatisfiability

Boolean determineSatisfiability(com.hp.hpl.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(com.hp.hpl.jena.sparql.core.Var a)

Get the restriction associated with the given variable

Parameters:

a -

Returns:

getRestriction

RestrictionImpl getRestriction(com.hp.hpl.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(com.hp.hpl.jena.sparql.core.Var a)

stateType

void stateType(com.hp.hpl.jena.sparql.core.Var a,
             RdfTermType type)

stateNode

void stateNode(com.hp.hpl.jena.sparql.core.Var a,
             com.hp.hpl.jena.graph.Node b)

stateUri

void stateUri(com.hp.hpl.jena.sparql.core.Var a,
            String uri)

stateLiteral

void stateLiteral(com.hp.hpl.jena.sparql.core.Var a,
                com.hp.hpl.jena.sparql.expr.NodeValue b)

stateNonEqual

void stateNonEqual(com.hp.hpl.jena.sparql.core.Var a,
                 com.hp.hpl.jena.sparql.core.Var b)