Essai de comparaison des ontologies informatiques et philosophiques: entre être et artefacts

International audienceNous soulignons, dans ce travail, la nécessité d'une réflexion à mener sur les conditions de production de notre ontologie afin de'en fournir une " ontogénèse " qui en retrace les étapes, ceci dans le but d'y intégrer la coupure symbolique comme un moment du processus de connaissance et non plus sa fin ou son arrêt. L'ontologie des informaticiens est essentielle de ce point de vue, qui attire notre attention sur son statut d'artefact. Le livre en était un lui-même ; non une pure production de signes désincarnée mais un objet technologique complexe, le substrat d'une histoire. D'où la nécessité, selon nous, de réintégrer une dimension technique en complément de la dimension sémiotique, couplage peut-être seul à même de nous ménager un accès à l'être. Pour éviter la difficulté consistant à parler de représentations (au pluriel) réelles et vraies de la réalité, attardons-nous sur les objets à notre disposition (supports de connaissances, livres et ontologies informatiques), ces prothèses et autre adjuvants médiatisant nos activités concrètes et situées pour faire apparaître un monde, notre monde. Aussi est-il indispensable de faire ressortir en quoi la technologie médiatise notre rapport à l'être (et non seulement à l'étant

La physique naïve: un essai d'ontologie

The project of a naive physics has been the subject of attention in recent years above all in the artificial intelligence field, in connection with work on common-sense reasoning, perceptual representation and robotics. The idea of a theory of the common-sense world is however much older than this, having its roots not least in the work of phenomenologists and Gestalt psychologists such as Kohler, Husserl, Schapp and Gibson. This paper seeks to show how contemporary naive physicists can profit from a knowledge of these historical roots of their discipline, which are shown to imply above all a critique of the set-theory-based models of reality typically presupposed by contemporary work in common-sense ontology

Une méthode d'inspection automatique de recommandations ergonomiques tout au long du processus de conception des applications Web

Les applications Web actuelles offrent de plus en plus de services. Pour éviter les difficultés d'usage de ces applications, l'utilisabilité doit être assurée. L'évaluation de l'utilisabilité est une tâche qui requiert une expertise en ergonomie logicielle. Cette expertise peut être capitalisée sous forme de recommandations qui sont l'expression d'une connaissance en ergonomie et qui vont aider à l'évaluation. Toutefois, puisqu'il est nécessaire d'appliquer celles-ci de manière systématique, leur inspection manuelle peut s'avérer laborieuse. Pour ne pas être limité par l'inspection manuelle, des outils ont été développés pour guider et supporter l'inspection automatique. Un des avantages de ces outils est que les connaissances en ergonomie y sont directement intégrées. De plus, le manque d'experts et le coût élevé des autres méthodes d'évaluation font que l'inspection automatique est une méthode adaptée. Cependant, ces outils ne peuvent évaluer que l'application finale et si des erreurs sont détectées, des modifications importantes de l'application peuvent avoir lieu. Dans cette thèse nous proposons une méthode d'évaluation basée sur modèles permettant de s'assurer tout au long du cycle de vie de l'utilisabilité des applications Web développées. Nous avons établi une ontologie qui organise les recommandations autour des éléments de l'interface pour identifier précisément quels éléments évaluer à chaque étape du cycle de vie. Cette ontologie est exploitée pour vérifier l'utilisabilité sur les différents artefacts produits dans le cycle de vie. Ces travaux ont été appliqués et validés à l'échelle industrielle sur une plateforme de développement de téléservices.The increasing use of the Web as a software platform together with the advance of technology has promoted Web applications as a start point for delivering information and services. Facing to the ever growing number of users, usability became a major requirement for the universal access of Web applications. In the last years, a number of evaluation methods have been developed by researchers, practitioners and Information Technology companies to help organizations to identify and to fix usability problems. However, usability evaluation of Web sites is not a straightforward process. On one hand, usability evaluation requires some knowledge and expertise in software ergonomics. One the other hand, due to constant evolution of Web application, it is required frequent evaluations to make sure that content updates do not introduce new usability problems. In order to overcome these limitations, much effort has been devoted in the development of tools for automating the inspection of usability and accessibility guidelines. However, tools currently available can only evaluate the final applications. In this thesis we propose a model-based evaluation method that allows ensuring the ergonomic quality of Web applications throughout the lifecycle. We developed an ontology that organizes recommendations around interface elements of a Web application and that allows identifying precisely what elements to evaluate at each phase of the lifecycle. We exploit this ontology to assess the various artifacts produced throughout the lifecycle. This work has been applied and validated at an industrial scale on an e-service development platform

