|
JTP API Documentation | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
ValueCollectionListener
with basic functionality for processing direct values and input links
that are added to SlotValueCollections.OptimizedRuleInstantiator.alreadySeen Hashtable.
o is an unasserted
DirectAssertion with a goal that is an instance
of Clause.
o is a Literal;
returns false otherwise.
o is a ReasoningStep;
returns false otherwise.
r to Dispatcher tgt
or an appropriate child dispatcher of tgt.
RDFReasoningContext.loadKB(URL), and query is then passed to RDFReasoningContext.ask(String).
RDFReasoningContext.tellKifString(String).
BasicReasoningContext.tellString(String).
RDFReasoningContext.tellString(String).
Unbind all variables that are keys in the
bindings.
configuration.GregorianCalendar.Literals.FirstOrderLogicParser.Clause in which one of the Literals
in the clause has been selected as a head.Clauses.Clauses that make up this
CNFSentence.
subgoals and
subproofs as this,
but they do not share
lists.
clone is different from this
because this has data members that contain
Unifyables that were
dereferenced in clone.
Clauses.rsi1 and then rsi2.
rsi1, then rsi2, then rsi3.
v is contained within this
Variable.
SubstitutableList that contains
elements of Collection args.
AbstractVCListener
that can instantiate the template given a concrete object as
input.
Literal subgoals which, if
proven, prove the head of this
ClauseOrientation.
RDFParser instead.cl in which Variables in
its literals'
arguments have been replaced by the values that they
are bound to.
l in which all elements
have been dereferenced if possible with
ReasoningStep.deReferenceElement(Object).
inputLiteral in which
Variables in its arguments have been replaced by the values
that they are bound to.
s in which Variables
in its clauses'
literals' arguments have been replaced
by the values that they are bound to.
CNFSentence.ModusPonensReasoner that uses
this as a knowledge store.
before, after, equal-point,
before-or-equal, and after-or-equal.
assertion to the telling reasoners.
Clause
that, as close as possible, indicates what this template
represents in FOL.
RDFReasoningContext.getRDFParser() instead.
AxiomInference if
subproofs
list is empty.
list.
rs is the
root of.
BasicReasoningContext.tellString(String), BasicReasoningContext.tellString(String, URL),
BasicReasoningContext.loadKB(URL, URL), BasicReasoningContext.loadKB(URL),
BasicReasoningContext.getStringAssertionResults(String), and
BasicReasoningContext.ask(String).
bindings
from rs and all of its
child proofs in the proof
tree below it.
goal.
BasicReasoningContext.ask(String).
OWLReasoningContext.disjointnessInconsistencies(),
OWLReasoningContext.equivalenceInconsistencies(),
OWLReasoningContext.exceedsMaxCard0Inconsistencies(),
OWLReasoningContext.nothingInconsistencies(),
OWLReasoningContext.nilItemInconsistencies(), and
OWLReasoningContext.nilRestInconsistencies().
DamlReasoningContext.disjointnessInconsistencies(),
DamlReasoningContext.equivalenceInconsistencies(),
DamlReasoningContext.exceedsMaxCard0Inconsistencies(),
DamlReasoningContext.nothingInconsistencies(),
DamlReasoningContext.nilItemInconsistencies(), and
DamlReasoningContext.nilRestInconsistencies().
Iterator.ReasoningStep and
ReasoningStepIterator as well as utility methods for
ReasoningSteps.ValueLinkCreationReasoningSteps
when it processes values.(<rel> <arg1> <arg2> …) or (not (<rel> <arg1> <arg2> …)).Literals that make up this Clause.
RDFReasoningContext.loadRDFKB(Model, URL).
RDFReasoningContext.loadRDFKB(URL, URL).
Bind Variables that are keys
in bindings map to the values in the
map.
ValueCollection contains the value in
question.src that are acceptable
to tgt into tgt.
instance has been discovered to be an
instance of cl.
TLGraph.OneWayInferredValueReasoningSteps
when it processes values.RuleInstantiator.acceptable(Object)
to reduce the likelihood of OptimizedRuleInstantiator.process(java.lang.Object) getting invoked, thus
(hopefully) optimizing it.lits.
Reader
Reader.
URL
URL
FirstOrderLogicTranslator that uses an auxiliary parser
to do the transformation.PrintStream.o.
ClauseOrientations to knowledge store
corresponding to all
contrapositives of Clause that is the goal of o.
o
in the goal stack.
goal.
cl with n Literals, returns an array
with n ClauseOrientations.
Proof class that specifies and
implements much of the JTP-specific functionality required of proofs
in JTP.subproofs as well.
RelationBasedBCReasoner.RelationBasedFCReasoner.Utils.unify(jtp.fol.Literal, jtp.gmp.ClauseOrientation, java.util.Collection, java.util.List) to pristine condition.
ReasoningSteps.RuleCreationReasoningStep has been installed in a KB
store and is available to backward-chaining reasoners.AskingControlDispatcher.
AskingControlReasoner.
depth.
BasicReasoningContext.getParser().
TellingControlDispatcher.
TellingControlReasoner.
UndoManager.
val.
o is a key in mapping m,
returns value that o is mapped to.
m to substitute arguments of
Literal l that are (or contain) keys of mapping
with values in mapping.
Substitutable and
its subclasses.DirectAssertion with assertion as its goal is
sent to the TellingControlReasoner.
RDFReasoningContext.tellString(String)) as well as forward-chained information.
tell
methods (e.g., BasicReasoningContext.tellString(String)).
TimePoints.TimePoint or CalendarTimePoint).Unbinds each variable in stack.
this with o.
ValueCollectionListeners
when it process values.assertion via the undo manager.
InferredValueReasoningSteps when it
processes values.ValueCollection
should include all of the values in another ValueCollection.s.
variableIndependentEquals.
Variables, returns a Map in which
the keys are the Variables and the values are the Variables'
dereferenced
values.
SubstUtils.variableStackToMap(List, Map)
ValueCollectionListeners
in SlotValueCollections.RDFReasoningContext.writeRDF(Writer, Snapshot, String, Map).
|
JTP API Documentation | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||