org.aksw.jena_sparql_api.utils

Class DnfUtils

java.lang.Object

org.aksw.jena_sparql_api.utils.DnfUtils

public class DnfUtils
extends Object

Constructor Summary

Constructors

Constructor and Description
DnfUtils()

Method Summary

Methods

Modifier and Type	Method and Description
static void	addConstantConstraint(Map<com.hp.hpl.jena.sparql.core.Var,com.hp.hpl.jena.sparql.expr.NodeValue> map, org.aksw.commons.util.Pair<com.hp.hpl.jena.sparql.core.Var,com.hp.hpl.jena.sparql.expr.NodeValue> constraint)
static void	addConstantConstraint(Map<com.hp.hpl.jena.sparql.core.Var,com.hp.hpl.jena.sparql.expr.NodeValue> map, com.hp.hpl.jena.sparql.core.Var var, com.hp.hpl.jena.sparql.expr.NodeValue nodeValue)
static com.hp.hpl.jena.sparql.expr.Expr	andifyLeftSided(com.hp.hpl.jena.sparql.expr.ExprList exprs) Concatenates the sub exressions using Logical_And and(and(and(0, 1), 2, 3)
static void	collectAnd(com.hp.hpl.jena.sparql.expr.Expr expr, com.hp.hpl.jena.sparql.expr.ExprList list)
static void	collectOr(com.hp.hpl.jena.sparql.expr.Expr expr, List<com.hp.hpl.jena.sparql.expr.ExprList> list)
static boolean	containsDirectFuncChild(com.hp.hpl.jena.sparql.expr.Expr expr, Class<?> clazz)
static List<com.hp.hpl.jena.sparql.expr.ExprList>	dnfToClauses(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 com.hp.hpl.jena.sparql.expr.Expr	dnfToExpr(Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> dnf, boolean skipUnsatisfiable)
static com.hp.hpl.jena.sparql.expr.Expr	eval(com.hp.hpl.jena.sparql.expr.Expr expr)
static com.hp.hpl.jena.sparql.expr.ExprList	eval(com.hp.hpl.jena.sparql.expr.ExprList exprs)
static Map<com.hp.hpl.jena.sparql.core.Var,com.hp.hpl.jena.sparql.expr.NodeValue>	extractConstantConstraints(Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> dnf) For each clause determine the constant constraints, and return those, that are common to all clauses.
static com.hp.hpl.jena.sparql.expr.Expr	handle(com.hp.hpl.jena.sparql.expr.ExprFunction expr)
static boolean	isSatisfiable(Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> dnf)
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 com.hp.hpl.jena.sparql.expr.Expr	toExpr(List<List<com.hp.hpl.jena.sparql.expr.Expr>> ors)
static Set<Set<com.hp.hpl.jena.sparql.expr.Expr>>	toSetDnf(com.hp.hpl.jena.sparql.expr.Expr expr)

Methods inherited from class java.lang.Object

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

Constructor Detail

DnfUtils

public DnfUtils()

Method Detail

main

public static void main(String[] args)

toExpr

public static com.hp.hpl.jena.sparql.expr.Expr toExpr(List<List<com.hp.hpl.jena.sparql.expr.Expr>> ors)

addConstantConstraint

public static void addConstantConstraint(Map<com.hp.hpl.jena.sparql.core.Var,com.hp.hpl.jena.sparql.expr.NodeValue> map,
                         org.aksw.commons.util.Pair<com.hp.hpl.jena.sparql.core.Var,com.hp.hpl.jena.sparql.expr.NodeValue> constraint)

addConstantConstraint

public static void addConstantConstraint(Map<com.hp.hpl.jena.sparql.core.Var,com.hp.hpl.jena.sparql.expr.NodeValue> map,
                         com.hp.hpl.jena.sparql.core.Var var,
                         com.hp.hpl.jena.sparql.expr.NodeValue nodeValue)

extractConstantConstraints

public static Map<com.hp.hpl.jena.sparql.core.Var,com.hp.hpl.jena.sparql.expr.NodeValue> extractConstantConstraints(Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> dnf)

For each clause determine the constant constraints, and return those, that are common to all clauses.

Parameters:

dnf -

toSetDnf

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

isSatisfiable

public static boolean isSatisfiable(Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> dnf)

dnfToExpr

public static com.hp.hpl.jena.sparql.expr.Expr dnfToExpr(Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> dnf,
                                         boolean skipUnsatisfiable)

andifyLeftSided

public static com.hp.hpl.jena.sparql.expr.Expr andifyLeftSided(com.hp.hpl.jena.sparql.expr.ExprList exprs)

Concatenates the sub exressions using Logical_And and(and(and(0, 1), 2, 3)

Parameters:

exprs -

Returns:

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)

dnfToClauses

public static List<com.hp.hpl.jena.sparql.expr.ExprList> dnfToClauses(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,
              com.hp.hpl.jena.sparql.expr.ExprList list)

collectOr

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

eval

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

eval

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

containsDirectFuncChild

public static boolean containsDirectFuncChild(com.hp.hpl.jena.sparql.expr.Expr expr,
                              Class<?> clazz)

handle

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