Les ontologies informatiques au service de la communication interdisciplinaire : l'interopérabilité sémantique

La communication interdisciplinaire rencontre divers problématiques : l’hétérogénéités des informations (sémantique, standardisation des formats), les confusions linguistiques (intentions dans les énoncés, polysémie des mots) ou encore épistémologiques (expertises divergentes, terminologies inadéquates). Nous proposons pour favoriser l’intercommunication entre différents domaines de spécialité, l’emploi des ontologies informatiques : des artefacts informatiques permettant une représentation des concepts au sein d’un domaine de spécialité. Autour de la notion « d’interopérabilité sémantique », la capacité pour une machine et des acteurs de communiquer ensemble, nous viserons à montrer en quoi les ontologies peuvent permettre à des acteurs de différentes disciplines de clarifier les notions propres à leurs domaines en fonction d’une analyse de leurs usages des mots. Nous tâchons ici de mettre en avant la capacité des ontologies de traiter le langage selon différents niveaux du sens d’un mot (du plus concret et appliqué, au plus abstrait et conceptuel), afin de mettre en perspective ce en quoi cette analyse basée sur les textes d’un corpus, permet de rendre compte de, si ce n’est un état du réalisme d’une discipline, du moins, servir d’outils pour aider les acteurs à normaliser leurs pratiques. En ce sens, les ontologies informatiques peuvent être considérées et utilisées comme autant de bases terminologiques servant comme outils de références pour faciliter la communication interdisciplinaire

UNE ONTOLOGIE SIMONIENNE DU MONDE DE L'ARTIFICIEL

International audienceThis tutorial puts Herbert Simon's (1916-2001) work on design into perspective. In fact, in the 1960s, this economist has tried to build a general theory of design. This tutorial gives some biographical references explaining why this decision theorist had an interest in design, which is not a usual object for an economist. Then we propose an ontology that synthesizes Simon's conceptualization of the world of the artificial. This last one integrates three key entities: the artefact, the design process defined as a form of problem-solving involving a specific rationality, and the sciences of the artificial seen as different from the natural sciences. A scientific balance of this ontology is made in order to establish its interests for design researchers. A bibliometrical study based on articles published in Design Studies is then realized. The researchers who edit this journal went further into the analysis of design process as a form of problem-solving. They however failed to explore some issues of Simon's design theory. The first one is related to the empirical foundations of the sciences of the artificial. The second one refers to the creative rationality underlying the designer's activity. Simon's work can still inspire new research issues in design theory.L'objectif du présent tutoriel est de porter un regard rétrospectif et critique sur les travaux de Herbert Simon (1916-2001). Après avoir expliqué comment cet économiste spécialiste de la décision en est venu à s'intéresser à la conception, ce tutoriel présentera une ontologie synthétisant la façon dont il conceptualisait le monde de l'artificiel. Trois entités clefs seront explicitées. Il s'agit de l'artefact, de la conception vue comme un processus de résolution de problèmes impliquant, chez le concepteur, la mise en œuvre d'une rationalité spécifique, et des sciences de l'artificiel pensées comme distinctes des sciences de la nature. Une fois cette ontologie présentée, un bilan de son appropriation par les chercheurs en conception sera dressé. Pour ce faire, nous nous appuierons sur une étude bibliométrique réalisée à partir de la littérature produite par la communauté réunie autour de la revue Design Studies. Si celle-ci a multiplié les études sur la résolution de problème de conception, elle n'a toutefois pas approfondi les points relatifs aux fondements empiriques des sciences de l'artificiel ou encore la rationalité créative du concepteur. De ce fait, l'œuvre de Simon peut encore inspirer les recherches en matière de théorie de la conception

