aminePlatform.engines.dynamicKnowledgeIntegration.situationKB
Class IntegrateSituation

java.lang.Object
  aminePlatform.engines.dynamicKnowledgeIntegration.IntegrateCS
      aminePlatform.engines.dynamicKnowledgeIntegration.situationKB.IntegrateSituation

All Implemented Interfaces:

AmineConstants

Direct Known Subclasses:

IntegrateSituation4Analogy

public class IntegrateSituation

extends IntegrateCS

implements AmineConstants

IntegrationSituation is a specialization of IntegrateCS. Copyright: Copyright (c) Adil KABBAJ 2004-2009

Field Summary

Fields inherited from class aminePlatform.engines.dynamicKnowledgeIntegration.IntegrateCS

ABDUCTIVE_INTEGRATION_MODE, ANALOGICAL_INTEGRATION_MODE, cgOperations, DEDUCTIVE_INTEGRATION_MODE, integratedNodesList, lexicon, ontology, traceArea

Fields inherited from interface aminePlatform.util.AmineConstants

ANALOGY, B_ASSIGN, B_DSPLY_WT_DELAY, B_DSPLY_WTT_DELAY, B_TRIGGER, B_WTT_DSPLY, BLOCK_BACKWARD_PROPAGATION, BLOCK_FORWARD_PROPAGATION, CANON, CGIF, CGRAPHIC, CHECK_PRECONDITIONS, COMPARE, COMPOSED_GOAL, CONCEPT_TYPE_IDENT, CONTEXT, COVERED_BY, CPLTE_CONTRACT, DEFINITION, EQ_OR_MORE_SPCFQ, EQUAL, EXPAND, FALSE_FOCUS_LIST, FUNCTIONAL, GENERALISE, GENERALIZE, HAVE_AN_INTERSECTION, ID_ADD, ID_DIV, ID_EQ, ID_INF, ID_IS, ID_MESSAGE, ID_MUL, ID_NOT, ID_NULL, ID_OPER_AND, ID_OPER_OR, ID_SUB, ID_SUP, IN_ACTIVATION, IN_MODE, IN_MODE2, INDIVIDUAL, INDIVIDUAL_IDENT, INTEGRATED, IS_CANONIC, KEY_GLOBAL_RULE, LC_ADD, LC_AMINE_BOOLEAN, LC_AMINE_DOUBLE, LC_AMINE_INTEGER, LC_AND, LC_BOOLEAN, LC_CG, LC_CLOSE_BRKT, LC_CLOSE_PARENT, LC_CLOSE_SET, LC_COMMA, LC_COMMA_SEMI, LC_CONCEPT, LC_CONSTRUCTOR, LC_CS, LC_CUT, LC_DIFF, LC_DIV, LC_DOUBLE, LC_DSBL_BKWRD_PRPGTN, LC_DSBL_FRWRD_PRPGTN, LC_EOF, LC_EQ, LC_FOUR_POINTS, LC_IDENTIFIER, LC_IF, LC_INF, LC_INTEGER, LC_INTEROG, LC_IS, LC_JAVA_OBJECT, LC_LEFT_ARROW, LC_LIST, LC_NULL, LC_OPEN_BRKT, LC_OPEN_PARENT, LC_OPEN_SET, LC_OPER_AND, LC_OPER_OR, LC_POINT, LC_RELATION, LC_RGHT_ARROW, LC_SEMI_COMMA, LC_SET, LC_STAR, LC_STATE, LC_STRING, LC_SUB, LC_SUP, LC_TERM, LC_TWO_POINTS, LC_VAR_LIST_CONSTRUCTOR, LC_VARIABLE, LF, MAXIMAL_JOIN, MORE_GENERAL, MORE_SPECIFIC, NOTHING_TO_INTEGRATE, OPERS_WITH_RSLT, OUT_MODE, OUT_MODE2, PARTIAL_CONTRACT, PARTIAL_SUBSUME, PRJCT_OPERS, PROJECT, READ, READ_SENTENCE, RELATION_TYPE_IDENT, S_AND, S_BOOLEAN, S_CG, S_CLOSE_BRKT, S_CLOSE_PARENT, S_CLOSE_SET, S_COMMA, S_CONCEPT, S_CONSTRUCTOR, S_CUT, S_DIFF, S_DOUBLE, S_EOF, S_EQUAL, S_EXPAND, S_FALSE, S_FOUR_POINTS, S_GENERALISE, S_GENERALIZE, S_IDENTIFIER, S_IF, S_INTEGER, S_INTEROG, S_IS, S_IS_CANONIC, S_LEFT_ARROW, S_LIST, S_MAXIMAL_JOIN, S_OPEN_BRKT, S_OPEN_PARENT, S_OPEN_SET, S_POINT, S_RGHT_ARROW, S_SEMI_COMMA, S_SOURCE, S_SPECIALIZE, S_STATE, S_STRING, S_SUBSUME, S_SUBSUME_WITH_RESULT, S_SUPER, S_TARGET, S_TERM, S_THIS, S_TRUE, S_TWO_POINTS, S_UNIFY, S_VARIABLE, SITUATION, SPECIALIZE, STEADY, SUBSUME, SUBSUME_WITH_RSLT, TRIGGER, UNCOMPARABLE, UNIFY, VAR_SUPER, WAIT_ASSIGNMENT, WAIT_END_OF_ASSIGNMENT, WAIT_PRECONDITIONS, WAIT_VALUE

Constructor Summary

