aminePlatform.engines.basicOntologyProcesses
Class BasicOntologyProcesses

java.lang.Object
  aminePlatform.engines.basicOntologyProcesses.BasicOntologyProcesses

All Implemented Interfaces:

AmineConstants

public class BasicOntologyProcesses

extends java.lang.Object

implements AmineConstants

Title: BasicOntologyProcesses

Description: BasicOntologyProcesses contains methods that implement some basic ontology processes: elaboration (by definition and by situation), elicitation (by definition and by situation) and information retrieval (or Q/A). The definition and the algorithmic description of these processes have been developed by Adil Kabbaj with the collaboration of Khalid ELHACHEMI. The implementation was done by Khalid with the collaboration of Adil.

See the Web Site of Amine Platform for more detail: sourceforge.net/projects/amine-platform

Copyright : Copyright (c) Adil KABBAJ 2004-2009

Field Summary

(package private) CGOperations	cgOperations
(package private) AmineList	commonCGList
java.util.HashMap	conceptsTypes
java.util.HashMap	conceptsTypes2
(package private) boolean	covered
AmineList	entryConcList
AmineList	entryPtInSitList
(package private) AmineList	relationsList
AmineList	sitList
AmineList	tmp

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

BasicOntologyProcesses()

Method Summary

CG	answer(CG question) Get the answer for the specified question. answer implements information retrieval from the current ontology.
int	elaborateByDef(CG cgIn) Elaborate by definition the specified description cgIn.
int	elaborateByDefInter(CG cgIn, Concept conc) Elaborate by definition the specified description cgIn according to the specified concept.
int	elaborateBySit(CG cgIn) Elaborate by situation the specified description cgIn.

Methods inherited from class java.lang.Object

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

Field Detail

commonCGList

AmineList commonCGList

relationsList

AmineList relationsList

covered

boolean covered

cgOperations

CGOperations cgOperations

conceptsTypes

public java.util.HashMap conceptsTypes

conceptsTypes2

public java.util.HashMap conceptsTypes2

tmp

public AmineList tmp

sitList

public AmineList sitList

entryConcList

public AmineList entryConcList

entryPtInSitList

public AmineList entryPtInSitList

Constructor Detail

BasicOntologyProcesses

public BasicOntologyProcesses()

Method Detail

answer

public CG answer(CG question)

Get the answer for the specified question. answer implements information retrieval from the current ontology. The goal is to determine which parts of question are covered by definitions of concept types contained in question.

Parameters:

question - A CG that represents a question

Returns:

A CG that represents the answer for question.

elaborateByDef

public int elaborateByDef(CG cgIn)

Elaborate by definition the specified description cgIn. This method implements an inheritance mechanism that search upward for inherited definitions for types contained in cgIn (their definition and definitions of their super types). The current description is specialized by the definitions found during the search.

Parameters:

cgIn - A CG to elaborate

Returns:

1 if the elaboration is done with success, return -1 if not.

elaborateByDefInter

public int elaborateByDefInter(CG cgIn,
                               Concept conc)

Elaborate by definition the specified description cgIn according to the specified concept. This method implements an inheritance mechanism that search upward for inherited definitions for the concept type of the specified concept conc. The current description is specialized by the definitions found during the search.

Parameters:

cgIn - A CG to elaborate

conc - A Concept to expand

Returns:

1 if the elaboration is done with success, return -1 if not.

elaborateBySit

public int elaborateBySit(CG cgIn)

Elaborate by situation the specified description cgIn. This method implements an inheritance mechanism that search upward for inherited situations for types contained in cgIn. The current description is specialized by the situations found during the search.

Parameters:

cgIn - A CG to elaborate

Returns:

1 if the elaboration is done with success, return -1 if not.