JTP API Documentation

Serialized Form


Package jtp

Class jtp.Cut implements Serializable

Class jtp.DirectAssertion implements Serializable

Serialized Fields

message

String message

kbLocation

URL kbLocation

asserted

boolean asserted

Class jtp.InconsistencyException implements Serializable

Serialized Fields

proof

ReasoningStep proof

Class jtp.ReasoningException implements Serializable

Serialized Fields

reasoner

Reasoner reasoner
the reasoner that experienced the exception

Class jtp.ReasoningStep implements Serializable


Package jtp.classifier

Class jtp.classifier.ClassifierTellingReasoner implements Serializable

Serialized Fields

_kb

Kb _kb

_acceptableRelations

Set _acceptableRelations

_primarySubclassRelation

Symbol _primarySubclassRelation

_primaryEquivalenceRelation

Symbol _primaryEquivalenceRelation

_listItemRelation

Symbol _listItemRelation

_subclassRelations

Collection _subclassRelations

_equivalenceRelations

Collection _equivalenceRelations

_conjunctiveRelations

Collection _conjunctiveRelations

_disjunctiveRelations

Collection _disjunctiveRelations

Class jtp.classifier.SubsumptionProofStep implements Serializable


Package jtp.context

Class jtp.context.BasicReasoningContext implements Serializable

Serialized Fields

askingReasoner

Reasoner askingReasoner

tellingReasoner

Reasoner tellingReasoner

askingDispatcher

Dispatcher askingDispatcher

tellingDispatcher

Dispatcher tellingDispatcher

intermediateResultDispatcher

Dispatcher intermediateResultDispatcher

parser

FirstOrderLogicParser parser

translator

ParserBasedTranslator translator

tracer

Tracer tracer

maxDepth

int maxDepth

Class jtp.context.IterativeDeepening implements Serializable

Serialized Fields

dm

IterativeDeepening.Monitor dm

maxIterationDepth

int maxIterationDepth

startingDepth

int startingDepth

minSolutionDepth

int minSolutionDepth

trimShallowSolutions

boolean trimShallowSolutions

trimDeepSolutions

boolean trimDeepSolutions

tracer

Tracer tracer

theoremProver

Reasoner theoremProver


Package jtp.context.rdf

Class jtp.context.rdf.RDFReasoningContext implements Serializable

Serialized Fields

rdfParser

jtp.fol.rdf.RDFParser rdfParser

kifParser

KIF2CNF kifParser

idr

IterativeDeepening idr

modelCreator

RDFModelCreator modelCreator


Package jtp.context.owl

Class jtp.context.owl.OWLReasoningContext implements Serializable

Serialized Fields

intersectionTypeReasoner

IntersectionTypeReasoner intersectionTypeReasoner

classifierTellingReasoner

ClassifierTellingReasoner classifierTellingReasoner


Package jtp.context.daml

Class jtp.context.daml.DamlReasoningContext implements Serializable

Serialized Fields

intersectionTypeReasoner

IntersectionTypeReasoner intersectionTypeReasoner

classifierTellingReasoner

ClassifierTellingReasoner classifierTellingReasoner

damlParser

DAMLParser damlParser

Class jtp.context.daml.TemporalReasoningContext implements Serializable


Package jtp.demod

Class jtp.demod.DemodulationReasoningStep implements Serializable

Serialized Fields

substMap

Map substMap


Package jtp.disp

Class jtp.disp.AbstractRelationBasedBCReasoner implements Serializable

Class jtp.disp.AbstractRelationBasedFCReasoner implements Serializable


Package jtp.fol

Class jtp.fol.DefaultClause implements Serializable

Serialized Fields

literals

Collection literals

Class jtp.fol.DefaultCNFSentence implements Serializable

Serialized Fields

clauses

Collection clauses

Class jtp.fol.DefaultLiteral implements Serializable

Serialized Fields

polarity

boolean polarity

relation

Symbol relation

args

SubstitutableList args

Class jtp.fol.SubstitutableList implements Serializable

Serialized Fields

args

Object[] args
the array where the variables are stored

Class jtp.fol.Symbol implements Serializable

Serialization Methods

readResolve

private Object readResolve()
this method is called when a Symbol is de-serialized. It replaces the brand-new symbol created by the deserialization process with the canonical symbol for this package and name. More on this here.

Serialized Fields

name

String name

pkg

String pkg

Class jtp.fol.UnifyableList implements Serializable

Class jtp.fol.Variable implements Serializable

Serialized Fields

serialNumber

long serialNumber

value

Object value

name

String name


Package jtp.fol.kif

Class jtp.fol.kif.SymbolFormat implements Serializable

