Uses of Interface jtp.ReasoningStepIterator (JTP API Documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

JTP API Documentation

PREV NEXT

FRAMES NO FRAMES

Uses of Interface
jtp.ReasoningStepIterator

Packages that use ReasoningStepIterator
jtp	Provides the basic, most general classes of the JTP architecture.
jtp.classifier
jtp.context	Provides a basic configuration and interface for JTP.
jtp.context.daml	Provides a DAML+OIL configuration and interface for JTP.
jtp.context.owl
jtp.context.rdf
jtp.demod
jtp.disp
jtp.frame
jtp.frame.fc
jtp.frame.listen
jtp.frame.listen.dl
jtp.func
jtp.gmp	Provides a knowledge store for Clauses and Generalized Modus Ponens reasoning capability.
jtp.modelim	Contains general-purpose reasoners, including a telling control reasoner, an asking control reasoner, and reasoners that implement the model elimination procedure.
jtp.proof.transform
jtp.rs	Contains important subclasses of `ReasoningStep` and `ReasoningStepIterator` as well as utility methods for ReasoningSteps.
jtp.time	Implements reasoners and classes that allow JTP to reason about temporal information in a KB.
jtp.ui

Uses of ReasoningStepIterator in jtp

Methods in jtp that return ReasoningStepIterator

ReasoningStepIterator Reasoner.process(Object goal)
This method attempts to find proof for the goal.

Uses of ReasoningStepIterator in jtp.classifier

Methods in jtp.classifier that return ReasoningStepIterator

ReasoningStepIterator ClassifierTellingReasoner.process(Object o)

Uses of ReasoningStepIterator in jtp.context

Methods in jtp.context that return ReasoningStepIterator

ReasoningStepIterator IterativeDeepening.process(Object goal)


ReasoningStepIterator BasicReasoningContext.getStringAssertionResults(String assertion)
          Asserts to the telling reasoners the clauses encoded in a String.

ReasoningStepIterator BasicReasoningContext.getAssertionResults(DirectAssertion assertion)
          Asserts assertion to the telling reasoners.

ReasoningStepIterator BasicReasoningContext.ask(String query)
          Submits a query.

Uses of ReasoningStepIterator in jtp.context.daml

Methods in jtp.context.daml that return ReasoningStepIterator

ReasoningStepIterator DamlReasoningContext.inconsistencies()
          Compiles all of the inconsistencies found by DamlReasoningContext.disjointnessInconsistencies(), DamlReasoningContext.equivalenceInconsistencies(), DamlReasoningContext.exceedsMaxCard0Inconsistencies(), DamlReasoningContext.nothingInconsistencies(), DamlReasoningContext.nilItemInconsistencies(), and DamlReasoningContext.nilRestInconsistencies().

ReasoningStepIterator DamlReasoningContext.disjointnessInconsistencies()
          Checks for objects in the knowledge base that are inconsistent because they are instances of disjoint classes.

ReasoningStepIterator DamlReasoningContext.equivalenceInconsistencies()
          Checks for pairs of objects in the knowledge base that are inconsistent because they are asserted or inferred to be both equivalent to and distinct from each other.

ReasoningStepIterator DamlReasoningContext.exceedsMaxCard0Inconsistencies()
          Checks for objects in the knowledge base that are inconsistent because they are restricted to have zero values of a particular type for a particular property, but they violate this restriction.

ReasoningStepIterator DamlReasoningContext.nothingInconsistencies()
          Checks for objects in the knowledge base that are inconsistent because they have been asserted or inferred to be a member of the empty class (daml:Nothing).

ReasoningStepIterator DamlReasoningContext.nilItemInconsistencies()
          Checks for objects in the knowledge base that are inconsistent because they have been asserted or inferred to be an item in the empty list (daml:nil).

ReasoningStepIterator DamlReasoningContext.nilRestInconsistencies()
          Checks for objects in the knowledge base that are inconsistent because they have been asserted or inferred to be a continuation (daml:rest) of the empty list (daml:nil).

Uses of ReasoningStepIterator in jtp.context.owl

Methods in jtp.context.owl that return ReasoningStepIterator

ReasoningStepIterator OWLReasoningContext.inconsistencies()
          Compiles all of the inconsistencies found by OWLReasoningContext.disjointnessInconsistencies(), OWLReasoningContext.equivalenceInconsistencies(), OWLReasoningContext.exceedsMaxCard0Inconsistencies(), OWLReasoningContext.nothingInconsistencies(), OWLReasoningContext.nilItemInconsistencies(), and OWLReasoningContext.nilRestInconsistencies().

ReasoningStepIterator OWLReasoningContext.disjointnessInconsistencies()
          Checks for objects in the knowledge base that are inconsistent because they are instances of disjoint classes.

ReasoningStepIterator OWLReasoningContext.equivalenceInconsistencies()
          Checks for pairs of objects in the knowledge base that are inconsistent because they are asserted or inferred to be both equivalent to and distinct from each other.

ReasoningStepIterator OWLReasoningContext.exceedsMaxCard0Inconsistencies()
          Checks for objects in the knowledge base that are inconsistent because they are restricted to have zero values for a particular property, but they violate this restriction.

ReasoningStepIterator OWLReasoningContext.nothingInconsistencies()
          Checks for objects in the knowledge base that are inconsistent because they have been asserted or inferred to be a member of the empty class (owl:Nothing).

ReasoningStepIterator OWLReasoningContext.nilItemInconsistencies()
          Checks for objects in the knowledge base that are inconsistent because they have been asserted or inferred to be an item in the empty list (rdf:nil).

ReasoningStepIterator OWLReasoningContext.nilRestInconsistencies()
          Checks for objects in the knowledge base that are inconsistent because they have been asserted or inferred to be a continuation (rdf:rest) of the empty list (rdf:nil).

Uses of ReasoningStepIterator in jtp.context.rdf

Methods in jtp.context.rdf that return ReasoningStepIterator

ReasoningStepIterator RDFReasoningContext.ask(URL premise, String query)
          Premise is loaded with RDFReasoningContext.loadKB(URL), and query is then passed to RDFReasoningContext.ask(String).

ReasoningStepIterator RDFReasoningContext.ask(String query)
          Submits a KIF-formatted query.

ReasoningStepIterator RDFReasoningContext.inconsistencies()

Uses of ReasoningStepIterator in jtp.demod

Methods in jtp.demod that return ReasoningStepIterator

ReasoningStepIterator ForwardChainingDemodulationProxy.process(Object assertion)


ReasoningStepIterator DemodulationReasoner.process(Object o)


ReasoningStepIterator DemodulatingProxy.process(Object goal)

Uses of ReasoningStepIterator in jtp.disp

Methods in jtp.disp that return ReasoningStepIterator

ReasoningStepIterator SequentialDispatcher.process(Object o)


ReasoningStepIterator RelationBasedFCDispatcher.process(Object o)


ReasoningStepIterator RelationBasedDispatcher.process(Literal lit, Object o)


ReasoningStepIterator RelationBasedBCDispatcher.process(Object o)

Uses of ReasoningStepIterator in jtp.frame

Classes in jtp.frame that implement ReasoningStepIterator

static class SlotValueAskingReasoner.LinkResolvingReasoningStepIterator
a reasoning step iterator based on the supplied collection of ValueLinks.

Uses of ReasoningStepIterator in jtp.frame.fc

Methods in jtp.frame.fc that return ReasoningStepIterator

protected ReasoningStepIterator UnrollingRuleAction.prepareResult(ReasoningStep input, List subSteps, List varStack)


protected ReasoningStepIterator TrueLinkRuleAction.prepareResult(ReasoningStep input, List subSteps, List varStack)


ReasoningStepIterator TrueLinkCreator.process(Object o)


ReasoningStepIterator SimpleRuleCreator.process(Object o)


ReasoningStepIterator RuleUnroller.process(Object o)


ReasoningStepIterator PredefinedActionCreator.process(Object o)


ReasoningStepIterator OptimizedRuleInstantiator.process(Object o)


protected ReasoningStepIterator InconsistencyRuleAction.prepareResult(ReasoningStep input, List subSteps, List varStack)


ReasoningStepIterator InconsistencyActionCreator.process(Object o)


ReasoningStepIterator EquivalenceEnforcer.process(Object o)


ReasoningStepIterator EquivalenceEnforcer.processEquivalence(Object from, Object to, ReasoningStep grounds)


ReasoningStepIterator EquivalenceDemonstrator.process(Object g)


ReasoningStepIterator RuleClauseAndTriggerInstaller.process(Object o)


ReasoningStepIterator RuleInstantiator.process(Object o)


ReasoningStepIterator NewRuleConsequences.process(Object o)


ReasoningStepIterator BackwardChainingStorage.process(Object o)


protected abstract ReasoningStepIterator BlendingRuleAction.prepareResult(ReasoningStep input, List subSteps, List varStack)


ReasoningStepIterator BlendingRuleAction.process(Object o)

Uses of ReasoningStepIterator in jtp.frame.listen

Methods in jtp.frame.listen that return ReasoningStepIterator

ReasoningStepIterator VCListenerCreator.process(Object o)

Uses of ReasoningStepIterator in jtp.frame.listen.dl

Methods in jtp.frame.listen.dl that return ReasoningStepIterator

ReasoningStepIterator IntersectionTypeReasoner.process(Object o)

Uses of ReasoningStepIterator in jtp.func

Methods in jtp.func that return ReasoningStepIterator

ReasoningStepIterator Unprovable.process(Object gobj)


ReasoningStepIterator InEqual.process(Object gob)


ReasoningStepIterator GetSetof.process(Object sobj)


ReasoningStepIterator ForIn.process(Object gob)


ReasoningStepIterator EvaluableFunctionReasoner.process(Object o)


ReasoningStepIterator Equals.process(Object gob)


static ReasoningStepIterator Equals.compare(Literal s, boolean polarity, boolean withUNA)

Uses of ReasoningStepIterator in jtp.gmp

Classes in jtp.gmp that implement ReasoningStepIterator

class ModusPonensRecycler
An iterator over partial proofs for a particular goal.

Methods in jtp.gmp that return ReasoningStepIterator

ReasoningStepIterator ModusPonensReasoner.process(Object o)
Returns an iterator over partial proofs of the goal o.

ReasoningStepIterator ClauseOrientationKB.process(Object o)
Adds ClauseOrientations to knowledge store corresponding to all contrapositives of Clause that is the goal of o.

Uses of ReasoningStepIterator in jtp.modelim

Classes in jtp.modelim that implement ReasoningStepIterator

protected class ModelEliminationReasoner.ProofCollector

Methods in jtp.modelim that return ReasoningStepIterator

ReasoningStepIterator ModelEliminationReasoner.process(Object goal)


ReasoningStepIterator LinearReductionReasoner.process(Object o)
          Attempts to find the negation of o in the goal stack.

ReasoningStepIterator BreadthFirstForwardReasoner.process(Object o)
          Processes an assertion and its derived consequences.

ReasoningStepIterator AskingQueryProcessor.process(Object o)


ReasoningStepIterator AncestorCycleCutReasoner.process(Object goal)
          Attempts to find a goal on the goal stack that is identical to goal.

Uses of ReasoningStepIterator in jtp.proof.transform

Methods in jtp.proof.transform that return ReasoningStepIterator

ReasoningStepIterator ProofTransformingReasonerProxy.process(Object goal)

Uses of ReasoningStepIterator in jtp.rs

Classes in jtp.rs that implement ReasoningStepIterator

class ArrayReasoningStepIterator
          An iterator over the ReasoningSteps in an array.

class DefaultReasoningStepCollector


class IteratorBasedReasoningStepIterator
          A ReasoningStepIterator backed by a Java Iterator.

Fields in jtp.rs declared as ReasoningStepIterator

static ReasoningStepIterator ArrayReasoningStepIterator.empty

Methods in jtp.rs that return ReasoningStepIterator

ReasoningStepIterator TranslatingProxyReasoner.process(Object o)


static ReasoningStepIterator RSUtils.concatenate(ReasoningStepIterator rsi1, ReasoningStepIterator rsi2)
          Given two ReasoningStepIterators, returns a single ReasoningStepIterator that iterates over all ReasoningSteps in rsi1 and then rsi2.

static ReasoningStepIterator RSUtils.concatenate(ReasoningStepIterator rsi1, ReasoningStepIterator rsi2, ReasoningStepIterator rsi3)
          Given three ReasoningStepIterators, returns a single ReasoningStepIterator that iterates over all ReasoningSteps in rsi1, then rsi2, then rsi3.

static ReasoningStepIterator RSUtils.concatenate(ReasoningStepIterator[] rss)
          Given an array of ReasoningStepIterators, returns a single ReasoningStepIterator that iterates over all ReasoningSteps in each ReasoningStepIterator of the array in order.

ReasoningStepIterator DefaultTranslationReasoner.process(Object goal)

Methods in jtp.rs with parameters of type ReasoningStepIterator

static String RSUtils.printReasoningStepIterator(ReasoningStepIterator rsi, String prefix)
          Creates a String representation of a ReasoningStepIterator.

static ReasoningStepIterator RSUtils.concatenate(ReasoningStepIterator rsi1, ReasoningStepIterator rsi2)
          Given two ReasoningStepIterators, returns a single ReasoningStepIterator that iterates over all ReasoningSteps in rsi1 and then rsi2.

static ReasoningStepIterator RSUtils.concatenate(ReasoningStepIterator rsi1, ReasoningStepIterator rsi2)
          Given two ReasoningStepIterators, returns a single ReasoningStepIterator that iterates over all ReasoningSteps in rsi1 and then rsi2.

static ReasoningStepIterator RSUtils.concatenate(ReasoningStepIterator rsi1, ReasoningStepIterator rsi2, ReasoningStepIterator rsi3)
          Given three ReasoningStepIterators, returns a single ReasoningStepIterator that iterates over all ReasoningSteps in rsi1, then rsi2, then rsi3.

static ReasoningStepIterator RSUtils.concatenate(ReasoningStepIterator rsi1, ReasoningStepIterator rsi2, ReasoningStepIterator rsi3)
          Given three ReasoningStepIterators, returns a single ReasoningStepIterator that iterates over all ReasoningSteps in rsi1, then rsi2, then rsi3.

static ReasoningStepIterator RSUtils.concatenate(ReasoningStepIterator rsi1, ReasoningStepIterator rsi2, ReasoningStepIterator rsi3)
          Given three ReasoningStepIterators, returns a single ReasoningStepIterator that iterates over all ReasoningSteps in rsi1, then rsi2, then rsi3.

static ReasoningStepIterator RSUtils.concatenate(ReasoningStepIterator[] rss)
          Given an array of ReasoningStepIterators, returns a single ReasoningStepIterator that iterates over all ReasoningSteps in each ReasoningStepIterator of the array in order.

Uses of ReasoningStepIterator in jtp.time

Methods in jtp.time that return ReasoningStepIterator

ReasoningStepIterator TimePointKnowledgeStore.AskingReasoner.process(Object o)


protected ReasoningStepIterator TimePointKnowledgeStore.AskingReasoner.processLocationQuery(Literal goal, DemodulationReasoningStep drs)


protected ReasoningStepIterator TimePointKnowledgeStore.AskingReasoner.processPointRelationQuery(Literal goal, DemodulationReasoningStep drs)


ReasoningStepIterator TimePointKnowledgeStore.TellingReasoner.process(Object o)

Uses of ReasoningStepIterator in jtp.ui

Methods in jtp.ui with parameters of type ReasoningStepIterator

static String AnswerUtil.printProof(ReasoningStepIterator rsi, String padding)