Uses of Class
tech.oxfordsemantic.jrdfox.logic.Rule

Packages that use Rule

Package	Description
tech.oxfordsemantic.jrdfox.client
tech.oxfordsemantic.jrdfox.logic

Uses of Rule in tech.oxfordsemantic.jrdfox.client

Methods in tech.oxfordsemantic.jrdfox.client that return Rule

Modifier and Type	Method	Description
Rule	RuleInfo.getRule()	Returns the rule in question.

Methods in tech.oxfordsemantic.jrdfox.client with parameters of type Rule

Modifier and Type	Method	Description
long	DataStoreConnection.addRule(Rule rule)	Adds a rule to the data store.
long	DataStoreConnection.deleteRule(Rule rule)	Deletes a rule to the data store.

Method parameters in tech.oxfordsemantic.jrdfox.client with type arguments of type Rule

Modifier and Type	Method	Description
long	DataStoreConnection.addRules(java.util.Collection<Rule> datalogProgram)	Adds a collection of rules to the data store.
long	DataStoreConnection.deleteRules(java.util.Collection<Rule> datalogProgram)	Deletes a collection of rules to the data store.

Constructors in tech.oxfordsemantic.jrdfox.client with parameters of type Rule

Constructor	Description
RuleInfo(Rule rule, boolean hasNegation, boolean hasAggregation, boolean addedInternally, boolean addedByUser, boolean addedByAxioms)

Uses of Rule in tech.oxfordsemantic.jrdfox.logic

Fields in tech.oxfordsemantic.jrdfox.logic declared as Rule

Modifier and Type	Field	Description
static Rule[]	Rule.NO_RULES

Methods in tech.oxfordsemantic.jrdfox.logic that return Rule

Modifier and Type	Method	Description
static Rule	Rule.create(java.util.List<Atom> head, java.util.List<BodyFormula> body)
static Rule	Rule.create(Atom[] head, BodyFormula[] body)
static Rule	Rule.create(Atom head, java.util.List<BodyFormula> body)
static Rule	Rule.create(Atom head, BodyFormula... body)
Rule	Rule.replaceHead(Atom newHeadAtom)
Rule	Rule.simplify()

Methods in tech.oxfordsemantic.jrdfox.logic with parameters of type Rule

Modifier and Type	Method	Description
E	LogicVisitor.visit(Rule object)