Modifier and Type | Method and Description |
---|---|
Formula |
DatabaseQuery.getFormula() |
Modifier and Type | Method and Description |
---|---|
ResultList |
ReadableDatabase.executeGroundingQuery(Formula formula)
Like executeQuery(), but specifically for grounding queries.
|
static void |
DatabaseQuery.validate(Formula formula) |
Constructor and Description |
---|
DatabaseQuery(Formula formula) |
DatabaseQuery(Formula formula,
boolean distinct) |
Modifier and Type | Method and Description |
---|---|
ResultList |
AtomManager.executeGroundingQuery(Formula formula)
Calls
ReadableDatabase.executeGroundingQuery(Formula) on the
encapsulated Database. |
Modifier and Type | Method and Description |
---|---|
static Formula |
OptimalCover.computeOptimalCover(Formula baseFormula,
RDBMSDataStore dataStore)
Given a querable formula (see DatabaseQuery), find a fomula that will return the same variable assignments,
but while minimizing joins and intermitent result set size.
|
Modifier and Type | Method and Description |
---|---|
static Formula |
OptimalCover.computeOptimalCover(Formula baseFormula,
RDBMSDataStore dataStore)
Given a querable formula (see DatabaseQuery), find a fomula that will return the same variable assignments,
but while minimizing joins and intermitent result set size.
|
ResultList |
RDBMSDatabase.executeGroundingQuery(Formula formula) |
com.healthmarketscience.sqlbuilder.SelectQuery |
Formula2SQL.getQuery(Formula formula) |
String |
Formula2SQL.getSQL(Formula formula) |
Modifier and Type | Class and Description |
---|---|
class |
Atom
|
class |
GroundAtom
An Atom with only
GroundTerms for arguments. |
class |
ObservedAtom
A
GroundAtom with a fixed truth value. |
class |
QueryAtom
An Atom that can be used in a query, but does not have a truth value.
|
class |
RandomVariableAtom
A
GroundAtom with a truth value which can be modified. |
Modifier and Type | Method and Description |
---|---|
Formula |
Atom.flatten() |
Formula |
Atom.getDNF() |
Modifier and Type | Class and Description |
---|---|
class |
AbstractBranchFormula<T extends AbstractBranchFormula<T>>
An abstract branching formula.
|
class |
Conjunction |
class |
Disjunction |
class |
Implication |
class |
Negation
This class implements fuzzy negation.
|
Modifier and Type | Field and Description |
---|---|
protected Formula |
Implication.body
The fuzzy singletons that constitute the body of the rule
|
protected Formula[] |
AbstractBranchFormula.formulas |
protected Formula |
Implication.head
The fuzzy singleton that is the head of the rule
|
Modifier and Type | Method and Description |
---|---|
Formula |
AbstractBranchFormula.flatten() |
Formula |
Negation.flatten() |
Formula |
Formula.flatten()
Collapses nested formulas of the same type and remove duplicates at the top level.
|
Formula |
Implication.flatten() |
Formula |
AbstractBranchFormula.get(int pos) |
Formula |
Implication.getBody() |
Formula |
Disjunction.getDNF() |
Formula |
Conjunction.getDNF() |
Formula |
Negation.getDNF() |
Formula |
Formula.getDNF() |
Formula |
Implication.getDNF() |
Formula |
FormulaAnalysis.getFormula() |
Formula |
Negation.getFormula() |
Formula |
Implication.getHead() |
Formula |
FormulaAnalysis.DNFClause.getQueryFormula() |
Constructor and Description |
---|
AbstractBranchFormula(Formula... f) |
Conjunction(Formula... f) |
Disjunction(Formula... f) |
FormulaAnalysis(Formula formula) |
Implication(Formula body,
Formula head) |
Negation(Formula f) |
Modifier and Type | Field and Description |
---|---|
protected Map<SummationVariable,Formula> |
AbstractArithmeticRule.filters |
Constructor and Description |
---|
AbstractArithmeticRule(ArithmeticRuleExpression expression,
Map<SummationVariable,Formula> filterClauses,
String name) |
UnweightedArithmeticRule(ArithmeticRuleExpression expression,
Map<SummationVariable,Formula> filterClauses) |
UnweightedArithmeticRule(ArithmeticRuleExpression expression,
Map<SummationVariable,Formula> filterClauses,
String name) |
WeightedArithmeticRule(ArithmeticRuleExpression expression,
Map<SummationVariable,Formula> filterClauses,
double weight,
boolean squared) |
WeightedArithmeticRule(ArithmeticRuleExpression expression,
Map<SummationVariable,Formula> filterClauses,
double weight,
boolean squared,
String name) |
Modifier and Type | Method and Description |
---|---|
Formula |
ArithmeticRuleExpression.getQueryFormula()
Get a formula that can be used in a DatabaseQuery to fetch all the possibilites.
|
Modifier and Type | Field and Description |
---|---|
protected Formula |
AbstractLogicalRule.formula |
Modifier and Type | Method and Description |
---|---|
Formula |
AbstractLogicalRule.getFormula() |
Modifier and Type | Method and Description |
---|---|
protected abstract GroundRule |
AbstractGroundLogicalRule.instantiateNegatedGroundRule(Formula disjunction,
List<GroundAtom> positiveAtoms,
List<GroundAtom> negativeAtoms,
String name) |
protected GroundRule |
WeightedGroundLogicalRule.instantiateNegatedGroundRule(Formula disjunction,
List<GroundAtom> positiveAtoms,
List<GroundAtom> negativeAtoms,
String name) |
protected GroundRule |
UnweightedGroundLogicalRule.instantiateNegatedGroundRule(Formula disjunction,
List<GroundAtom> positiveAtoms,
List<GroundAtom> negativeAtoms,
String name) |
Constructor and Description |
---|
AbstractLogicalRule(Formula formula,
String name) |
UnweightedLogicalRule(Formula f) |
UnweightedLogicalRule(Formula f,
String name) |
WeightedLogicalRule(Formula f,
double weight,
boolean squared) |
WeightedLogicalRule(Formula f,
double weight,
boolean squared,
String name) |
Constructor and Description |
---|
RulePartial(ArithmeticRuleExpression arithmeticExpression,
Map<SummationVariable,Formula> filters) |
Copyright © 2018 University of California, Santa Cruz. All rights reserved.