Transformation d'ontologies basées sur la logique de description : application dans le commerce électronique
Institution:
NiceDisciplines:
Directors:
Abstract EN:
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 interferences 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 approximation which allows us to compute the “best” approximation in a DL of a concept description 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 in space of the existing algorithm. 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 developed in this work are implemented in ONDIL system supporting design and maintenance of ontologies used in construction sector.
Abstract FR:
Ce travail s’inscrit dans le cadre de la formalisation des connaissances pour l’échange de données dans le domaine du Commerce Electronique (ebXML). Cette formalisation basée sur la Logique de Description (LD) a pour objectif d’établir la transparence sémantique de l’échange de donnée entre des acteurs de profil différent. La transparence sémantique s’un tel échange peut être assurée par la transformation des ontologies. Généralisées à partir des problèmes posés dans les modèles d’échanges en usage, deux instances du problème transparence sémantique sont formulées. La première instance du problème porte sur l’échange de données sans contexte entre deux acteurs qui utilisent deux ontologies représentées par deux langages LD différents. Cette instance peut se réduire au calcul d’approximation sémantique d’un terme reçu dans l’ontologie du destinataire. Nous proposons un algorithme optimal en termes d’espace qui améliore la performance de l’algorithme existant. La deuxième instance du problème porte sur l’échange de données dans lequel les informations contextuelles représentées comme des règles de contexte sont prises en compte. Afin de formaliser ces règles, la révision d’une ontologie ainsi que les règles de révision devraient être introduites dans les ontologies. Ce travail étudie la révision d’une ontologie basée sur la LD et développe les algorithmes pour les opérations de révision et pour la procédure d’extension de la base déclenchée par les règles. Enfin, le projet ONDIL est présenté comme un prototype qui implémenté les algorithmes développés et dont un champ d’application est la conception et la maintenance des ontologies dans le secteur de la construction.