aminePlatform.engines.dynamicKnowledgeIntegration.situationKB
Class IntegrateSituation4Analogy

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

All Implemented Interfaces:

AmineConstants

public class IntegrateSituation4Analogy

extends IntegrateSituation

IntegrateSituation4Analogy is a specialization of IntegrateSituation. 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

IntegrateSituation4Analogy(Ontology ont)

IntegrateSituation4Analogy(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.

IntegrateSituation4Analogy(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

protected CompareCGResult

compare(CS newOntNode, Concept entryPoint, CS currentOntNode, CS fatherOntNode) compares the new newDescr to classify with a current newDescr using entryPoint as the entry point for the comparison.

Methods inherited from class aminePlatform.engines.dynamicKnowledgeIntegration.situationKB.IntegrateSituation

createIntegrateCS, findConceptsWithType, getConcepts, getConceptTypes, identicalTypeOfCS, isEmpty, newCS, sameTypeOfCS, setContentOf

Methods inherited from class aminePlatform.engines.dynamicKnowledgeIntegration.IntegrateCS

ask, ask, ask, ask, ask, children, classify, classify, classify, classify, classify, 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

IntegrateSituation4Analogy

public IntegrateSituation4Analogy(Ontology ont)
                           throws DynamicKnowledgeIntegrationException

IntegrateSituation4Analogy

public IntegrateSituation4Analogy(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

IntegrateSituation4Analogy

public IntegrateSituation4Analogy(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

compare

protected CompareCGResult compare(CS newOntNode,
                                  Concept entryPoint,
                                  CS currentOntNode,
                                  CS fatherOntNode)
                           throws java.lang.Exception

Description copied from class: IntegrateCS

compares the new newDescr to classify with a current newDescr using entryPoint as the entry point for the comparison.

Overrides:

compare in class IntegrateCS

Parameters:

entryPoint - a Concept to consider as the entry point for the comparison

currentOntNode - a CS which is the newDescr to compare with

fatherOntNode - a CS which the father ontology node of currentOntNode

Returns:

a CompareCGResults containing the CG as the content of the comparison and a byte representing the type of relationship between the two descriptions to compare

Throws:

java.lang.Exception