All Classes

AbstractMapEntry AbstractRelationBasedBCReasoner AbstractRelationBasedFCReasoner AbstractRuleCreator AbstractTracer AbstractVCListener ActionCreationReasoningStep AncestorCycleCutReasoner AndIntroductionInference AnswerUtil ArrayMap ArrayReasoningStepIterator AskingQueryProcessor AskingQueryProcessor.ReformulationProofStep AxiomInference BackwardChainingStorage BackwardChainingWalker BasicReasoningContext BlendingRuleAction BreadthFirstForwardReasoner CalendarTimePoint CanonicalMapping CanonicalVariables CascadeIterator Classifier Classifier.ClassifyInfo Classifier.RtXRt ClassifierTellingReasoner Clause ClauseIterator ClauseOrientation ClauseOrientationKB CNFConverter CNFConverterTokenTypes CNFSentence CodeGenerator CodeGeneratorTokenTypes CompleteEnglishSentenceFormat Configurator Context Context Cut DAML DAMLParser DamlQueryAnswerer DamlReasoningContext DefaultClause DefaultCNFSentence DefaultCut DefaultDepthMonitor DefaultLiteral DefaultReasoningStepCollector DefaultTimeVocab DefaultTranslationReasoner DemodulatingProxy DemodulationProofTranslator DemodulationReasoner DemodulationReasoningStep DemodulationReplacementListener DemodUtils DepthMonitor DevNullCollection DirectAssertion Dispatcher DispatcherUtils EnglishSentenceFormat EnumeratingReasoner EnumeratingReasoner.ProofStep Equals EquivalenceDemonstrator EquivalenceEnforcer EvaluableFunctionReasoner FileObjectStorage FirstOrderLogicParser FirstOrderLogicTranslator FirstTimePoint ForIn ForwardChainingDemodulationProxy FrameKB FrameTranslators FrameTranslators.SubclassOfTranslator FrameTranslators.TemplateFacetValueTranslator FrameTranslators.TemplateSlotValueTranslator FunctionProofStep GetSetof Goal GoalTree GraphWalker Greater HoldsReasoner HoldsReasoner.Add IdenticalSubgoalTransformer IdenticalSubproofTrimmer Implication ImplicationConversionException InconsistencyActionCreator InconsistencyException InconsistencyRuleAction IndentingWriter InEqual Inference InferredValueReasoningStep InferredValueRuleFactory IntersectionTypeReasoner IterativeDeepening IteratorBasedReasoningStepIterator Kb KIF2CNF KIFLexer KIFParser KIFSentenceFormat KIFSentenceFormatPlain KIFTokenTypes KnowledgeStore Less LinearizedProof LinearReductionReasoner LinkAsserter LinkAsserter.UndoInsert LinkAsserter.UndoRemove LinkingVCListener ListenerTemplate Literal MembershipProofStep MinusTimePoint ModelEliminationReasoner Modifier ModusPonensInference ModusPonensProofStep ModusPonensReasoner ModusPonensRecycler MultipleTellEdit Multiplexor NativePropertyExporter NewRuleConsequences Node ObjectStorage ObjectStorage.Handle OneWayInferredValueReasoningStep OneWayTripleTemplate OneWayValueInferringVCListener OptimizedRuleInstantiator OWL OWLQueryAnswerer OWLReasoningContext ParserBasedTranslator ParsingException PlusTimePoint PredefinedActionCreator PrintStreamTracer Proof ProofExtractionException ProofTransformer ProofTransformingEngine ProofTransformingReasonerProxy ProofUtil PropertyBinding PropertyExporter PropertyExporterSupport PropertyImporter PropertyUtils RDF RDFModelCreator RDFObjectFactory RDFQueryAnswerer RDFQueryAnswerer.StackEdit RDFQueryUtils RDFReasoningContext RDFS Reasoner ReasoningException ReasoningStep ReasoningStepCollector ReasoningStepIterator ReasoningStepStub ReferringValueCollection Relation RelationBasedBCDispatcher RelationBasedBCReasoner RelationBasedDispatcher RelationBasedFCDispatcher RelationBasedFCReasoner RelationBasedReasoner Relations Renamer ReplacementHashMap ReplacementHashSet Resource Resource.ResourceComparator RSBrowser RSDetailsPane RSUtils RuleClauseAndTriggerInstaller RuleCreationDispatcher RuleCreationReasoningStep RuleFactory RuleInstallationProofStep RuleInstantiator RuleTriggeringProofStep RuleUnroller RuleUnroller.UnrollingTemplate SecondaryProofStorageLookup SecondaryProofStorageWriter SecondaryStorageLookupTransformer SentenceFormat SentenceFormatPlain SequentialDispatcher SequentialDispatcher.LocationPreference SequentialDispatcher.Ring SimpleRuleCreator Simplifier SimplifierTokenTypes SlotValueAskingReasoner SlotValueAskingReasoner.LinkResolvingReasoningStepIterator SlotValueCollection SlotValueTellingReasoner Snapshot SnapshotUndoManager StandardFrames StoredReasoningStep StubTransformer Substitutable SubstitutableList SubstUtils SubsumptionProofStep SwingConsole SwingDamlQueryAnswerer Symbol SymbolFormat TellEdit TemporalReasoningContext TimePoint TimePointFunctionReasoner TimePointKnowledgeStore TimePointMapper TimePointMappingReasoningStep TimePointToInteger TimeVocabulary TLGraph Tracer TranslatingProxyReasoner TranslationReasoningStep Translator TriggerLiteralMatcher TriggerValidator Triple Triple.TripleComparator TripleSet TripleTemplate TrueLinkCreator TrueLinkRuleAction UIInference UnambiguousFormat UnexpectedException Unifyable UnifyableList Unprovable UnrolledRulesTransformer UnrollingRuleAction UnrollingVCListener UntellUndoManager Utils Validator ValueCollection ValueCollectionListener ValueInferringVCListener ValueLink ValueLinkCreationReasoningStep Variable Variable.NameComparator VariableBindingsFormat VCListenerCreationReasoningStep VCListenerCreator VCTemplate VLTemplate