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.
|
org.apache.jena.reasoner.transitiveReasoner |
This package contains a reasoner which supports transitive-reflexive closure
of subPropertyOf and subClassOf relations.
|
org.apache.jena.util |
Miscellaneous collection of utility classes.
|
Modifier and Type | Method and Description |
---|---|
boolean |
TriplePattern.compatibleWith(TriplePattern pattern)
Compare two patterns for compatibility - i.e.
|
boolean |
Finder.contains(TriplePattern pattern)
Return true if the given pattern occurs somewhere in the find sequence.
|
boolean |
FGraph.contains(TriplePattern pattern)
Return true if the given pattern occurs somewhere in the find sequence.
|
ExtendedIterator<Triple> |
Finder.find(TriplePattern pattern)
Basic pattern lookup interface.
|
ExtendedIterator<Triple> |
FGraph.find(TriplePattern pattern)
Basic pattern lookup interface.
|
ExtendedIterator<Triple> |
BaseInfGraph.find(TriplePattern pattern)
Basic pattern lookup interface.
|
ExtendedIterator<Triple> |
Finder.findWithContinuation(TriplePattern pattern,
Finder continuation)
Extended find interface used in situations where the implementator
may or may not be able to answer the complete query.
|
ExtendedIterator<Triple> |
FGraph.findWithContinuation(TriplePattern pattern,
Finder continuation)
Extended find interface used in situations where the implementator
may or may not be able to answer the complete query.
|
abstract ExtendedIterator<Triple> |
BaseInfGraph.findWithContinuation(TriplePattern pattern,
Finder continuation)
Extended find interface used in situations where the implementator
may or may not be able to answer the complete query.
|
boolean |
TriplePattern.subsumes(TriplePattern arg)
Compare two patterns and return true if arg is a more
specific (more grounded) version of this one.
|
boolean |
TriplePattern.variantOf(TriplePattern pattern)
Test if a pattern is just a variant of this pattern.
|
Modifier and Type | Method and Description |
---|---|
ExtendedIterator<Triple> |
LPBackwardRuleInfGraph.find(TriplePattern pattern)
Basic pattern lookup interface.
|
ExtendedIterator<Triple> |
FBRuleInfGraph.find(TriplePattern pattern)
Basic pattern lookup interface.
|
ExtendedIterator<Triple> |
BasicForwardRuleInfGraph.find(TriplePattern pattern)
Basic pattern lookup interface.
|
ExtendedIterator<Triple> |
LPBackwardRuleInfGraph.findDataMatches(TriplePattern pattern)
Match a pattern just against the stored data (raw data, schema,
axioms) but no derivation.
|
ExtendedIterator<Triple> |
FBRuleInfGraph.findDataMatches(TriplePattern pattern)
Search the combination of data and deductions graphs for the given triple pattern.
|
ExtendedIterator<Triple> |
BackwardRuleInfGraphI.findDataMatches(TriplePattern pattern)
Match a pattern just against the stored data (raw data, schema,
axioms) but no backchaining derivation.
|
ExtendedIterator<Triple> |
FBRuleInfGraph.findFull(TriplePattern pattern)
Internal variant of find which omits the filters which block illegal RDF data.
|
ExtendedIterator<Triple> |
LPBackwardRuleInfGraph.findWithContinuation(TriplePattern pattern,
Finder continuation)
Extended find interface used in situations where the implementator
may or may not be able to answer the complete query.
|
ExtendedIterator<Triple> |
FBRuleInfGraph.findWithContinuation(TriplePattern pattern,
Finder continuation)
Extended find interface used in situations where the implementator
may or may not be able to answer the complete query.
|
ExtendedIterator<Triple> |
BasicForwardRuleInfGraph.findWithContinuation(TriplePattern pattern,
Finder continuation)
Extended find interface used in situations where the implementator
may or may not be able to answer the complete query.
|
Triple |
BindingEnvironment.instantiate(TriplePattern pattern)
Instantiate a triple pattern against the current environment.
|
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.
|
Modifier and Type | Method and Description |
---|---|
TriplePattern |
BindingVector.partInstantiate(TriplePattern goal)
Bind the variables in a goal pattern using the binding environment, to
generate a more specialized goal
|
Modifier and Type | Method and Description |
---|---|
List<RuleClauseCode> |
LPRuleStore.codeFor(TriplePattern goal)
Return an ordered list of RuleClauseCode objects to implement the given
query pattern.
|
static RETEClauseFilter |
RETEClauseFilter.compile(TriplePattern clause,
int envLength,
List<Node> varList)
Create a filter node from a rule clause.
|
static Triple |
LPInterpreter.deref(TriplePattern t)
Return a dereferenced copy of a triple.
|
ExtendedIterator<Triple> |
LPBRuleEngine.find(TriplePattern goal)
Start a new interpreter running to answer a query.
|
Generator |
LPBRuleEngine.generatorFor(TriplePattern goal)
Return a generator for the given goal (assumes that the caller knows that
the goal should be tabled).
|
Generator |
LPBRuleEngine.generatorFor(TriplePattern goal,
List<RuleClauseCode> clauses)
Return a generator for the given goal (assumes that the caller knows that
the goal should be tabled).
|
Triple |
LPBindingEnvironment.instantiate(TriplePattern pattern)
Instantiate a triple pattern against the current environment.
|
Triple |
BindingVector.instantiate(TriplePattern pattern)
Instantiate a triple pattern against the current environment.
|
Triple |
BindingStack.instantiate(TriplePattern pattern)
Instantiate a triple pattern against the current environment.
|
boolean |
LPRuleStore.isTabled(TriplePattern goal)
Return true if the given goal is tabled, currently this is true if the
predicate is a tabled predicate or the predicate is a wildcard and some
tabled predicates exist.
|
static boolean |
FRuleEngine.match(TriplePattern pattern,
Triple triple,
BindingStack env)
Test if a TriplePattern matches a Triple in the given binding
environment.
|
void |
EnvironmentFrameWithDerivation.noteMatch(TriplePattern pattern,
int pc)
Instantiate and record a matched subgoal
|
TriplePattern |
BindingVector.partInstantiate(TriplePattern goal)
Bind the variables in a goal pattern using the binding environment, to
generate a more specialized goal
|
List<Rule> |
RuleStore.rulesFor(TriplePattern goal)
Return a list of rules that match the given goal pattern
|
static BindingVector |
BindingVector.unify(TriplePattern goal,
TriplePattern head,
int numRuleVars)
Unify a goal with the head of a rule.
|
Constructor and Description |
---|
Generator(LPInterpreter interpreter,
TriplePattern goal)
Constructor.
|
LPInterpreter(LPBRuleEngine engine,
TriplePattern goal)
Constructor used to construct top level calls.
|
LPInterpreter(LPBRuleEngine engine,
TriplePattern goal,
boolean isTop)
Constructor.
|
LPInterpreter(LPBRuleEngine engine,
TriplePattern goal,
List<RuleClauseCode> clauses,
boolean isTop)
Constructor.
|
TopLevelTripleMatchFrame(LPInterpreter interpreter,
TriplePattern goal)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
TransitiveGraphCache.contains(TriplePattern pattern)
Return true if the given pattern occurs somewhere in the find sequence.
|
ExtendedIterator<Triple> |
TransitiveInfGraph.find(TriplePattern pattern)
Basic pattern lookup interface.
|
ExtendedIterator<Triple> |
TransitiveGraphCache.find(TriplePattern pattern)
Basic pattern lookup interface.
|
ExtendedIterator<Triple> |
TransitiveInfGraph.findWithContinuation(TriplePattern pattern,
Finder continuation)
Extended find interface used in situations where the implementator
may or may not be able to answer the complete query.
|
ExtendedIterator<Triple> |
TransitiveGraphCache.findWithContinuation(TriplePattern pattern,
Finder continuation)
Extended find interface used in situations where the implementator
may or may not be able to answer the complete query.
|
Finder |
TransitiveEngine.getFinder(TriplePattern pattern,
Finder continuation)
Return a Finder instance appropriate for the given query.
|
Modifier and Type | Method and Description |
---|---|
static String |
PrintUtil.print(TriplePattern triple)
Return a simplified print string for a TriplePattern
|
Licenced under the Apache License, Version 2.0