L'ingénierie des documents d'affaires dans le cadre du web sémantique

Dans cette thèse, nous présentons les problèmes d’échange de documents d'affaires et proposons une méthode pour y remédier. Nous proposons une méthodologie pour adapter les standards d’affaires basés sur XML aux technologies du Web sémantique en utilisant la transformation des documents définis en DTD ou XML Schema vers une représentation ontologique en OWL 2. Ensuite, nous proposons une approche basée sur l'analyse formelle de concept pour regrouper les classes de l'ontologie partageant une certaine sémantique dans le but d'améliorer la qualité, la lisibilité et la représentation de l'ontologie. Enfin, nous proposons l’alignement d'ontologies pour déterminer les liens sémantiques entre les ontologies d'affaires hétérogènes générés par le processus de transformation pour aider les entreprises à communiquer fructueusement.In this thesis, we present the problems of business document exchanges. We propose a methodology to adapt the XML-based business standards for the Semantic Web technologies by mapping documents defined on DTD or XML Schema to an ontological representation in OWL 2. Next, we propose an approach based on formal concept analysis techniques to regroup the ontology classes sharing some semantics to improve the quality, readability and the representation of the ontology. Finally, we propose ontology alignment to determine the semantic links between heterogeneous business ontologies generated by the transformation process to help entreprises to communicate fruitfully

ScaleSem (model checking et web sémantique)

Le développement croissant des réseaux et en particulier l'Internet a considérablement développé l'écart entre les systèmes d'information hétérogènes. En faisant une analyse sur les études de l'interopérabilité des systèmes d'information hétérogènes, nous découvrons que tous les travaux dans ce domaine tendent à la résolution des problèmes de l'hétérogénéité sémantique. Le W3C (World Wide Web Consortium) propose des normes pour représenter la sémantique par l'ontologie. L'ontologie est en train de devenir un support incontournable pour l'interopérabilité des systèmes d'information et en particulier dans la sémantique. La structure de l'ontologie est une combinaison de concepts, propriétés et relations. Cette combinaison est aussi appelée un graphe sémantique. Plusieurs langages ont été développés dans le cadre du Web sémantique et la plupart de ces langages utilisent la syntaxe XML (eXtensible Meta Language). Les langages OWL (Ontology Web Language) et RDF (Resource Description Framework) sont les langages les plus importants du web sémantique, ils sont basés sur XML.Le RDF est la première norme du W3C pour l'enrichissement des ressources sur le Web avec des descriptions détaillées et il augmente la facilité de traitement automatique des ressources Web. Les descriptions peuvent être des caractéristiques des ressources, telles que l'auteur ou le contenu d'un site web. Ces descriptions sont des métadonnées. Enrichir le Web avec des métadonnées permet le développement de ce qu'on appelle le Web Sémantique. Le RDF est aussi utilisé pour représenter les graphes sémantiques correspondant à une modélisation des connaissances spécifiques. Les fichiers RDF sont généralement stockés dans une base de données relationnelle et manipulés en utilisant le langage SQL ou les langages dérivés comme SPARQL. Malheureusement, cette solution, bien adaptée pour les petits graphes RDF n'est pas bien adaptée pour les grands graphes RDF. Ces graphes évoluent rapidement et leur adaptation au changement peut faire apparaître des incohérences. Conduire l application des changements tout en maintenant la cohérence des graphes sémantiques est une tâche cruciale et coûteuse en termes de temps et de complexité. Un processus automatisé est donc essentiel. Pour ces graphes RDF de grande taille, nous suggérons une nouvelle façon en utilisant la vérification formelle Le Model checking .Le Model checking est une technique de vérification qui explore tous les états possibles du système. De cette manière, on peut montrer qu un modèle d un système donné satisfait une propriété donnée. Cette thèse apporte une nouvelle méthode de vérification et d interrogation de graphes sémantiques. Nous proposons une approche nommé ScaleSem qui consiste à transformer les graphes sémantiques en graphes compréhensibles par le model checker (l outil de vérification de la méthode Model checking). Il est nécessaire d avoir des outils logiciels permettant de réaliser la traduction d un graphe décrit dans un formalisme vers le même graphe (ou une adaptation) décrit dans un autre formalismeThe increasing development of networks and especially the Internet has greatly expanded the gap between heterogeneous information systems. In a review of studies of interoperability of heterogeneous information systems, we find that all the work in this area tends to be in solving the problems of semantic heterogeneity. The W3C (World Wide Web Consortium) standards proposed to represent the semantic ontology. Ontology is becoming an indispensable support for interoperability of information systems, and in particular the semantics. The structure of the ontology is a combination of concepts, properties and relations. This combination is also called a semantic graph. Several languages have been developed in the context of the Semantic Web. Most of these languages use syntax XML (eXtensible Meta Language). The OWL (Ontology Web Language) and RDF (Resource Description Framework) are the most important languages of the Semantic Web, and are based on XML.RDF is the first W3C standard for enriching resources on the Web with detailed descriptions, and increases the facility of automatic processing of Web resources. Descriptions may be characteristics of resources, such as the author or the content of a website. These descriptions are metadata. Enriching the Web with metadata allows the development of the so-called Semantic Web. RDF is used to represent semantic graphs corresponding to a specific knowledge modeling. RDF files are typically stored in a relational database and manipulated using SQL, or derived languages such as SPARQL. This solution is well suited for small RDF graphs, but is unfortunately not well suited for large RDF graphs. These graphs are rapidly evolving, and adapting them to change may reveal inconsistencies. Driving the implementation of changes while maintaining the consistency of a semantic graph is a crucial task, and costly in terms of time and complexity. An automated process is essential. For these large RDF graphs, we propose a new way using formal verification entitled "Model Checking".Model Checking is a verification technique that explores all possible states of the system. In this way, we can show that a model of a given system satisfies a given property. This thesis provides a new method for checking and querying semantic graphs. We propose an approach called ScaleSem which transforms semantic graphs into graphs understood by the Model Checker (The verification Tool of the Model Checking method). It is necessary to have software tools to perform the translation of a graph described in a certain formalism into the same graph (or adaptation) described in another formalismDIJON-BU Doc.électronique (212319901) / SudocSudocFranceF