Serialized Fields

packageNameSpaceMap

Map packageNameSpaceMap

inversePackageNameSpaceMap

Map inversePackageNameSpaceMap


Package jtp.fol.parser

Class jtp.fol.parser.ParsingException implements Serializable

Serialized Fields

cause

Throwable cause


Package jtp.frame

Class jtp.frame.EnumeratingReasoner.ProofStep implements Serializable

Class jtp.frame.FrameKB implements Serializable

Serialized Fields

la

LinkAsserter la

direct

Map direct

templates

Map templates

inverse

Map inverse

key

ArrayList key

Class jtp.frame.InferredValueReasoningStep implements Serializable

Class jtp.frame.LinkAsserter implements Serializable

Serialized Fields

redundancyCheckDepth

int redundancyCheckDepth

fkb

FrameKB fkb

Class jtp.frame.LinkAsserter.UndoInsert implements Serializable

Serialized Fields

link

ValueLink link

Class jtp.frame.LinkAsserter.UndoRemove implements Serializable

Serialized Fields

link

ValueLink link

Class jtp.frame.OneWayInferredValueReasoningStep implements Serializable

Serialized Fields

inverse

boolean inverse

Class jtp.frame.SlotValueCollection implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException
Serialized Fields

facet

Symbol facet

slot

Symbol slot

frame

Object frame

links

Collection links

outLinks

Collection outLinks

inverse

boolean inverse

Class jtp.frame.ValueLinkCreationReasoningStep implements Serializable

Serialized Fields

linkVar

Variable linkVar

from

Literal from

to

Literal to


Package jtp.frame.fc

Class jtp.frame.fc.AbstractRuleCreator implements Serializable

Class jtp.frame.fc.ActionCreationReasoningStep implements Serializable

Class jtp.frame.fc.BackwardChainingStorage implements Serializable

Serialized Fields

ruleBase

Map ruleBase

stack

List stack

vars

Collection vars

Class jtp.frame.fc.BlendingRuleAction implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

writeObject

private void writeObject(ObjectOutputStream out)
                  throws IOException
Serialized Fields

ruleLit

Literal ruleLit

triggers

List triggers

hashCode

int hashCode

Class jtp.frame.fc.Context implements Serializable

Serialized Fields

src

AbstractRuleCreator src

pac

AbstractRuleCreator pac

nrc

NewRuleConsequences nrc

fkb

FrameKB fkb

bst

BackwardChainingStorage bst

ri

RuleInstantiator ri

installer

RuleClauseAndTriggerInstaller installer

Class jtp.frame.fc.EquivalenceDemonstrator implements Serializable

Serialized Fields

mapping

CanonicalMapping mapping

Class jtp.frame.fc.EquivalenceEnforcer implements Serializable

Serialized Fields

mapping

CanonicalMapping mapping

frameKB

FrameKB frameKB

renamer

Renamer renamer

actionInstaller

RuleClauseAndTriggerInstaller actionInstaller

bcProxy

PropertyImporter bcProxy

Class jtp.frame.fc.InconsistencyActionCreator implements Serializable

Class jtp.frame.fc.InconsistencyRuleAction implements Serializable

Class jtp.frame.fc.InferredValueRuleFactory implements Serializable

Serialized Fields

fkb

FrameKB fkb

Class jtp.frame.fc.NewRuleConsequences implements Serializable

Serialized Fields

tr

FirstOrderLogicTranslator tr

askingReasoner

Reasoner askingReasoner

Class jtp.frame.fc.OptimizedRuleInstantiator implements Serializable

Serialized Fields

alreadySeen

Hashtable alreadySeen
Hashtable of all Literals that have been previously seen by this reasoner. The Literals should be DefaultLiterals that have been holdified by HoldsReasoner.holdify(jtp.fol.Literal).

Class jtp.frame.fc.PredefinedActionCreator implements Serializable

Class jtp.frame.fc.RuleClauseAndTriggerInstaller implements Serializable

Serialized Fields

actions

HashSet actions

Class jtp.frame.fc.RuleCreationReasoningStep implements Serializable

Serialized Fields

ruleID

String ruleID

kbLocation

URL kbLocation

Class jtp.frame.fc.RuleInstallationProofStep implements Serializable

Serialized Fields

template

Literal template

Class jtp.frame.fc.RuleInstantiator implements Serializable

Serialized Fields

tm

TriggerLiteralMatcher tm

Class jtp.frame.fc.RuleTriggeringProofStep implements Serializable

Serialized Fields

targetLit

Literal targetLit

validator

TriggerValidator validator

action

BlendingRuleAction action

Class jtp.frame.fc.RuleUnroller implements Serializable

