Serialized Form
Class jtp.Cut implements Serializable |
message
String message
kbLocation
URL kbLocation
asserted
boolean asserted
proof
ReasoningStep proof
reasoner
Reasoner reasoner
- the reasoner that experienced the exception
_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
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
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
rdfParser
jtp.fol.rdf.RDFParser rdfParser
kifParser
KIF2CNF kifParser
idr
IterativeDeepening idr
modelCreator
RDFModelCreator modelCreator
intersectionTypeReasoner
IntersectionTypeReasoner intersectionTypeReasoner
classifierTellingReasoner
ClassifierTellingReasoner classifierTellingReasoner
intersectionTypeReasoner
IntersectionTypeReasoner intersectionTypeReasoner
classifierTellingReasoner
ClassifierTellingReasoner classifierTellingReasoner
damlParser
DAMLParser damlParser
substMap
Map substMap
literals
Collection literals
clauses
Collection clauses
polarity
boolean polarity
relation
Symbol relation
args
SubstitutableList args
args
Object[] args
- the array where the variables are stored
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.
name
String name
pkg
String pkg
serialNumber
long serialNumber
value
Object value
name
String name
packageNameSpaceMap
Map packageNameSpaceMap
inversePackageNameSpaceMap
Map inversePackageNameSpaceMap
cause
Throwable cause
la
LinkAsserter la
direct
Map direct
templates
Map templates
inverse
Map inverse
key
ArrayList key
redundancyCheckDepth
int redundancyCheckDepth
fkb
FrameKB fkb
link
ValueLink link
link
ValueLink link
inverse
boolean inverse
readObject
private void readObject(ObjectInputStream in)
throws IOException,
ClassNotFoundException
facet
Symbol facet
slot
Symbol slot
frame
Object frame
links
Collection links
outLinks
Collection outLinks
inverse
boolean inverse
linkVar
Variable linkVar
from
Literal from
to
Literal to
ruleBase
Map ruleBase
stack
List stack
vars
Collection vars
readObject
private void readObject(ObjectInputStream in)
throws IOException,
ClassNotFoundException
writeObject
private void writeObject(ObjectOutputStream out)
throws IOException
ruleLit
Literal ruleLit
triggers
List triggers
hashCode
int hashCode
src
AbstractRuleCreator src
pac
AbstractRuleCreator pac
nrc
NewRuleConsequences nrc
fkb
FrameKB fkb
bst
BackwardChainingStorage bst
ri
RuleInstantiator ri
installer
RuleClauseAndTriggerInstaller installer
mapping
CanonicalMapping mapping
mapping
CanonicalMapping mapping
frameKB
FrameKB frameKB
renamer
Renamer renamer
actionInstaller
RuleClauseAndTriggerInstaller actionInstaller
bcProxy
PropertyImporter bcProxy
fkb
FrameKB fkb
tr
FirstOrderLogicTranslator tr
askingReasoner
Reasoner askingReasoner
alreadySeen
Hashtable alreadySeen
- Hashtable of all Literals that have been previously seen by this reasoner.
The Literals should be
DefaultLiteral
s that have been
holdified by HoldsReasoner.holdify(jtp.fol.Literal)
.
actions
HashSet actions
ruleID
String ruleID
kbLocation
URL kbLocation
template
Literal template
tm
TriggerLiteralMatcher tm
targetLit
Literal targetLit
validator
TriggerValidator validator
action
BlendingRuleAction action
tr
FirstOrderLogicTranslator tr
templates
List templates
- the list of unrolling templates
ruleFactory
RuleFactory ruleFactory
buckets
HashMap buckets
varStack
List varStack
canonVarSet
Collection canonVarSet
from
Literal from
to
Literal to
linkVar
Variable linkVar
fkb
FrameKB fkb
cl
Clause cl
id
String id
vc
ValueCollection vc
value
Object value
vc
ValueCollection vc
value
Object value
listeners
List listeners
valueMap
Map valueMap
- The set of direct values in this collection, that is, those not included from another VC
vcListener
ValueCollectionListener vcListener
readObject
private void readObject(ObjectInputStream in)
throws IOException,
ClassNotFoundException
writeObject
private void writeObject(ObjectOutputStream out)
throws IOException
varStack
List varStack
val
Object val
proxy
PropertyImporter proxy
askingReasoner
Reasoner askingReasoner
proxy
PropertyImporter proxy
askingReasoner
Reasoner askingReasoner
cl
Clause cl
head
Literal head
pos
Map pos
neg
Map neg
askingReasoner
Reasoner askingReasoner
hc
ClauseOrientation hc
readObject
private void readObject(ObjectInputStream ois)
throws IOException,
ClassNotFoundException
kb
ClauseOrientationKB kb
- The knowledge base that this reasoner uses.
translator
FirstOrderLogicTranslator translator
tellingReasoner
Reasoner tellingReasoner
- the reasoner that receives the answer literal definitions.
tracer
Tracer tracer
tellingDispatcher
Dispatcher tellingDispatcher
depthMonitor
DepthMonitor depthMonitor
maxDepth
int maxDepth
currentReductions
int currentReductions
tracer
Tracer tracer
askingDispatcher
Dispatcher askingDispatcher
intermediateResultDispatcher
Reasoner intermediateResultDispatcher
depthMonitor
DepthMonitor depthMonitor
conjuncts
List conjuncts
conjunction
CNFSentence conjunction
readObject
private void readObject(ObjectInputStream in)
throws IOException,
ClassNotFoundException
goal
Object goal
bindings
Map bindings
subGoals
List subGoals
subProofs
List subProofs
inference
Inference inference
ASentence
CNFSentence ASentence
bindings
Map bindings
message
String message
depth
int depth
st
ObjectStorage st
indexMap
SortedMap indexMap
handle
ObjectStorage.Handle handle
reason
Object reason
stack
List stack
top
Object top
fmt
EnglishSentenceFormat fmt
templates
Map templates
defaultFormat
MessageFormat defaultFormat
nonSymbolFormat
MessageFormat nonSymbolFormat
indent
String indent
goalFormat
Format goalFormat
rootProof
Proof rootProof
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
goalFormat
Format goalFormat
varsFormat
VariableBindingsFormat varsFormat
proof
Proof proof
symbolFormat
UnambiguousFormat symbolFormat
variableFormat
UnambiguousFormat variableFormat
keywordFormat
Format keywordFormat
symbolFormat
UnambiguousFormat symbolFormat
variableFormat
UnambiguousFormat variableFormat
keywordFormat
Format keywordFormat
symbolNameTable
Map symbolNameTable
unambiguousFormatter
Format unambiguousFormatter
nameFormat
Format nameFormat
elementFormat
Format elementFormat
toldObject
Object toldObject
keys
List keys
values
List values
readObject
private void readObject(ObjectInputStream ins)
throws IOException,
ClassNotFoundException
file
File file
readOnly
boolean readOnly
storage
ObjectStorage storage
location
long location
map
Map map
target
Object target
importedProperties
String[] importedProperties
inputStart
int inputStart
out
Writer out
INPUT_ATTS
MutableAttributeSet INPUT_ATTS
toPipe
PipedWriter toPipe
fromPipe
PipedReader fromPipe
nestedException
Exception nestedException
readObject
private void readObject(ObjectInputStream in)
throws IOException,
ClassNotFoundException
writeObject
private void writeObject(ObjectOutputStream out)
throws IOException
value
Object value
comparisonValue
Object comparisonValue
parent
AbstractVCListener parent
fkb
FrameKB fkb
damlParser
DAMLParser damlParser
kifParser
KIF2CNF kifParser
boundObjects
Set boundObjects
INEQUAL
Symbol INEQUAL
unacceptableIDs
Collection unacceptableIDs
inverse
boolean inverse
unacceptableIDs
Collection unacceptableIDs
goalTemplate
OneWayTripleTemplate goalTemplate
slot
Object slot
frame
Object frame
value
Object value
unacceptableIDs
Collection unacceptableIDs
goalTemplate
TripleTemplate goalTemplate
vcTemplates
VCTemplate[] vcTemplates
goalTemplate
ListenerTemplate goalTemplate
id
String id
unacceptableIDs
Collection unacceptableIDs
parent
AbstractVCListener parent
kbLocation
URL kbLocation
fkb
FrameKB fkb
slot
Object slot
frame
Object frame
val
Object val
comparisonVal
Object comparisonVal
inverse
boolean inverse
comparisonSign
Symbol comparisonSign
tgtSlot
Object tgtSlot
srcSlot
Object srcSlot
tgtFrame
Object tgtFrame
srcFrame
Object srcFrame
tgtInverse
boolean tgtInverse
srcInverse
boolean srcInverse
Package jtp.frame.listen.dl |
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
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
_tlg
TLGraph _tlg
units
Symbol[] units
_tlg
TLGraph _tlg
_tmapper
TimePointMapper _tmapper
_mapping
CanonicalMapping _mapping
tvocab
TimeVocabulary tvocab