Peut-on évaluer les outils d'acquisition de connaissances à partir de textes ?

National audienceMalgré les années de recul et d'expériences accumulées, il est difficile de se faire une idée claire de l'état d'avancement des recherches en acquisition de connaissances à partir de textes. Le manque de protocoles d'évaluation ne facilite pas la comparaison des résultats. Nous développons, dans cet article, la question de l'évaluation des outils d'acquisition de terminologies et d'ontologies en soulignant les princi- pales difficultés et en décrivant nos premières propositions dans ce domaine

Vers une ontologie de domaine pour l’analyse de l’état de conservation du bâti patrimonial

Les pratiques de conservation et restauration de monuments historiques requièrent l’élaboration de diagnostics impliquant une multitude d’experts au sein de contextes d’études pluridisciplinaires. L’état de conservation d’un objet patrimonial est décrit au moyen d’observations directes impliquant des sources documentaires et des données analytiques hétérogènes. Parallèlement, si de nouveaux outils permettent aux différents experts de mémoriser et d’analyser leurs observations sur différents supports, les données générées par ces différents acteurs ne sont généralement ni reliées ni spatialisées autour d’un unique support de référence. De plus, aujourd’hui, il est possible de générer des entités 3D denses et précises, mais isolées, ces représentations spatiales ne sont pas suffisantes pour répondre aux exigences d’observation réelle des acteurs de la conservation. Ce constat montre l’absence de cadres opérationnels pour l’extraction d’informations pertinentes pour l’analyse et l’interprétation de l’état de conservation. La nécessité de créer un support d’analyse commun est donc au centre des préoccupations. C’est la raison pour laquelle la création d’une ontologie dans le domaine de la conservation semble être une solution innovante non seulement pour rendre intelligibles des représentations spatiales brutes, mais également pour permettre d’introduire la notion de continuum informationnel. Par l’interconnexion de descripteurs qualitatifs (par une formalisation des connaissances partagées) et quantitatifs, l’ontologie de domaine constitue l’échafaudage conceptuel pour clarifier l’ensemble des interrelations qui permettent par combinaison de décrire les phénomènes de dégradation du bâti.The conservation and restoration of historic monuments require diagnostic analysis carried out by multidisciplinary teams. The elaboration of this diagnosis of a cultural heritage object involves direct observation, the examination of documentary sources and of diverse types of analytical data. While new tools now allow various experts to store and analyse their observations on different media, the data generated by these different actors is generally not linked to a unique reference, nor spatialized around it. Today, it is possible to generate dense and precise 3D models, but these spatial representations are not adequate for the requirements of real observations of conservation actors. This observation pinpoints the lack of operational frameworks for the capture of information pertaining to the analysis and interpretation of a state of conservation. The need to create a common analytical support is therefore central to these concerns. This is why the creation of an ontology in the field of conservation seems to be an innovative solution not only for making raw spatial representations intelligible, but also for introducing the notion of an informational continuum. By the interconnection of descriptors that are both qualitative (formalising shared knowledge) and quantitative, domain ontology constitutes the conceptual scaffolding which can help clarify all the interrelationships that, by combination, allow for a description of building degradation phenomena