Serialized Fields

tr

FirstOrderLogicTranslator tr

templates

List templates
the list of unrolling templates

Class jtp.frame.fc.SimpleRuleCreator implements Serializable

Serialized Fields

ruleFactory

RuleFactory ruleFactory

Class jtp.frame.fc.TriggerLiteralMatcher implements Serializable

Serialized Fields

buckets

HashMap buckets

varStack

List varStack

canonVarSet

Collection canonVarSet

Class jtp.frame.fc.TrueLinkCreator implements Serializable

Class jtp.frame.fc.TrueLinkRuleAction implements Serializable

Serialized Fields

from

Literal from

to

Literal to

linkVar

Variable linkVar

fkb

FrameKB fkb

Class jtp.frame.fc.UnrollingRuleAction implements Serializable

Serialized Fields

cl

Clause cl

id

String id


Package jtp.frame.vc

Class jtp.frame.vc.Goal implements Serializable

Serialized Fields

vc

ValueCollection vc

value

Object value

Class jtp.frame.vc.MembershipProofStep implements Serializable

Serialized Fields

vc

ValueCollection vc

value

Object value

Class jtp.frame.vc.Multiplexor implements Serializable

Serialized Fields

listeners

List listeners

Class jtp.frame.vc.ValueCollection implements Serializable

Serialized Fields

valueMap

Map valueMap
The set of direct values in this collection, that is, those not included from another VC


vcListener

ValueCollectionListener vcListener

Class jtp.frame.vc.ValueLink implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

writeObject

private void writeObject(ObjectOutputStream out)
                  throws IOException


Package jtp.func

Class jtp.func.Equals implements Serializable

Class jtp.func.EvaluableFunctionReasoner implements Serializable

Serialized Fields

varStack

List varStack

Class jtp.func.ForIn implements Serializable

Class jtp.func.FunctionProofStep implements Serializable

Serialized Fields

val

Object val

Class jtp.func.GetSetof implements Serializable

Serialized Fields

proxy

PropertyImporter proxy

askingReasoner

Reasoner askingReasoner

Class jtp.func.Greater implements Serializable

Class jtp.func.InEqual implements Serializable

Class jtp.func.Less implements Serializable

Class jtp.func.Unprovable implements Serializable

Serialized Fields

proxy

PropertyImporter proxy

askingReasoner

Reasoner askingReasoner


Package jtp.gmp

Class jtp.gmp.ClauseOrientation implements Serializable

Serialized Fields

cl

Clause cl

head

Literal head

Class jtp.gmp.ClauseOrientationKB implements Serializable

Serialized Fields

pos

Map pos

neg

Map neg

askingReasoner

Reasoner askingReasoner

Class jtp.gmp.ModusPonensProofStep implements Serializable

Serialized Fields

hc

ClauseOrientation hc

Class jtp.gmp.ModusPonensReasoner implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream ois)
                 throws IOException,
                        ClassNotFoundException
Serialized Fields

kb

ClauseOrientationKB kb
The knowledge base that this reasoner uses.


Package jtp.modelim

Class jtp.modelim.AskingQueryProcessor implements Serializable

Serialized Fields

translator

FirstOrderLogicTranslator translator

tellingReasoner

Reasoner tellingReasoner
the reasoner that receives the answer literal definitions.

Class jtp.modelim.AskingQueryProcessor.ReformulationProofStep implements Serializable

Class jtp.modelim.BreadthFirstForwardReasoner implements Serializable

Serialized Fields

tracer

Tracer tracer

tellingDispatcher

Dispatcher tellingDispatcher

depthMonitor

DepthMonitor depthMonitor

maxDepth

int maxDepth

Class jtp.modelim.ModelEliminationReasoner implements Serializable

Serialized Fields

currentReductions

int currentReductions

tracer

Tracer tracer

askingDispatcher

Dispatcher askingDispatcher

intermediateResultDispatcher

Reasoner intermediateResultDispatcher

depthMonitor

DepthMonitor depthMonitor


Package jtp.proof

Class jtp.proof.AndIntroductionInference implements Serializable

Serialized Fields

conjuncts

List conjuncts

conjunction

CNFSentence conjunction

Class jtp.proof.AxiomInference implements Serializable

Class jtp.proof.ImplicationConversionException implements Serializable

Class jtp.proof.Inference implements Serializable

Class jtp.proof.ModusPonensInference implements Serializable

Class jtp.proof.Proof implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException
Serialized Fields

goal

Object goal

bindings

Map bindings

subGoals

List subGoals

subProofs

List subProofs

inference

Inference inference

Class jtp.proof.ProofExtractionException implements Serializable

