Erika Marisella Valencia
 

 

 

 

 

 

LINKS TO OUR PROJECTS

WAP: model to handle semantic Heterogeneity between ontologies

Buzz:Informational agents platform

CAT: knowledge representation formalism with simplicial complexes

Esqimo: analogy solver with topological knowledge representation model





RESEARCH

PRESENT

Semantic heterogeneity between informational agents is my present subject of interest, it covers many aspects:

  1. Conditions of occurence and formal definition of semantic heterogeneity between informational agents. The  situation to be modelled being the interaction between software components relying on ontology definitions, more precisely between XML documents defining heterogeneous ontologies.

  2. Formalism of knowledge representation  to represent the ontologies. We propose a formalism based on the topological basic concept of simplicial complex. This formalism was introduced in previous works (see  below) and is still under study, it is called CAT. Works now going on include the study of its expressivity, its comparison to other formalisms such as description logic,  consistence check and querying.

  3. Proposition of algorithms for information exchange and querying between heterogeneous informational agents. Our algorithms are aimed at dealing with heterogeneous queries without bringing the system to a homogeneous situation. The resulting interaction model is called WAP.

  4. General implementation of the above model  in a global platform for interaction between informational agents. This exprimental testbed allows the elaboration of further multi-agents oriented operations that are crucial for informational agents. This platform is called Buzz.

 

PAST

The CAT knowledge representation formalism uses simplicial complexes to represent concepts and relations between concepts in ontologies. Simplicial complexes are a structure of algebraic topology.

ESQIMO  (ESpace QI MOdèle) is a simple IQ tests solver. ESQIMO uses analogy reasoning to solve simple IQ tests of the form  "A is to B what C is to D".  The  model underlying ESQIMO is based on the CAT knowledge representation formalism.

 

Last Modified: 17.09.2005, Contact: mail evalencia@xs4all.nl, my personal page

 




 

 

 

 

PEOPLE

Erika's
Publications
Co-author
J-P Sansonnet

 

OTHER INTERNET LINKS

Semantic Heterogeneity
Tutorial by Hull
Semantic Web

Multi-Agents
tutorials

Knowledge Representation
XML
Description logic