Evolution cohérente des ressources termino-ontologiques et des annotations sémantiques

Un des enjeux du web sémantique est de produire des caractérisations formelles de contenus documentaires, ou annotations sémantiques, de qualité. Or dans un environnement dynamique, les ressources termino-ontologiques et les annotations sémantiques qu'elles permettent de construire doivent être modifiées régulièrement et en cohérence pour s'adapter à l'évolution du domaine concerné et des collections documentaires annotées. Notre contribution est une méthode qui permet de gérer conjointement l'évolution d'une ressource termino-ontologique et d'annotations sémantiques produites à partir de cette ressource. La méthode définit les types de changements applicables (élémentaires ou complexes), ainsi que des stratégies d'évolution de la ressource et des annotations. Cette méthode est mise en œuvre par le logiciel EvOnto qui s'intègre à l'environnement d'annotation automatique de documents TextViz défini dans le cadre du projet ANR DYNAMO. L'originalité d'EvOnto est de s'adapter à plusieurs scénarios d'évolution suivant que ce soit l'ontologie, la collection documentaire ou les annotations qui soient modifiées. EvOnto assure un support à l'ontologue en le guidant interactivement pour formuler une demande de changement, évaluer son impact (effets supplémentaires) sur la ressource termino-ontologique et aussi sur les annotations sémantiques, et décider ensuite de leur mise en œuvre. Il fournit des informations à l'ontologue pour qu'il décide d'une évolution en connaissant ses conséquences, et qu'il l'adapte pour minimiser les effets négatifs, les impacts non souhaitables ou les coûts correspondants sur la ressource elle-même et son utilisation dans des annotations.One of the challenges of the Semantic Web is to get high quality formal representations that characterize document content, also called semantic annotations. In a dynamic environment, the termino-ontological resources and semantic annotations built thanks to the resources must be regularly and consistently modified to adapt to the evolution of the domain to which they relate and to the annotated document collections. Our contribution is a method to jointly manage the evolution of a termino-ontological resource and semantic annotations built with this resource. The method defines applicable change types (elementary or complex) as well as evolution strategies for both the resource and the document semantic annotations. This method is supported by the EvOnto system that takes place in the TextViz platform for ontology-based automatic document annotation developed in the DYNAMO project. The originality of EvOnto is to preserve the consistency between the termino-ontological resources and the semantic annotations.. EvOnto provides support to the ontologist for different scenarios, and guides him interactively when he requests for a change by assessing its impact (additional effects) on the quality of the termino-ontological resource and also on semantic annotations, and then when he decides on their implementation. EvOnto provides the ontologist with relevant information on the use of ontology so that he takes initiative of a change knowing its consequences, and so that he adapts changes to minimize their negative effects, their undesirable impacts and their related costs on the resource itself and its use in annotations