org.aksw.jena_sparql_api.utils

Class CnfUtils

java.lang.Object

org.aksw.jena_sparql_api.utils.CnfUtils

public class CnfUtils
extends Object

Constructor Summary

Constructors

Constructor and Description
CnfUtils()

Method Summary

Methods

Modifier and Type	Method and Description
static List<com.hp.hpl.jena.sparql.expr.ExprList>	cnfToClauses(Iterable<com.hp.hpl.jena.sparql.expr.Expr> exprs) This method only words if the input expressions are in DNF, otherwise you will likely get junk back.
static void	collectAnd(com.hp.hpl.jena.sparql.expr.Expr expr, List<com.hp.hpl.jena.sparql.expr.ExprList> list)
static void	collectOr(com.hp.hpl.jena.sparql.expr.Expr expr, com.hp.hpl.jena.sparql.expr.ExprList list)
static com.hp.hpl.jena.sparql.expr.Expr	eval(com.hp.hpl.jena.sparql.expr.Expr expr)
static Map<com.hp.hpl.jena.sparql.core.Var,com.hp.hpl.jena.graph.Node>	getConstants(Iterable<Set<com.hp.hpl.jena.sparql.expr.Expr>> cnf)
static com.hp.hpl.jena.sparql.expr.Expr	handle(com.hp.hpl.jena.sparql.expr.ExprFunction expr)
static boolean	isSubsumedBy(Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> cand, Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> ref) Test if the candidate is subsumed by the reference.
static void	main(String[] args)
static <T extends com.hp.hpl.jena.sparql.expr.ExprFunction2> T	normalize(T expr)
static List<com.hp.hpl.jena.sparql.expr.ExprList>	toClauses(com.hp.hpl.jena.sparql.expr.Expr expr)
static List<com.hp.hpl.jena.sparql.expr.ExprList>	toClauses(com.hp.hpl.jena.sparql.expr.ExprList exprs)
static com.hp.hpl.jena.sparql.expr.ExprList	toExprList(Iterable<Set<com.hp.hpl.jena.sparql.expr.Expr>> cnf)
static Set<Set<com.hp.hpl.jena.sparql.expr.Expr>>	toSetCnf(com.hp.hpl.jena.sparql.expr.Expr expr)
static Set<Set<com.hp.hpl.jena.sparql.expr.Expr>>	toSetCnf(com.hp.hpl.jena.sparql.expr.ExprList exprs) Return a sub cnf that where each element of a clause contains all variables

Methods inherited from class java.lang.Object

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

Constructor Detail

CnfUtils

public CnfUtils()

Method Detail

normalize

public static <T extends com.hp.hpl.jena.sparql.expr.ExprFunction2> T normalize(T expr)

getConstants

public static Map<com.hp.hpl.jena.sparql.core.Var,com.hp.hpl.jena.graph.Node> getConstants(Iterable<Set<com.hp.hpl.jena.sparql.expr.Expr>> cnf)

toExprList

public static com.hp.hpl.jena.sparql.expr.ExprList toExprList(Iterable<Set<com.hp.hpl.jena.sparql.expr.Expr>> cnf)

main

public static void main(String[] args)

isSubsumedBy

public static boolean isSubsumedBy(Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> cand,
                   Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> ref)

Test if the candidate is subsumed by the reference. This means that the candidate must contain at least all constraints of ref

Parameters:

cand -

ref -

Returns:

toSetCnf

public static Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> toSetCnf(com.hp.hpl.jena.sparql.expr.ExprList exprs)

Return a sub cnf that where each element of a clause contains all variables

Parameters:

clauses -

requiredVars -

Returns:

toSetCnf

public static Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> toSetCnf(com.hp.hpl.jena.sparql.expr.Expr expr)

toClauses

public static List<com.hp.hpl.jena.sparql.expr.ExprList> toClauses(com.hp.hpl.jena.sparql.expr.Expr expr)

toClauses

public static List<com.hp.hpl.jena.sparql.expr.ExprList> toClauses(com.hp.hpl.jena.sparql.expr.ExprList exprs)

cnfToClauses

public static List<com.hp.hpl.jena.sparql.expr.ExprList> cnfToClauses(Iterable<com.hp.hpl.jena.sparql.expr.Expr> exprs)

This method only words if the input expressions are in DNF, otherwise you will likely get junk back.

Parameters:

exprs -

Returns:

collectAnd

public static void collectAnd(com.hp.hpl.jena.sparql.expr.Expr expr,
              List<com.hp.hpl.jena.sparql.expr.ExprList> list)

collectOr

public static void collectOr(com.hp.hpl.jena.sparql.expr.Expr expr,
             com.hp.hpl.jena.sparql.expr.ExprList list)

eval

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

handle

public static com.hp.hpl.jena.sparql.expr.Expr handle(com.hp.hpl.jena.sparql.expr.ExprFunction expr)