Description logic-based ontology transformations : application in e-commerce
Transformation d'ontologies basées sur la logique de description : Application dans le commerce électronique
Résumé
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.
Ce travail s'inscrit dans le cadre de la formalisation des connaissances pour l'échange de données dans le domaine du Commerce Électronique. Cette formalisation basée sur la Logique de Description (LD) a pour objectif d'établir la transparence sémantique de l'échange de données entre des acteurs de profil différent. Lorsque les connaissances sont formalisées dans les ontologies des acteurs, la transparence sémantique de l'échange de données peut être assurée par la transformation des ontologies en question. Généralisées à partir des problèmes posés dans les modèles d'échanges en usage, deux instances du problème de transparence sémantique (PTS) sont formulées comme des inférences permettant de transformer des ontologies. 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'équivalence ou d'approximation sémantique d'un terme défini dans l'ontologie de l'expéditeur et ce terme est inexprimable dans l'ontologie du destinataire. En se basant sur un algorithme existant pour ce calcul, un optimal algorithme qui améliore la performance de l'algorithme existant en terme d'espace, est introduit. La deuxième instance du problème porte sur l'échange de données dans lequel les informations contextuelles représentées comme les règles de contexte sont prises en compte. Afin de formaliser ces règles de contexte, la révision d'une ontologie et les règles de révision devraient être introduites dans les ontologies. Une partie importante de 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 de connaissances déclenchée par les règles de révision. Enfin, le projet ONDIL (ONtology DesIgn Layers) est présenté comme un prototype qui implémente les algorithmes développés et dont un champs d'application est la conception et la maintenance des ontologies dans le secteur de la construction.
Loading...