IntegrateSituation(Ontology ont)
This is a minimal specification of a dynamic ontology.

IntegrateSituation(Ontology ont, Lexicon lex)
Create a dynamic ontology with the specified ont as the ontology where the integration should be processed and lex as the lexicon to use among the lexicons available in the ontology.

IntegrateSituation(Ontology ont, Lexicon lex, javax.swing.JTextArea txtArea)
Create a dynamic ontology with the specified ont as the ontology where the integration should be processed, lex as the lexicon to use among the lexicons available in the ontology and txtArea as the Area where the trace of the integration is displayed.

Method Summary

static IntegrateCS	createIntegrateCS(Ontology ontology, Lexicon lexicon)
protected java.util.Enumeration	findConceptsWithType(java.lang.Object newCG, CS pertinentType)
protected java.util.Enumeration	getConcepts(java.lang.Object newCG)
AmineList	getConceptTypes(java.lang.Object situationDescr) End of Static Methods
protected boolean	identicalTypeOfCS(CS newOntNode, CS currentOntNode)
protected boolean	isEmpty(java.lang.Object newCG)
protected CS	newCS(java.lang.Object newCG)
protected boolean	sameTypeOfCS(CS newOntNode, CS currentOntNode)
protected void	setContentOf(CS currentOntNode, CS newOntNode)

Methods inherited from class aminePlatform.engines.dynamicKnowledgeIntegration.IntegrateCS

ask, ask, ask, ask, ask, children, classify, classify, classify, classify, classify, compare, compareAndProceed, compareCG, enum2ArrayList, finalize, firstCompareAndProceed, generalize, generalize, generalize, generalize, generalize, getCompareNodesResult, getContent, getIntegrationInferenceMode, getResultOfSimulation, getTrace, guiTrace, integrateCS, printFocusHashMap, proceed, propagateFromOneFocus, propagateNewNodeViaFocus, saveLog, setIntegrationInferenceMode, setTrace, setTraceArea, toString, toStringResultOfSimulation, trace, trace, updateCompareNodesHshMap, updatePertinentTypes

Methods inherited from class java.lang.Object

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

Constructor Detail

IntegrateSituation

public IntegrateSituation(Ontology ont)
                   throws DynamicKnowledgeIntegrationException

This is a minimal specification of a dynamic ontology. Create a dynamic ontology with the specified ont as the ontology where the integration should be processed. lexicon attribute of the class is set to the main Lexicon of the ontology.

Parameters:

ont - The ontology considered for the integration. ont can not be null.

Throws:

DynamicOntologyException - if ont is null.

DynamicKnowledgeIntegrationException

IntegrateSituation

public IntegrateSituation(Ontology ont,
                          Lexicon lex)
                   throws DynamicKnowledgeIntegrationException

Create a dynamic ontology with the specified ont as the ontology where the integration should be processed and lex as the lexicon to use among the lexicons available in the ontology. If lex is null then the main Lexicon of the ontology is used.

Parameters:

ont - The ontology considered for the integration. ont can not be null.

lex - The lexicon considered for the integration. lex could be null.

Throws:

DynamicOntologyException - if ont is null.

DynamicKnowledgeIntegrationException

IntegrateSituation

public IntegrateSituation(Ontology ont,
                          Lexicon lex,
                          javax.swing.JTextArea txtArea)
                   throws DynamicKnowledgeIntegrationException

Create a dynamic ontology with the specified ont as the ontology where the integration should be processed, lex as the lexicon to use among the lexicons available in the ontology and txtArea as the Area where the trace of the integration is displayed. If lex is null then the main Lexicon of the ontology is used. If txtArea is null then System.out is used to display the trace.

Parameters:

ont - The ontology considered for the integration. ont can not be null.

lex - The lexicon considered for the integration. lex could be null.

txtArea - The Area where the trace is displayed. txtArea could be null.

Throws:

DynamicOntologyException - if ont is null.

DynamicKnowledgeIntegrationException

Method Detail

createIntegrateCS

public static IntegrateCS createIntegrateCS(Ontology ontology,
                                            Lexicon lexicon)
                                     throws DynamicKnowledgeIntegrationException

Throws:

DynamicKnowledgeIntegrationException

getConceptTypes

public AmineList getConceptTypes(java.lang.Object situationDescr)

Description copied from class: IntegrateCS

End of Static Methods

Specified by:

getConceptTypes in class IntegrateCS

isEmpty

protected boolean isEmpty(java.lang.Object newCG)

Specified by:

isEmpty in class IntegrateCS

newCS

protected CS newCS(java.lang.Object newCG)

Specified by:

newCS in class IntegrateCS

findConceptsWithType

protected java.util.Enumeration findConceptsWithType(java.lang.Object newCG,
                                                     CS pertinentType)

Specified by:

findConceptsWithType in class IntegrateCS

getConcepts

protected java.util.Enumeration getConcepts(java.lang.Object newCG)

Specified by:

getConcepts in class IntegrateCS

sameTypeOfCS

protected boolean sameTypeOfCS(CS newOntNode,
                               CS currentOntNode)

Specified by:

sameTypeOfCS in class IntegrateCS

identicalTypeOfCS

protected boolean identicalTypeOfCS(CS newOntNode,
                                    CS currentOntNode)

Specified by:

identicalTypeOfCS in class IntegrateCS

setContentOf

protected void setContentOf(CS currentOntNode,
                            CS newOntNode)

Specified by:

setContentOf in class IntegrateCS