sparql

Class CnfUtils

java.lang.Object

sparql.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 com.hp.hpl.jena.sparql.expr.Expr	handle(com.hp.hpl.jena.sparql.expr.ExprFunction expr)
static void	main(String[] args)
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 NestedNormalForm	toCnf(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.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

toCnf

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

main

public static void main(String[] args)

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)