FORMAL METHOD FOR AUTOMATIC AND SEMANTIC MAPPING OF DISTRIBUTED SERVICE-ONTOLOGIES

Nacima Mellal, Richard Dapoiny

Abstract

Many distributed heterogenous systems exchange information between them. Currently, most of them are described in terms of ontologies. When ontologies are distributed, arises the problem of achieving sematic interoperability. This is undertaken by a process which defines rules to relate these ontologies, called “Ontology Mapping” in order to achieve a given goal. This paper describes a methodology for automatic and semantic mapping of ontologies. Our main interest is focused on ontologies describing services of systems. These ontologies are called “Service Ontologies”. So, we investigate an approach where the mapping of ontologies provides full semantic integration between distributed service ontologies using Information Flow model.

References

  1. Barwise, J. and Seligman, J. (1997). Information Flow: The Logic of Distributed Systems. Cambridge University Press.
  2. Doan, A. and Halevy, A. (2004). Semantic-integration research in the database community. Special issue on semantic integration, 26:83-94.
  3. Fikes, R. (1996). Ontologies: What are they, and where's the research?
  4. Gruber, T. R. (1993). A translation approach to portable ontology specifications. Knowledge Acquisition, 5:199- 220.
  5. Hertzberg, J. and Thiebaux, S. (1994). Turning an action formalism into a planner: a case study. Journal of Logic and Computation, pages 617-654.
  6. Kalfoglou, Y. and Schorlemmer, M. (2003). If-map: an ontology mapping method based on information flow theory. Journal on Data Semantics, 1(1):98-127.
  7. Kitamura, Y., Kashiwase, M., Fuse, M., and Mizoguchi, R. (2004). Deployment of an ontological framework of functional design knowledge. Advanced Engineering Informatics, 18(2):115-127.
  8. Lifschitz, V. (1993). A theory of actions. In the tenth International Joint Conference on Artificial Intelligence, pages 432-437.
  9. Umeda, Y., Ishii, M., Yoshioka, M., Shimomura, Y., and Tomiyama, T. (1996). Supporting conceptual design based on the function-behavior-state modeler. pages 275-288.
Download


Paper Citation


in Harvard Style

Mellal N. and Dapoiny R. (2007). FORMAL METHOD FOR AUTOMATIC AND SEMANTIC MAPPING OF DISTRIBUTED SERVICE-ONTOLOGIES . In Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT, ISBN 978-989-8111-05-0, pages 259-263. DOI: 10.5220/0001329602590263


in Bibtex Style

@conference{icsoft07,
author={Nacima Mellal and Richard Dapoiny},
title={FORMAL METHOD FOR AUTOMATIC AND SEMANTIC MAPPING OF DISTRIBUTED SERVICE-ONTOLOGIES},
booktitle={Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT,},
year={2007},
pages={259-263},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001329602590263},
isbn={978-989-8111-05-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT,
TI - FORMAL METHOD FOR AUTOMATIC AND SEMANTIC MAPPING OF DISTRIBUTED SERVICE-ONTOLOGIES
SN - 978-989-8111-05-0
AU - Mellal N.
AU - Dapoiny R.
PY - 2007
SP - 259
EP - 263
DO - 10.5220/0001329602590263