Class jtp.proof.UIInference implements Serializable

Serialized Fields

ASentence

CNFSentence ASentence

bindings

Map bindings


Package jtp.rs

Class jtp.rs.DefaultCut implements Serializable

Serialized Fields

message

String message

depth

int depth

Class jtp.rs.ReasoningStepStub implements Serializable

Class jtp.rs.SecondaryProofStorageWriter implements Serializable

Serialized Fields

st

ObjectStorage st

indexMap

SortedMap indexMap

Class jtp.rs.StoredReasoningStep implements Serializable

Serialized Fields

handle

ObjectStorage.Handle handle

Class jtp.rs.TranslationReasoningStep implements Serializable

Serialized Fields

reason

Object reason


Package jtp.ui

Class jtp.ui.RDFQueryAnswerer.StackEdit implements Serializable

Serialized Fields

stack

List stack

top

Object top


Package jtp.ui.rs

Class jtp.ui.rs.CompleteEnglishSentenceFormat implements Serializable

Serialized Fields

fmt

EnglishSentenceFormat fmt

Class jtp.ui.rs.EnglishSentenceFormat implements Serializable

Serialized Fields

templates

Map templates

defaultFormat

MessageFormat defaultFormat

nonSymbolFormat

MessageFormat nonSymbolFormat

indent

String indent

Class jtp.ui.rs.GoalTree implements Serializable

Serialized Fields

goalFormat

Format goalFormat

rootProof

Proof rootProof

Class jtp.ui.rs.KIFSentenceFormat implements Serializable

Class jtp.ui.rs.KIFSentenceFormatPlain implements Serializable

Class jtp.ui.rs.RSBrowser implements Serializable

Serialized Fields

proofStack

List proofStack

rs

Proof rs

gt

GoalTree gt

details

RSDetailsPane details

tabs

JTabbedPane tabs

eng

Format eng

brief

KIFSentenceFormat brief

full

KIFSentenceFormat full

menuBar

JMenuBar menuBar

simplifier

ProofTransformingEngine simplifier

Class jtp.ui.rs.RSDetailsPane implements Serializable

Serialized Fields

goalFormat

Format goalFormat

varsFormat

VariableBindingsFormat varsFormat

proof

Proof proof

Class jtp.ui.rs.SentenceFormat implements Serializable

Serialized Fields

symbolFormat

UnambiguousFormat symbolFormat

variableFormat

UnambiguousFormat variableFormat

keywordFormat

Format keywordFormat

Class jtp.ui.rs.SentenceFormatPlain implements Serializable

Serialized Fields

symbolFormat

UnambiguousFormat symbolFormat

variableFormat

UnambiguousFormat variableFormat

keywordFormat

Format keywordFormat

Class jtp.ui.rs.UnambiguousFormat implements Serializable

Serialized Fields

symbolNameTable

Map symbolNameTable

unambiguousFormatter

Format unambiguousFormatter

nameFormat

Format nameFormat

Class jtp.ui.rs.VariableBindingsFormat implements Serializable

Serialized Fields

elementFormat

Format elementFormat


Package jtp.undo

Class jtp.undo.MultipleTellEdit implements Serializable

Class jtp.undo.SnapshotUndoManager implements Serializable

Class jtp.undo.TellEdit implements Serializable

Serialized Fields

toldObject

Object toldObject

Class jtp.undo.UntellUndoManager implements Serializable


Package jtp.util

Class jtp.util.ArrayMap implements Serializable

Serialized Fields

keys

List keys

values

List values

Class jtp.util.FileObjectStorage implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream ins)
                 throws IOException,
                        ClassNotFoundException
Serialized Fields

file

File file

readOnly

boolean readOnly

Class jtp.util.ObjectStorage.Handle implements Serializable

Serialized Fields

storage

ObjectStorage storage

location

long location

Class jtp.util.PropertyExporterSupport implements Serializable

Serialized Fields

map

Map map

Class jtp.util.PropertyImporter implements Serializable

Serialized Fields

target

Object target

importedProperties

String[] importedProperties

Class jtp.util.SwingConsole implements Serializable

Serialized Fields

inputStart

int inputStart

out

Writer out

INPUT_ATTS

MutableAttributeSet INPUT_ATTS

toPipe

PipedWriter toPipe

fromPipe

PipedReader fromPipe

Class jtp.util.UnexpectedException implements Serializable

Serialized Fields

nestedException

Exception nestedException


Package jtp.frame.listen

Class jtp.frame.listen.AbstractVCListener implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

writeObject

private void writeObject(ObjectOutputStream out)
                  throws IOException
Serialized Fields

value

