Title : util.AmineBoolean Class
Description : like Boolean, AmineBoolean is a Wrapper class for boolean value,
but unlike Boolean, the value of an AmineBoolean object can be modified; the value is muable,
that is why this class implements the Muable interface.
Title : util.AmineDouble Class
Description : like Double, AmineDouble is a Wrapper class for double value,
but unlike Double, the value of an AmineDouble object can be modified; the value is muable,
that is why this class implements the Muable interface.
Title: guis.util.AmineEditor class
Description: A class that contains an undoManager
Subclasses : AmineTextEditor
Copyright: Copyright (c) Adil KABBAJ, 2004-2009
Title: guis.util.AmineFrame class
Description: An abstract class where basic components of an Amine GUI frame
are specified: menu Bar, tool Bar, and status Bar.
Title : util.AmineInteger Class
Description : like Integer, AmineInteger is a Wrapper class for int value,
but unlike Integer, the value of an AmineInteger object can be modified; the value is muable,
that is why this class implements the Muable interface.
Title : AmineJadeAgent class
Description : AmineJadeAgent is the class that corresponds to an agent
that can benefit from both Amine and Jade platforms.
Title : util.AmineList Class
Description : AmineList is a specialization of ArrayList and implements the
List structure (as used in Prolog-like language).
Title : util.AmineObjectException Class
Description: AmineObjectException Exception associated to the AmineObject interface
Copyright: Copyright (c) Adil KABBAJ, 2004-2009
Title : AminePlatformFrame class
Description : AminePlatformFrame represents the Amine Platform Suite where
all the GUIs of the platform are presented.
Title : AminePlatformGUI class
Description : The Class with the main for stand alone activation of AminePlatformGUI
Copyright: Copyright (c) Adil KABBAJ, 2004-2009
Title : util.AmineSet Class
Description : Class AmineSet is a specialization of HashSet : Like a Set,
no order is applied on the elements of an AmineSet object.
Title: guis.util.AmineTextEditor class
Description: This class provides a Text Editor for Amine Platform,
it extends the class AmineEditor with general facilities concerning a
text editor : the class is a text area manager ; it provides a text area
with a document and associate to this later undo manager (undo, redo),
edit operations (cut, copy, past), character operations (font, size),
search operations (find, findNext, replace, replaceAll) and other classic
operations (like getText, setText, append).
Title : util.AmineThread Class
Description: AmineThread extends Thread to offer a secure definition
of suspend and resume methods
Copyright: Copyright (c) Adil KABBAJ, 2004-2009
Title: AnimatedCGOperations
Description: AnimatedCGOperations extends CGOperations by adding animation
functions to enable the visualization of matching operation, step by step
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Answer - class aminePlatform.agent.amineJade.Answer.
Title : Answer class
Description : Answer is the class that describes how an agent can check if it has received a message,
and how it can answer if the ACL received requires a reply.
Answer() -
Constructor for class aminePlatform.agent.amineJade.Answer
Title: AssignmentRecord
Description: AssignmentRecord is a record used to store the results values
at the end of execution
Copyright: Copyright (c) Adil KABBAJ, 2004-2009
This method adopts a strict interpretation of the method addEntries() : new entries
will be added to the current lexicon only if all the identifiers in newIdentifiers
are really new identifiers.
This method adopts a strict interpretation of the method addSynonyms() : new entries
will be added to the current lexicon only if all the identifiers in newSynonyms are
really new identifiers in the current lexicon.
This method adopts a strict interpretation of the method addSynonyms() : new entries
will be added to the current lexicon only if all the identifiers in newSynonyms are
actually new identifiers in the lexicon of newSynonymsLanguage.
NEW Amine 2.5, by Adil: we consider the case of SYNERGY relations and the presence
of special attributes that are stored in suffix field of the relation.
Add a new synonym for the specified identifier, the new synonym is expressed in the
specified newSynonymLanguage and identifier in the language of the current lexicon
(or in the main lexicon if mixed language is allowed).
Add new synonyms (the elements of the array newSynonyms) for the given identifier,
both the identifiers in newSynonyms and identifier are specified in the language of the
current lexicon.
Add new synonyms (the elements of the array newSynonyms) for the given identifier,
identifier is specified in the language of the current lexicon and newSynonyms in
newSynonymsLanguage.
This method implements the following elementary analog operation : replace
the type of the specified concept conc, that should exist in the current CG,
by the given type.
analogy() determine the structural matching of the two CG and then transfer
to the target CG (this CG) all the elements that are specific to the source CG
and that respect the canonicity of the targetCG.
analogy() determine the structural matching of the two CG and then transfer
to the target CG (this CG) all the elements that are specific to the source CG
and that respect the canonicity of the targetCG.
analogy() determine the structural matching of the two CG and then transfer
to the target CG (this CG) all the elements that are specific to the source CG
and that respect the canonicity of the targetCG.
Check if the two specified identifiers are synonyms, the first is expressed
in the current language and the second in the specified identifier2Language
(or in the main language if mixed language is allowed).
arg1 -
Variable in class aminePlatform.engines.dynamicKnowledgeIntegration.OntologyAction
arg2 -
Variable in class aminePlatform.engines.dynamicKnowledgeIntegration.OntologyAction
ask is a static method that implements information retrieval operation: ask if the
specified description exists in the specified ontology, using the specified pertinent
types. ask corresponds to the method classify.
ask(Object) -
Method in class aminePlatform.engines.dynamicKnowledgeIntegration.IntegrateCS
Title: CGEditorsPnl
Description: This class extends MMCGEditorsPanel by adding UIs (labels,
textField, and buttons) to the menuBar of MMCGEditorsPanel, and also by
overriding some methods.
Title : BasicOntologyProcessesGUI class
Description : BasicOntologyProcessesGUI is the GUI for some
basic ontology processes: elaborate, elicitate and information retrieval.
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).
Title : BuildFinanceOntology Sample class
Description : This class builds an ontology that is an adaptation of a subset of a Knowledge Base
in Finace developed by Pavlin Dobrev and al.
Title : BuildKMOntology Sample class
Description : This class builds an ontology that is an adaptation of a subset of an ontology
provided by the Knowledge Machine group (www.cs.utexas.edu/users/mfkb/RKF/km.html).
Title : BuildManOntology class
Description : BuildManOntology creates an Ontology that is used by other classes
and it illustrate the Ontology API
Copyright: Copyright (c) Adil KABBAJ, 2004-2009
Title : OntologyTopLevel class
Description : OntologyTopLevel corresponds to the ontology's top level proposed
by john Sowa in his KR'2000 book and in his Web Site.
Title : BuildVehicleOntology class
Description : BuildVehicleOntology creates an Ontology that is used by other classes
and it illustrate the Ontology API
Copyright: Copyright (c) Adil KABBAJ, 2004-2009
bagInclusion is used by the CGOperation at the begining, especially if the
operation is a projection based operation (like EQUAL, SUBSUME, SUBSUME_WITH_RSLT,
and UNIFY).
bagof3 -
Static variable in class aminePlatform.engines.prologPlusCG.interpreter.Interpreter
Title: guis.cgNotationsGUI.CGNotationsGUIFrame_AboutBox class
Description: About Box for CGNotationsGUIFrame
Copyright: Copyright (c) Adil KABBAJ, 2004-2009
CGFrame - class aminePlatform.guis.cgNotationsGUI.CGFrame.
Title: guis.cgNotationsGUI.CGFrame class
Description: A class that extends OntologyBasedFrame by the implementation
of File operations (New, Open, Save, etc.) for CG file
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Title: guis.cgNotationsGUI.CGGraphicEditorUIs class
Description: CGGraphicEditorUIs implements actions related to UIs
CGGraphicEditor
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Title : parserGenerator.CGIFParserGenerator Class
Description : This class is responsible of two tasks :
- parse the CGIF notation of a CG and generate its internal representation,
- generate a CGIF notation of a CG from its internal representation.
Title: guis.cgNotationsGUI.CGNotationsGUI class
Description: The Class with the main for stand alone activation of CGNotationsGUI
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Title: guis.cgNotationsGUI.CGNotationsGUIFrame class
Description: CGNotations GUI Frame extends CGFrame and provides a GUI for
a multi-documents, multi-lingua, and multi-notations CG Editors.
Title: guis.cgNotationsGUI.CGNotationsGUIFrame_AboutBox class
Description: About Box for CGNotationsGUIFrame
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Title: guis.cgOperationsGUI.CGOperationsGUI class
Description: The Class with the main for stand alone activation of CGOperationsGUI
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Title: guis.cgOperationsGUI.CGOperationsGUIFrame_AboutBox class
Description: About Box for CGOperationsGUIFrame
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Title: guis.cgNotationsGUI.CGTextEditor class
Description: This class is used for both the LF and CGIF editors,
it deals with the parsing of the notation to the internal representation
and the inverse: the generation of the textual formulation from the internal CG representation.
Title : guis.util.CGUIs
Description : This class contains some UIs that are related to CG, for
instance the two CG parameters: functional CG and canonicity parameters.
Title : ontology.CS Class
Description : As introduced in the class Ontology, an ontology in AminePlatform is a
graph of nodes called Conceptual Structures (CS) defined by this class.
CS() -
Constructor for class aminePlatform.kernel.ontology.CS
Constructors of CS are protected since only its subclasses can instantiate it
CS(Object) -
Constructor for class aminePlatform.kernel.ontology.CS
Title : parserGenerator.CanonicityParsingException Class
Description : CanonicityParsingException is an Exception for CanonicityParsing
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Title: CompareCGResultsFrame
Description: CompareCGResultsFrame is a frame that shows the result of the
comparison of two CGs
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Title: util.cg.ComposedDesignator Class
Description: An auxiliary class used to represent composed designator; a special
case of coreference, used especially in the context of SYNERGY
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Title: util.cg.ComposedType Class
Description: An auxiliary class used to represent composed type; a special
case of type, used especially in the context of SYNERGY
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Title: util.cg.Concept Class
Description: A Concept is composed of a type, a designator with an optional coreferent,
a descriptor, a state (used in the context of Synergy Language) and a point
(in the case of graphic display).
Title: Ontology Interface
Description: This class implements the dynamic integration process
This process concerns the dynamic integration of conceptual structures (CS) in the ontology.
Title: util.cg.CorefMatchList Class
Description: CorefMatchList stores the result of coreferent matching
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Check if designator can be a designator (i.e. it can be null, an Individual CS,
a set of Individuals, a variable or a pseudo-designator), taking into account the
conformity test between the designator and the specified type.
Check if designator can be a concept designator (it could be null or an
Individual CS or a set of Individuals or a variable or a pseudo-designator),
without the test of conformity between a concept type and the designator.
Check if the specified element can be an element in an AmineSet object :
an Integer, a Double, a Boolean, a String, an Identifier or a Type or an
Individual CS.
A Relation rel allows a backward propagation if it doesn't specify the property
of "blocking backward propagation" which is specified in our case as a suffix "|<";
BLOCK_BACKWARD_PROPAGATION
The identifier can be removed from the current lexicon if it has synonyms in
this lexicon or in other lexicons (in both cases, the CS associated to the
identifier is still refeered by other identifiers).
ChangeOfTabbedPane : Actually, it is used to switch on/off the menu element
menuVisualize; to "on" when the current tab is CSPanel
and "off" otherwise.
Object doNewOper(ArrayList incomeArgs, int outcomeArgsSize,
ActivationRecord actRecord) throws Exception {
String classPath = (String) incomeArgs.get(0);
ComposedType composedType = new ComposedType(classPath, NEW_IDENT);
incomeArgs.remove(0); // remove the name of the class from the incomeArgs
return doCallJavaMethod(composedType, incomeArgs, outcomeArgsSize, actRecord);
}
clear() -
Method in class aminePlatform.util.cg.CG
Clear the content of the current CG : all concepts and relations of
the current CG are cleared, but the CG still exists as an (empty) java object,
so that we can add to it new concepts and relations.
This method should be used with care since it will destroy the structures that
could be included in the concept, like a DesignatorSet or any descriptor.
A deep copy is performed by the copy methods : elements are copied too
and if an element is a variable and variable binding is considered, then
the copy operation will concern also the value of variables.
protected CompareCGResults compareCG(CG newDescr, CG currentCG) throws
Exception {
CompareCGResults compareCGResult = new CompareCGResults();
if (currentCG == null) {
trace("*** The current node has no content; the comparison is considered as UNCOMPARABLE. ");
compareCGResult.setCommonCG(null);
compareCGResult.setCompareResult(UNCOMPARABLE);
return compareCGResult;
}
if (newDescr.equal(currentCG)) {
compareCGResult.setCompareResult(EQUAL);
}
else if (currentCG.subsume(newDescr)) { // currentCG is more general than newDescr
// newDescr is more specific than currentCG
compareCGResult.setCompareResult(MORE_SPECIFIC); // check if it is interpreted correctly
}
else if (newDescr.subsume(currentCG)) { // newDescr is more general than currentCG
compareCGResult.setCompareResult(MORE_GENERAL); // check if it is interpreted correctly
}
else {
compareCGResult.setCompareResult(UNCOMPARABLE); // consider as uncomparable
}
return compareCGResult;
} // end of compareCG method
Compute the rectangle that will enclose the current VisualNode, according to
the specified content sConcText, and having as leftTopPoint the specified point pt.
The general case of the construction of G3 from G1 and G2.
consult() -
Method in class aminePlatform.guis.prologPlusCGGUIs.console.ConsoleFrame
Consult() offers a possibility to select several Prolog+CG files and their
"compilation" wil be added to the current content of the ppcgParser attribute ppcgPrograms.
This is a variant of the previous definition: instead of a Concept as third
parameter and Type as forth parameter, this variant accepts two objects with
the specification of their binding information.
This is a variant of the previous definition: instead of a Concept as third
parameter, this variant allows an object with the specification of its binding
information.
Copy the part of the current Visual Graph that is determined by the list of
Visual Nodes and the list of Visual Edges that are contained in the current Visual Graph
copy() -
Method in class aminePlatform.guis.graphDrawing.VisualNode
Unlike the inherited method clone(), this method returns a deep copy of the
current AmineList (the elements are copied too) but it does not consider the values
of variables that could exist in the current list.
Perform a deep copy of the current concept, the relations related to the
concept are concerned by this copy; the new concept will have no income
and no outcome relations.
Start code for the first Step of maxJoinRslt :
First : Create G3 from G1
create the squeleton of all the Concept of G3 from G1
to make sure later that the same concept is always refered by the same pointer.
Title : kernel.ontology.DescriptionWithGenus interface
Description : DescriptionWithGenus is an interface that should be implemented
by any description scheme that supports type definition with genus.
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.
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.
detach() -
Method in class aminePlatform.kernel.ontology.CS
Detach the current CS from its fathers and children : remove all the links
that relate the current CS, as a child, to its fathers, and remove all the
links that relate the current CS, as a father, to its children.
Draw the relation consists in : a) determine the color for the relation
(color of segments, of the arrow and of the text) depending on being selectioned
or not, b) draw the segments of the relation, c) draw the name of the relation,
d) draw the arrow.
Title: guis.lexiconsOntologyGUI.EditSynonyms class
Description: EditSynonyms edits synonyms for the current element
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Search for the first concept conc in the specified CG cg so that the parameter
concept is equal (in content) to conc, taking into account the binding of variables
that could occur in the current CG and in concept.
Search for the concept in the current CG so that its designator is equal to
the given designator, taking into account the binding of variables that could occur
in the current CG and in designator.
Search for the first concept in the current CG so that its type is equal to
the given type, taking into account the binding of variables that could occur
in the current CG and in type.
Unlike the method findConceptWithDesignator() which search only one concept with the
specified designator, this version searchs for all the concepts that could have
a designator equal to the specified one.
Find all the concepts in the current CG that have the type equal to the
specified type, taking into account the binding of variables that could occur
in the current CG and in type.
Title: guis.util.GetOrSetCSDescr class
Description: GetOrSetCSDescr provides a Panel that contains a textField
for an identifier and a group of radio buttons to choose the CS to access for
the specified identifier.
Title : GoalToResolve
Description : GoalToResolve represents the activation record that contains
valuable information for the interpretation/resolution of the current goal.
While generalize() perform a generalization of two CGs and produce a new CG that
is a common generalization of the two CGs, this method generalizes CG g1 itself by
doing a generalization of CG g2 with g1, with the concept E1 as an
entry point for g1 and the concept E2 as an entry point for g2.
While generalize() perform a generalization of two CGs and produce a new CG that
is a common generalization of the two CGs, this method generalizes CG g1 itself by
doing a generalization of CG g2 with g1, with the concept E1 as an
entry point for g1 and the concept E2 as an entry point for g2.
While generalize() perform a generalization of two CGs and produce a new CG that
is a common generalization of the two CGs, this method generalizes CG g1 itself by
doing a generalization of CG g2 with g1
Generalize G1 by generalizing concepts that were matched (by the content of the
concept that result from the match/generalize) and by removing from G1 what is specific to it.
A boolean that indicates if the parsing should be completed by
the production of the internal representation of the object parsed (value true)
or not (i.e., do parsing only and in this case, generateCode is false).
For the identifier contained in the current lexicon (or in the main lexicon if mixed
language is allowed), get all the identifiers in all the lexicons associated to the ontology
of the current lexicon.
Given an identifier, get the associated CS : get the CS (a Type or an Individual
CS) for the given identifier in the current lexicon or in the main lexicon if the
identifier is not found in the current lexicon and mixed language is allowed.
Given a concept type identifier, get the associated Type CS from the current lexicon or
from the main Lexicon (if typeIdentifier is not found in the current lexicon
and mixed language is allowed).
Unlike findConceptWithDesignator() which attempt to find a concept in the
current CG with a designator equal (method in Matching) to the specified designator,
this method use the method equals which is more strict than equal (based on matching).
Unlike findConceptWithType() which attempts to find the first concept in the
current CG with a type equal (method in Matching) to the specified type,
this method use the method equal which is more strict than equal (based on matching).
Unlike findConceptsWithDesignator() which attempt to find concepts in the
current CG with a designator equal (method in Matching) to the specified designator,
this method use the method equals which is more strict than equal (based on matching).
Unlike findConceptsWithType() which attempts to find concepts in the
current CG with a type equal (method in Matching) to the specified type,
this method use the method equals which is more strict than equal (based on matching).
If the current object represents the definition body of a concept type,
getGenus() should return an enumeration of Type CS which stand for the direct
superTypes of the defined type
getGenus() -
Method in class aminePlatform.util.cg.CG
If the current CG is the definition body of a concept type, it will contain
genus (concept(s) with "super" as designator).
A Mapping (or iterator) method that calls the method getIdentifier() on each
element of the specified Enumeration of CS css : given an Enumeration of CS, return an
Enumeration over an ArrayList of Identifier that will contain the first associated
identifier in the current lexicon for each cs of css.
Given an individual identifier, get the associated Individual CS from the current
lexicon or from the main Lexicon (if individualIdentifier is not found in the current
lexicon and mixed language parameter is true).
Contrary to getIntendedMeaning(Metaphor) that returns the intended meaning of the
specified metaphor, this version returns the intended meaning of the specified description
using the specified metaphor as a support for the generation of its meaning.
Determine the maximal common subType identifier of the type with typeIdentifier1
and the type with typeIdentifier2, the three identifiers are contained in the current lexicon.
For both minComSuperContext and maxComSubContext, a progressive breadth-first traversal
of the ontology is done to get super(sub)contexts of both the current Context and the parameter Context context2.
Determine the minimal common superType identifier of the type with typeIdentifier1
and the type with typeIdentifier2, the three identifiers are contained in the current lexicon.
For both minComSuperType and maxComSubType, a progressive breadth-first traversal
of the ontology is done to get super(sub)types of both the current Type and the parameter Type type2.
Given a relation type identifier, get the associated RelationType CS from the
current lexicon or from the main Lexicon (if typeIdentifier is not found in
the current lexicon and mixed language is allowed).
This method is a variante of the method getRelationsInHmp(); it returns the
HashMap of all the relations in the current CG and also the number of relations
of the current CG.
This method is a variante of the method getRelationsInHmp(); it returns the
HashMap of all the relations in the current CG and also the number of relations
of the current CG.
/*This part of code is added by Nabil OURDANI for the purpose of automatic
/ drawing of ONTOLOGY by SYGIYAMA ALGORITHM *
/**
Get the Selected associated to the current VisualNode
Given a type identifier, get the associated Type CS from the current lexicon or
from the main Lexicon (if typeIdentifier is not found in the current lexicon
and mixed language is allowed).
guiTrace(CS) -
Method in class aminePlatform.engines.dynamicKnowledgeIntegration.IntegrateCS
In case the integration is called from the dynamicOntologyGUI, currNewOntNode is added to the integratedNodesList
to allow the OntologyGUI to add it and display it in Ontology Panel.
Title : lexicons.Identifier Class
Description : In general, an identifier is used in Amine Platform to specify
'words' of languages (english, french, arabic, etc.) and identifiers of a language
are associated to Conceptual Structures (CS) to form entries of the language's lexicon.
Title: guis.util.IdentifierInputPnl class
Description: IdentifierInputPnl a Panel to identify the identifier of
a CS in an Ontology
Copyright: Copyright (c) Adil KABBAJ, 2004-2009
Create a IntegrateCS task 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.
Create a IntegrateCS task 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.
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.
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.
Title: IntegrateDefinition
Description: This class implements definition dynamic integration process
There are three modes of Definition Integration : classification-based integration,
generalization-based integration, and information retrieval based integration.
Create a IntegrateDefinition task 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.
Create a IntegrateDefinition task 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.
Title: guis.lexiconsOntologyGUI.IntegrateFrame class
Description: IntegrateFrame is a Frame that allows the user to type the content of
a new description and integrate it in the current ontology as a definition or situation.
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.
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.
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.
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.
Title : Interpreter
Description : Interpreter extends Resolution class by specifying
interpretation of primitive goals and by the treatment of Java methods
interpretation: delegation to Java using reflection capabilities of Java.
Interpreter() -
Constructor for class aminePlatform.engines.prologPlusCG.interpreter.Interpreter
A static attribute that functions as a switcher, for all the identifiers, to
activate/de-activate the option to ignore (or not) case in the identifiers.
inferenceStep represents one step in deductive/abductive inference: it asks for the position
of the given newDescr in the ontology/KB/memory, and check if newDescr is more specific than the antecedent
(for the case of deductive inference) or than the consequence (for the case of abductive inference) of an
existing CSRule, this later is activated; its antecedent/consequence is joined to newDescr and the result
of the maximalJoin is returned as an outcome of inferFrom.
It set the appropriate context for starting the interpretation
of the content of the WorkingMemory (which is a (set of) CGs): initiate global
variables and put the workingMemory in the activationRecords list; it becomes
the first active context to interpret.
It set the appropriate context for starting the interpretation
of the content of the WorkingMemory (which is a (set of) CGs): initiate global
variables and put the workingMemory in the activationRecords list; it becomes
the first active context to interpret.
Integrate, in the specified ontology, the specified description of the definition
of the specified type identifier, according to the specified pertinent types.
Treatment of Metaphor: TO BE DONE
- If the new description is to integrate as a description of a metaphor, then only
one focus should be given: it refeers to the kernel of the metaphor (the concept
that is the source of the metaphor).
Integration of a synonym declaration; identString2 is synonym of identString1. identString2 is added to the
list of the synonyms of identString1 (if it isn't already there).
Check if current CG is canonic: a) for each type (concept type or relation type)
in the current CG, search its canon (if it has) and checks that the canon subsumes
the current CG.
isCanonic() -
Method in class aminePlatform.util.cg.CG
Check if current CG is canonic: a) for each type (concept type or relation type)
in the current CG, search its canon (if it has) and checks that the canon subsumes
the current CG.
Check if the given cg is canonic : a) for each type (concept type or relation type)
in cg, search its canon (if it has) and checks that the canon subsumes cg.
Check if the specified identifier is contained in the current lexicon as a
concept type identifier, not as a relation type or an individual identifier.
Check if the current individual is conform to the specified type (the parameter
typeCS) : check that typeCS is the immediate type or a superType of the
immediate type of the current individual.
Check that conformity constraint is satisfied for an object that can be a CG
or it can contain a CG : designator of each concept in a CG must be conform
to its concept type.
Check if the specified Object obj is an Identifier; if obj is an Identifier or it is a
Type or an Individual object, both represent (are associated to) identifiers
in the context of a multi-lingua ontology.
Test if the object obj is member of the current AmineList. if no element in the list
is equal to obj and if the list terminates with a constructor and this later
has a value (if the binding is considered), then a recursive test is done;
check if obj is a member of the list which is the value of the constructor
variable.
Check if the specified name is a new language name; no language has such a name
among the languages associated to the lexicons of the current ontology.
First check : if concG1 and concG2 have two income relations with
the same type then it isnt possible to join since the resulted CG
will not be functional
If income relations of the two concepts are mutually different then
the Second check is done; it is similar to the first except that is done on outcome
relations.
Check if the specified identifier is contained in the current lexicon as a
relation type identifier, not as a concept type or an individual identifier.
starting with the position recorded in goalToResolve, search for a rule in
the paquet paquet so that the head of the rule could be unified with the current
goal (recorded in goalToResolve.goal.
Title: engines.JMethodInterpreter Class
Description: An interpretation of a call to a Java method (including
call to Amine methods) from Prolog+CG or Synergy
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Join the current CG with the specified CG cg2, with the specified conc1 and
conc2 as two concepts of the current CG and cg2 respectively, and conc1 is identical
to conc2.
Title : parserGenerator.LFParserGenerator Class
Description : This class is responsible of two tasks :
- to parse the LF notation of a CG and generate its internal representation,
- to generate a LF notation of a CG from its internal representation.
Title: guis.lexiconsOntologyGUI.LanguagesListDialog class
Description: This class provides the user with a Dialog Frame to add and/or
update the languages list of the current lexicons.
Title: lexicons.Lexicon class
Description: This class defines a "conceptual lexicon" ; a lexicon that records
for each identifier of a specific language its associated Conceptual Structure (CS).
Title: guis.util.ListPanel class
Description: ListPanel is a Panel that contains a JList of Identifiers and four
operations (buttons) : Add, Replace, Delete and Clear.
While the method linkSubTypesToType(subTypeIdentifiers, typeIdentifier)
implements the flexible interpretation of the whole operation, this method
implements the strict interpretation : each element in subTypeIdentifiers
should be either a new identifier or an identifier known as a Type identifier
(but not known as an Individual identifier).
While the method linkIndividualsToType(individualIdentifiers, typeIdentifier)
implements the flexible interpretation of the whole operation, this method
implements the strict interpretation : each element in individualIdentifiers
should be either a new identifier or an identifier known as an individual identifier
(but not known as a type identifier).
Link the Type CS associated to typeIdentifier with the Type CS associated to
superTypeIdentifier, both are (supposed to be) contained in the current lexicon.
Link the Individual CS associated to each element (individualIdentifier) of
the array individualIdentifiers to the Type CS associated to typeIdentifier.
Link the RelationType CS associated to relationTypeIdentifier with the RelationType
CS associated to superTypeIdentifier, both are (supposed to be) contained in the current lexicon.
While the method linkTypeToSuperTypes(typeIdentifier, superTypeIdentifiers)
implements the flexible interpretation of the whole operation, this method
implements the strict interpretation : each element in superTypeIdentifiers
should be either a new identifier or an identifier known as a Type identifier
(but not known as an Individual identifier).
Link the Type CS associated to typeIdentifier to the Type CS associated to
each element (superTypeIdentifier) of superTypeIdentifiers array, both typeIdentifier and
elements of superTypeIdentifiers are (supposed to be) contained in the current lexicon.
list() -
Method in class aminePlatform.engines.prologPlusCG.interpreter.Interpreter
listAll() -
Method in class aminePlatform.engines.prologPlusCG.interpreter.Interpreter
Title: guis.lexiconsOntologyGUI.MMCGEditorsLexOntPanel class
Description: MMCGEditorsLexOntPanel extends MMCGEditorsPanel by associating specific
buttons (Set, Clear) to the MMCGEditors
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Title: guis.util.MMCGEditorsOperPnl class
Description: This class extends MMCGEditorsPanel by adding UIs (labels,
textField, and buttons) to the menuBar of MMCGEditorsPanel, and also by
overriding some methods.
Title: guis.util.MMCGEditorsPanel class
Description: MMCGEditorsPanel is a Panel that contain a menuBar and a
TbdPneLanguages for multi-lingua and multi-notations edition of CG.
Title : MainFrame
Description : MainFrame is an interface for the specification of the main
frame for Graph Drawing
Copyright : Copyright (c) Adil KABBAJ 2004-2009
If the two concepts to match (conc1 and conc2) have been already matched,
then nothing to do, else match the two concepts, add the result to conceptsMatched,
and add a new entry to toLocalMatchs.
scan the list relations1 for all the relations that are not matched already (by looking
at relationsMatched) and search corresponding relations in relations2 to match them.
scan the list relations1 for all the relations that are not matched already (by looking
at relationsMatched) and search corresponding relations in relations2 to match them.
Title: guis.lexiconsOntologyGUI.OntTreeModel class
Description: OntTreeModel extends TreeModel to allow an edition of an Ontology
with JTree
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Title: guis.util.OntologyBasedFrame class
Description: An abstract class that extends AmineFrame Class by adding
a menu for the Load/Close of an ontology (Load/Close/Save an Ontology) and for
the activation of the LexiconsOntology GUI.
Title : ontology.OntologyException Class
Description : Ontology Exception is associated to Ontology class
Copyright: Copyright (c) Adil KABBAJ, 2004-2009
Title : OntologyDrawContainer
Description : OntologyDrawContainer extends GraphDrawContainer:
(1) redefines some inherited methods
(2) defines new methods
While GraphDrawPanel is part of GraphDrawContainer,
OntologyDrawPanel is part of OntologyDrawContainer
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Title : OntologyDrawPanel
Description : OntologyDrawPanel extends GraphDrawPanel:
(1) redefines some inherited methods
(2) defines new methods
While GraphDrawPanel is part of GraphDrawContainer,
OntologyDrawPanel is part of OntologyDrawContainer
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Title : aminePlatform.guis.ontologyKBGUI.OntologyKBTxtPanel
Description : A Panel in Ontology GUI for Text View
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Title: guis.util.OntologyLanguageFrame class
Description: A class that extends OntologyBasedFrame Class by adding
a menu for Language that enables the choice of a language among the
languages of the current ontology.
Title: guis.lexiconsOntologyGUI.OntologyListOfElems class
Description: OntologyListOfElems specializes ListPanel
by treatment that is specific to lexicons elements.
oneStepInference represents one step in deductive/abductive inference: it asks for the position
of the given newDescr in the ontology/KB/memory, and check if newDescr is more specific than the antecedent
(for the case of deductive inference) or than the consequence (for the case of abductive inference) of an
existing CSRule, this later is activated; its antecedent/consequence is joined to newDescr and the result
of the maximalJoin is returned as an outcome of inferFrom.
Title : PPCGAnswer class
Description : PPCGAnswer is the class that describes how an agent,
which is benefeting from the Prolog engine, can check if it has received a message,
and how it can answer if the ACL received requires a reply by using methods provided
by Prolog Engine.
Title : PrologPlusCGFromJava class
Description : PrologPlusCGFromJava is a simple example that illustrates
how Prolog+CG can be called from a Java class and how requests and reponses
can be treated.
Title: guis.prologPlusCGGUIs.prologPlusCGGUI.PrologPlusCGGUIFrame_AboutBox class
Description: About Box for PrologPlusCGGUIFrame
Copyright: Copyright (c) Adil KABBAJ, 2004-2009
Parse the textual formulation of an AmineList (parameter amineListInString)
using the specified lexicon and return its internal representation
(i.e. an AmineList object).
Parse the textual formulation of an Amine Object (parameter objInString)
using the specified lexicon and returns its internal representation (an Amine Object).
Parse the textual formulation of an AmineSet (parameter amineSetInString)
using the specified lexicon and return its internal representation
(i.e. an AmineSet object).
Parse the textual formulation of a CG (parameter cgInString) using the specified
lexicon and produce its internal representation. cgInString could be in a Linear
Form (LF) or in CGIF form.
Parse the textual formulation of a Relation (parameter relInString) using the specified
lexicon and produce its internal representation. relInString could be in a Linear
Form (LF) or in CGIF form.
This method is similar to parse(String strgCG) except that its argument
is a TextTokenizer that is already created for the treatment of strgCG;
the textual formulation of a CG.
This method parses the CGIF formulation of a CG and produces its corresponding
internal representation (Java Object) if this step is intended (this is determined
by the attribute generateCode : if true, the internal representation is produced,
if false only the parsing is done).
This method is similar to parse(String strgCG) except that its argument
is a TextTokenizer that is already created for the treatment of strgCG;
the textual formulation of a CG.
This method parses the LF formulation of a CG and produces its corresponding
internal representation (Java Object) if this step is intended (this is determined
by the attribute generateCode : if true, the internal representation is produced,
if false only the parsing is done).
This method assumes that the textual formulation of the AmineList was already
given to the textTokenizer of the current ObjectParsing and that lexical
analysis was already done.
This method is the protected version of the method parseAmineObject(String strgObj);
it can be used by ObjectParsing's subclasses only since it assumes that some steps
have been made and that the environment is already established.
This method assumes that the textual formulation of the AmineSet was already
given to the textTokenizer of the current ObjectParsing and that lexical
analysis was already done.
This method is similar to parseCG(String strgCG) except that its argument
is a TextTokenizer that is already created for the treatment of strgCG;
the textual formulation of a CG.
Parse the textual formulation of a concept and produce its corresponding
internal representation if this step is intended (this is determined
by the attribute generateCode : if true, the internal representation is produced,
if false only the parsing is done).
This method is a variant of the method parseConcept() defined in this class, except
that the parsing is done in the context of a particular CG (the parameter cg).
This method assumes that the textual formulation of the Term was already
given to the textTokenizer of the current ObjectParsing and that lexical
analysis was already done.
Unlike completeContract which checks first that G1 subsumes G2,
partialContract G1 from G2, using the two entry concepts E1 for G1 and E2 for G2,
will check first that a subgraph of G1 subsumes a subgraph of G2.
Unlike completeContract which checks first that G1 subsumes G2,
partialContract G1 from G2, using the two entry concepts E1 for G1 and E2 for G2,
will check first that a subgraph of G1 subsumes a subgraph of G2.
Title: util.cg.Relation Class
Description: Relation is composed of a type, a source concept, a target concept and
an ArrayList of Points (if graphic information is considered).
Title: util.cg.RelationException Class
Description: RelationException Exception associated to the Relation class
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Title: kernel.ontology.RelationType Class
Description: RelationType is a specialization of Type, defined for Relation Type
Copyright: Copyright (c) Adil KABBAJ, 2004-2009
Title : RelaxGraph
Description : RelaxGraph is an adaptation of a class (ForceDirectedLayout)
defined by Salvo Jesus in his Open Source OpenJGraph soft.
Title : util.cg.ResMatchCG Class
Description : ResMatchCG stores the result of a CG matching operation,
especially the CG that result from the matching as well as the result
of the matching of the two entry concepts, if they were given.
Like the method nxtToken(), this method assumes that the lexical analysis
was done and that the tokens and their types are now stored in the vector
of token/tokenType couples.
Like the method nxtToken(), this method assumes that the lexical analysis
was done and that the tokens and their types are now stored in the vector
of token/tokenType couples.
Unlike consult() which performs a simple addition of paquets to the current global
HashMap of Prolog+CG Programs "ppcgPrograms", reconsult will replace from ppcgPrograms
paquets that have the same signature as the new ones.
Locate the rule with the specified range among the rules of the current CS,
remove the link that relates the current CS to the rule and returns the rule.
A relation is dangling if either its source or target concept has no other relation and
the "isolated" concept is not specific to cg; it can be recovered by definition expansion.
If the identifiers associated to the CS cs in the current lexicon can be removed
then remove them : remove from the current lexicon all the entries that concern the
specified cs; remove the entries for all the identifiers (which are synonyms) that are
associated to cs in the current lexicon.
Remove from the current lexicon all the entries that concern the specified cs;
remove the entries for all the identifiers (which are synonyms) that are
associated to cs in the current lexicon.
Locate the situation with the specified range among the situations of the current CS,
remove the link that relates the current CS to the situation and returns the situation.
Replace, in the current CG, the concept conc1 by the concept conc2: conc1 should
exist in the current CG and conc2 coud be a concept of the current CG or a new concept
replaceElemOfList overrides the same method in ListOfElements : it replaces an
element oldElem in the list of elements by the new element newElem and if
oldElem is known in the lexicon of the selected language, then oldElem will
be replaced by newElem in the lexicon too, otherwise the replacement will
have no effect on the current lexicon.
Replace the name of the current lexicon language with the specified name if
this later is not the name of a language that is already associated to the
ontology of the current lexicon.
Try to construct a metaphorical interpretation of the specified CG descrOfAction,
giving the specified ontology and the specified concept in descrOfAction for which
the canon was violated.
Title: guis.lexiconsOntologyGUI.SelectSituationDlg class
Description: This class provides the user with a Dialog frame
to determine which situation(s) to select for the current element.
Title : CompareNodesResult
Description : CompareNodesResult contains the result of a comparison
between the description of the NewOntNode and the current Ontology Node.
Title: SynergyCGOperations
Description: SynergyCGOperations extends CGOperations by overriding
relations matching, to allow the matching (and especially maximalJoin of
CG in the context of Synergy; with Synergy relations (in, out, grd, next)
Copyright: Copyright (c) Adil KABBAJ, 2004-2009
Title : SynergyFromJava class
Description : SynergyFromJava illustrates a call to Synergy Interpreter from Java Code
Copyright: Copyright (c) Adil KABBAJ, 2004-2009
Title : kernel.SynergyTypeConstants Interface
Description : Interface that contains declarations of constants
used for the addition of Synergy Ontology part.
Set the specified designator as the designator of the current concept if designator
can be a designator and it is conform with the type of the current concept.
Analyze the specified request; from its string form to an internal structure,
then determine the variables that are specified in the request and store them
in the resolution attribute varsInRequest.
While maximalJoin() produces a new CG that is a maximalJoin of two CGs G1 and G2,
this method specializes g1 itself by doing a maximalJoin of CG g2 to g1, with the
concept E1 as an entry point for g1 and the concept E2 as an entry point for g2.
While maximalJoin() produces a new CG that is a maximalJoin of two CGs G1 and G2,
this method specializes g1 itself by doing a maximalJoin of CG g2 to g1, with the
concept E1 as an entry point for g1 and the concept E2 as an entry point for g2.
While maximalJoin() produces a new CG that is a maximalJoin of two CGs G1 and G2,
this method specializes g1 itself by doing a maximalJoin of CG g2 to g1.
Specialize G1 by specializing concepts that were matched (by the content of the
concept that result from the match/join) and by adding to G1 what is specific to G2.
strictInferenceChain corresponds to an iterative call to the oneStepInference method:
if it is found that the given newDescr is more specific than the antecedent (for the case
of deductive inference) or than the consequence (for the case of abductive inference) of an existing CSRule,
this later is activated; its antecedent/consequence is joined to newDescr.
styleFont -
Variable in class aminePlatform.guis.prologPlusCGGUIs.console.ConsoleFrame
Its use is similar to subsume except that the image of G1 in G2 is constructed;
the image is a subgraph of G2 that is isomorphic to G1 modulo the subsumption
constaint on the concepts (the concept in G1 should be more general than its image
in G2).
Its use is similar to subsume except that the image of G1 in G2 is constructed;
the image is a subgraph of G2 that is isomorphic to G1 modulo the subsumption
constaint on the concepts (the concept in G1 should be more general than its image
in G2).
Its use is similar to subsume except that the image of G1 in G2 is constructed;
the image is a subgraph of G2 that is isomorphic to G1 modulo the subsumption
constaint on the concepts (the concept in G1 should be more general than its image
in G2).
Title: guis.cgNotationsGUI.JTbdPneEditors class
Description: This class provides three tabbed panes for the three CG editors :
LF, CGIF and Graphic Editors.
Title: TbdPneOntologyEditors class
Description: This class provides two tabbed panes for Ontology :
Tree View and Graphic-Drawing View
Copyright : Copyright (c) Adil KABBAJ 2004-2009
Title : parserGenerator.TextTokenizer Class
Description : TextTokenizer is responsible of the first step in "text" analysis ;
the lexical analysis of an Amine Object, of a CG or of a Prolog+CG program.
Title: guis.util.TextualDisplayOntology class
Description: A Frame that provides a textual formulation of the ontology
Copyright: Copyright (c) Adil KABBAJ, 2004-2009
Title : lexicons.ToStringException Class
Description : ToString Exception is associated to ToString interface
Copyright: Copyright (c) Adil KABBAJ, 2004-2009
Title: guis.lexiconsOntologyGUI.TypeOpersPanel class
Description: This class defines the panel that provides the user
the possibility to call various types operations : getDirectSubTypes(),
getDirectSuperTypes(), getSubTypes(), getSuperTypes(), isSubType(),
isSuperType(), get maximal common subtype, get minimal common super type, etc.
This method is similar to the method toCGIF() except that we formulate also
the drawing information; the leftTop point of each concept, the position of
each relation type and the points that define the segments of the relation.
This method is similar to the method toCGIF() that consider variable binding
except that we formulate also the drawing information; the leftTop point of
each concept, the position of each relation type and the points that define
the segments of the relation.
Parse the liste of CS's children to an element of the ontology document.
toConcept() -
Method in class aminePlatform.util.cg.CG
Convert the current CG to a concept if the CG corresponds to only one concept
without relations (the conversion will not change the CG itself but returns the
concept that composes the CG).
This method is similar to the method toLF() except that we formulate also
the drawing information; the leftTop point of each concept, the position of
each relation type and the points that define the segments of the relation.
This method is similar to the method toLF() that consider variable binding
except that we formulate also the drawing information; the leftTop point of
each concept, the position of each relation type and the points that define
the segments of the relation.
Convert the current CG to a relation if the CG corresponds to only one relation
(the conversion will not change the CG itself but returns the
relation that composes the CG).
Since this class implements AmineObject interface, it should define this method
which is reduced in the case of AmineSet to the simpler version (without binding
information).
Return the textual formulation of the variable, taking into account the variable binding:
if the binding is not null, the method will consider the textual formulation of the variable's
value, not the variable itself.
Update the rectangle of the current VisualNode, using the specified rectangle
and update the related VisualEdges that are related to the current VisualNode.
Title : VisualGraph
Description : VisualEdge is a visual wrapper for Edge: a VisualEdge
contains a reference to an Edge with visual attributes and methods.
Title : VisualGraph
Description : VisualGraph is a visual wrapper for Graph: a VisualGraph
contains a reference to a Graph with visual attributes and methods.
Title : VisualNode
Description : VisualNode represents a node in VisualGraph, both are visual
wrappers for Node and Graph respectively: a VisualNode contains a reference to a
Node with visual attributes and methods.
Title: guis.util.XMLDisplayOntology class
Description: A Frame that provides an XML formulation of the LexiconsOntology
Copyright: Copyright (c) Adil KABBAJ, 2004-2009