Skip to Main content Skip to Navigation

Transformation d'ontologies basées sur la logique de description : Application dans le commerce électronique

Abstract : This work deals with knowledge formalization for data exchange in Electronic Commerce area. This formalization which is based on Description Logics (DL) is aimed at establishing semantic transparency for data exchange between different agents. When knowledges are formalized in ontologies of agents, the semantic transparency would be ensured by ontology transformation. Generalized from problems which arise in data exchange models in use, two instances of the semantic transparency problem are identified and formalized as inferences allowing to transform ontologies. The first instance of the problem arises when two agents carry out data exchanges in which their ontologies use different DL. This instance can be reduced to semantic equivalence or approximation which allows us to compute the best approximation of a concept description expressed in a more expressive DL. Based on an existing algorithm for computing the approximation ALC-ALE, we propose an optimal algorithm which improves the performance of the existing algorithm in space. The second instance of the problem arises when context information is taken into account in data exchange processes. In order to formalize context information implied in actual data models, revision operations and revision rules should be introduced into ontologies. An important part of this work is concentrated on revision problems of DL-based ontologies and develops algorithms for computing revision operations and for performing extension of knowledge base launched by revision rules. The algorithms which are developed in this work are implemented in ONDIL system supporting design and maintenance of ontologies used in construction sector.
Document type :
Complete list of metadata

Cited literature [74 references]  Display  Hide  Download
Contributor : Estelle Nivault <>
Submitted on : Wednesday, January 23, 2008 - 4:22:07 PM
Last modification on : Wednesday, October 14, 2020 - 4:24:00 AM
Long-term archiving on: : Thursday, April 15, 2010 - 1:42:28 AM


  • HAL Id : tel-00214145, version 1



Chan Le Duc. Transformation d'ontologies basées sur la logique de description : Application dans le commerce électronique. Interface homme-machine [cs.HC]. Université Nice Sophia Antipolis, 2004. Français. ⟨tel-00214145⟩



Record views


Files downloads