Object value

comparisonValue

Object comparisonValue

parent

AbstractVCListener parent

Class jtp.frame.listen.Context implements Serializable

Serialized Fields

fkb

FrameKB fkb

damlParser

DAMLParser damlParser

kifParser

KIF2CNF kifParser

boundObjects

Set boundObjects

INEQUAL

Symbol INEQUAL

Class jtp.frame.listen.LinkingVCListener implements Serializable

Serialized Fields

unacceptableIDs

Collection unacceptableIDs

Class jtp.frame.listen.ListenerTemplate implements Serializable

Class jtp.frame.listen.OneWayTripleTemplate implements Serializable

Serialized Fields

inverse

boolean inverse

Class jtp.frame.listen.OneWayValueInferringVCListener implements Serializable

Serialized Fields

unacceptableIDs

Collection unacceptableIDs

goalTemplate

OneWayTripleTemplate goalTemplate

Class jtp.frame.listen.TripleTemplate implements Serializable

Serialized Fields

slot

Object slot

frame

Object frame

value

Object value

Class jtp.frame.listen.UnrollingVCListener implements Serializable

Class jtp.frame.listen.Validator implements Serializable

Class jtp.frame.listen.ValueInferringVCListener implements Serializable

Serialized Fields

unacceptableIDs

Collection unacceptableIDs

goalTemplate

TripleTemplate goalTemplate

Class jtp.frame.listen.VCListenerCreationReasoningStep implements Serializable

Serialized Fields

vcTemplates

VCTemplate[] vcTemplates

goalTemplate

ListenerTemplate goalTemplate

id

String id

unacceptableIDs

Collection unacceptableIDs

parent

AbstractVCListener parent

kbLocation

URL kbLocation

Class jtp.frame.listen.VCListenerCreator implements Serializable

Serialized Fields

fkb

FrameKB fkb

Class jtp.frame.listen.VCTemplate implements Serializable

Serialized Fields

slot

Object slot

frame

Object frame

val

Object val

comparisonVal

Object comparisonVal

inverse

boolean inverse

comparisonSign

Symbol comparisonSign

Class jtp.frame.listen.VLTemplate implements Serializable

Serialized Fields

tgtSlot

Object tgtSlot

srcSlot

Object srcSlot

tgtFrame

Object tgtFrame

srcFrame

Object srcFrame

tgtInverse

boolean tgtInverse

srcInverse

boolean srcInverse


Package jtp.frame.listen.dl

Class jtp.frame.listen.dl.IntersectionTypeReasoner implements Serializable

Serialized Fields

intersectionRelation

Symbol intersectionRelation

typeRelation

Symbol typeRelation

itemRelation

Symbol itemRelation

fkb

FrameKB fkb

itemsToLists

Map itemsToLists

itemsToInstances

Map itemsToInstances

listsToItems

Map listsToItems

listsToIntersectionClasses

Map listsToIntersectionClasses

intersectionOfRule

DirectAssertion intersectionOfRule


Package jtp.time

Class jtp.time.TimePointKnowledgeStore implements Serializable

Serialized Fields

tlg

TLGraph tlg

tmapper

TimePointMapper tmapper

tvocab

TimeVocabulary tvocab

tellingReasoner

TimePointKnowledgeStore.TellingReasoner tellingReasoner

askingReasoner

TimePointKnowledgeStore.AskingReasoner askingReasoner

maxDepth

int maxDepth

subRelationRule

DirectAssertion subRelationRule

transitiveRule

DirectAssertion transitiveRule

equalPointTransitive

DirectAssertion equalPointTransitive

inverseRule

DirectAssertion inverseRule

beforeInverseAfter

DirectAssertion beforeInverseAfter

beforeEqlInverseAfterEql

DirectAssertion beforeEqlInverseAfterEql

Class jtp.time.TimePointKnowledgeStore.TimePointReasoningStep implements Serializable


Package jtp.time.demod

Class jtp.time.demod.TimePointMappingReasoningStep implements Serializable


Package jtp.time.func

Class jtp.time.func.FirstTimePoint implements Serializable

Serialized Fields

_tlg

TLGraph _tlg

units

Symbol[] units

Class jtp.time.func.MinusTimePoint implements Serializable

Class jtp.time.func.PlusTimePoint implements Serializable

Serialized Fields

_tlg

TLGraph _tlg

Class jtp.time.func.TimePointFunctionReasoner implements Serializable

Serialized Fields

_tmapper

TimePointMapper _tmapper

_mapping

CanonicalMapping _mapping

tvocab

TimeVocabulary tvocab

Class jtp.time.func.TimePointToInteger implements Serializable


JTP API Documentation