jtp.context.daml
Class TemporalReasoningContext

java.lang.Object
  |
  +--java.beans.beancontext.BeanContextChildSupport
        |
        +--java.beans.beancontext.BeanContextSupport
              |
              +--jtp.context.BasicReasoningContext
                    |
                    +--jtp.frame.listen.Context
                          |
                          +--jtp.context.rdf.RDFReasoningContext
                                |
                                +--jtp.context.daml.DamlReasoningContext
                                      |
                                      +--jtp.context.daml.TemporalReasoningContext

All Implemented Interfaces:

BeanContext, BeanContextChild, BeanContextServiceRevokedListener, BeanContextServicesListener, Collection, DesignMode, EventListener, PropertyChangeListener, Serializable, VetoableChangeListener, Visibility

public class TemporalReasoningContext

extends DamlReasoningContext

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.context.daml.DamlReasoningContext

DAML_AXIOMATIC_SEMANTICS, DAML_RULES, DAML_TRIPLES

Fields inherited from class jtp.context.rdf.RDFReasoningContext

idr, RDF_REF, RDF_RULES, RDF_TRIPLES

Fields inherited from class jtp.frame.listen.Context

ONE_VALUE, TRIPLE, VALUE_LINK, VC

Fields inherited from class jtp.context.BasicReasoningContext

tracer

Fields inherited from class java.beans.beancontext.BeanContextSupport

bcmListeners, children, designTime, locale, okToUseGui

Fields inherited from class java.beans.beancontext.BeanContextChildSupport

beanContext, beanContextChildPeer, pcSupport, rejectedSetBCOnce, vcSupport

Fields inherited from interface java.beans.beancontext.BeanContext

globalHierarchyLock

Fields inherited from interface java.beans.DesignMode

PROPERTYNAME

Constructor Summary

TemporalReasoningContext()

Method Summary

void	setUp() Sets up the DamlReasoningContext.

Methods inherited from class jtp.context.daml.DamlReasoningContext

createEmptyContentHolders, disjointnessInconsistencies, equivalenceInconsistencies, exceedsMaxCard0Inconsistencies, getClassifierTellingReasoner, getDamlParser, getIntersectionTypeReasoner, inconsistencies, loadDamlKB, loadDamlKB, nilItemInconsistencies, nilRestInconsistencies, nothingInconsistencies, setClassifierTellingReasoner, setIntersectionTypeReasoner, writeDaml

Methods inherited from class jtp.context.rdf.RDFReasoningContext

ask, ask, assertKifString, assertString, getKifParser, getModelForAssertions, getRDFParser, loadKB, loadKB, loadKB, loadKifKB, loadRDFKB, loadRDFKB, setMaxDepth, tell, tellKifString, tellString, tellString, tellString, tellString, untell, untellString, writeRDF

Methods inherited from class jtp.frame.listen.Context

addLink, addListener, addRule, addRule, createContentHolders, getFrameKB, loadSpecs, loadSpecs, orderLiterals, setFrameKB

Methods inherited from class jtp.context.BasicReasoningContext

defaultSetup, getAskingDispatcher, getAskingReasoner, getAssertionResults, getIntermediateResultDispatcher, getMaxDepth, getParser, getStringAssertionResults, getTellingDispatcher, getTellingReasoner, getTracer, getTranslator, getUndoManager, loadClauses, loadKB, setAskingDispatcher, setAskingReasoner, setIntermediateResultDispatcher, setParser, setTellingDispatcher, setTellingReasoner, setTracer, setUndoManager, tellInternal, undo

Methods inherited from class java.beans.beancontext.BeanContextSupport

add, addAll, addBeanContextMembershipListener, avoidingGui, bcsChildren, bcsPreDeserializationHook, bcsPreSerializationHook, childDeserializedHook, childJustAddedHook, childJustRemovedHook, classEquals, clear, contains, containsAll, containsKey, copyChildren, createBCSChild, deserialize, dontUseGui, fireChildrenAdded, fireChildrenRemoved, getBeanContextPeer, getChildBeanContextChild, getChildBeanContextMembershipListener, getChildPropertyChangeListener, getChildSerializable, getChildVetoableChangeListener, getChildVisibility, getLocale, getResource, getResourceAsStream, initialize, instantiateChild, isDesignTime, isEmpty, isSerializing, iterator, needsGui, okToUseGui, propertyChange, readChildren, remove, remove, removeAll, removeBeanContextMembershipListener, retainAll, serialize, setDesignTime, setLocale, size, toArray, toArray, validatePendingAdd, validatePendingRemove, vetoableChange, writeChildren

Methods inherited from class java.beans.beancontext.BeanContextChildSupport

addPropertyChangeListener, addVetoableChangeListener, firePropertyChange, fireVetoableChange, getBeanContext, getBeanContextChildPeer, initializeBeanContextResources, isDelegated, releaseBeanContextResources, removePropertyChangeListener, removeVetoableChangeListener, serviceAvailable, serviceRevoked, setBeanContext, validatePendingSetBeanContext

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.beans.beancontext.BeanContextChild

addPropertyChangeListener, addVetoableChangeListener, getBeanContext, removePropertyChangeListener, removeVetoableChangeListener, setBeanContext

Methods inherited from interface java.util.Collection

equals, hashCode

Constructor Detail

TemporalReasoningContext

public TemporalReasoningContext()

Method Detail

setUp

public void setUp()

Description copied from class: DamlReasoningContext

Sets up the DamlReasoningContext.

You should call this before loading KBs from DAML or KIF files, telling sentences, or asking queries.

Overrides:

setUp in class DamlReasoningContext