org.aksw.sparqlify.expr.util

Class ExprPatternSatisfiability

java.lang.Object

org.aksw.sparqlify.expr.util.ExprPatternSatisfiability

public class ExprPatternSatisfiability
extends Object

Constructor Summary

Constructors

Constructor and Description
ExprPatternSatisfiability()

Method Summary

Methods

Modifier and Type	Method and Description
static Boolean	_isSatisfiable(com.hp.hpl.jena.sparql.expr.E_Equals expr)
static Boolean	_isSatisfiable(com.hp.hpl.jena.sparql.expr.E_LogicalAnd expr)
static Boolean	_isSatisfiable(com.hp.hpl.jena.sparql.expr.E_LogicalNot expr)
static Boolean	_isSatisfiable(com.hp.hpl.jena.sparql.expr.E_LogicalOr expr)
static RdfTermPattern	getPattern(com.hp.hpl.jena.sparql.expr.Expr expr)
static Boolean	isSatisfiable(com.hp.hpl.jena.sparql.expr.Expr expr)
static void	isSatisfiable(Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> dnf, Map<com.hp.hpl.jena.sparql.core.Var,RdfTermPattern> varToPattern) Given a set of views and a query such as: select * { ?s ?p ?o .

Methods inherited from class java.lang.Object

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

Constructor Detail

ExprPatternSatisfiability

public ExprPatternSatisfiability()

Method Detail

isSatisfiable

public static void isSatisfiable(Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> dnf,
                 Map<com.hp.hpl.jena.sparql.core.Var,RdfTermPattern> varToPattern)

Given a set of views and a query such as: select * { ?s ?p ?o . Filter(?s = 'myconstant'). } For each view instance matching the query-triple, it must be possible tha ?s equals the constant, hence pattern(?s).contains(myconstant).

isSatisfiable

public static Boolean isSatisfiable(com.hp.hpl.jena.sparql.expr.Expr expr)

_isSatisfiable

public static Boolean _isSatisfiable(com.hp.hpl.jena.sparql.expr.E_LogicalAnd expr)

_isSatisfiable

public static Boolean _isSatisfiable(com.hp.hpl.jena.sparql.expr.E_LogicalNot expr)

_isSatisfiable

public static Boolean _isSatisfiable(com.hp.hpl.jena.sparql.expr.E_LogicalOr expr)

_isSatisfiable

public static Boolean _isSatisfiable(com.hp.hpl.jena.sparql.expr.E_Equals expr)

getPattern

public static RdfTermPattern getPattern(com.hp.hpl.jena.sparql.expr.Expr expr)