Package | Description |
---|---|
org.apache.jena.reasoner |
The Jena2 reasoner subsystem is designed to allow a range of inference
engines to be plugged into Jena.
|
org.apache.jena.reasoner.rulesys |
Provides a selection of simple rule engines for Jena inference models.
|
org.apache.jena.reasoner.rulesys.impl |
Internal implementation objects used by the rule system interpreters
and compilers.
|
Modifier and Type | Class and Description |
---|---|
class |
TriplePattern
Datastructure which defines a triple pattern as used in simple
rules and in find interfaces.
|
Modifier and Type | Class and Description |
---|---|
class |
Functor
A functor comprises a functor name and a list of
arguments.
|
class |
Rule
Representation of a generic inference rule.
|
Modifier and Type | Method and Description |
---|---|
ClauseEntry[] |
Rule.getBody()
return the entire rule body as an array of objects
|
ClauseEntry |
Rule.getBodyElement(int n)
Return the n'th body element
|
ClauseEntry[] |
Rule.getHead()
return the entire rule head as an array of objects
|
ClauseEntry |
Rule.getHeadElement(int n)
Return the n'th head element
|
Modifier and Type | Method and Description |
---|---|
boolean |
FBRuleInfGraph.processBuiltin(ClauseEntry clause,
Rule rule,
BindingEnvironment env)
Process a call to a builtin predicate
|
boolean |
LPBackwardRuleInfGraph.processBuiltin(ClauseEntry clause,
Rule rule,
BindingEnvironment env)
Process a call to a builtin predicate
|
boolean |
BackwardRuleInfGraphI.processBuiltin(ClauseEntry clause,
Rule rule,
BindingEnvironment env)
Process a call to a builtin predicate
|
Constructor and Description |
---|
Rule(String name,
ClauseEntry[] head,
ClauseEntry[] body)
Constructor
|
Rule(String name,
ClauseEntry[] head,
ClauseEntry[] body)
Constructor
|
Constructor and Description |
---|
Rule(List<ClauseEntry> head,
List<ClauseEntry> body)
Constructor
|
Rule(List<ClauseEntry> head,
List<ClauseEntry> body)
Constructor
|
Rule(String name,
List<ClauseEntry> head,
List<ClauseEntry> body)
Constructor
|
Rule(String name,
List<ClauseEntry> head,
List<ClauseEntry> body)
Constructor
|
Modifier and Type | Class and Description |
---|---|
class |
MutableTriplePattern
Variant of the normal TriplePattern object which can be updated in place
to avoid store turn over.
|
Licenced under the Apache License, Version 2.0