Action and semantics of time in agro-ecology

In the systemic approach, the system is perceived as an action or a collection of overlapping actions expressed in reference to Time, Space, and Morphology (or Energy). When the system is studied by different disciplines, the referentials differ, as well as the semantics of terms used to describe the action. In order to establish the vocabulary of a collection of actions involving several disciplines, we propose a formal method for describing each action. The linguistic-based method enables (i) transcription of the literal description of an action in a semantic network, and (ii) building of a vocabulary in a formal setting. The method is illustrated through a complex biological system, i.e. the mutualistic relationship between two vine pests, while focusing particularly on temporality. The method provides a support for implementing multidisciplinary around a complex system. (Résumé d'auteur

Graphs for Ontology, Law and Policy

Le livre est en accès libre. The book is in open acces

Modélisation d'un système complexe - Une méthode déclarative

Dans le cadre de leurs travaux, les chercheurs peuvent être amenés à assembler des programmes de simulation préexistants. Le mode opératoire repose sur l'hypothèse que l'assemblage de programmes, chacun représentant un sous-système, permet d'accéder à la simulation du système global. Cette hypothèse n'est pas toujours vérifiée et la question se pose de l'identification des sous-systèmes manquants. La théorie du système général appréhende les systèmes sous la forme d'une collection d'actions enchevêtrées. L'objet de ce document est de présenter une méthode déclarative de description de système complexe reposant sur cette théorie et d'en montrer une application à un système biologique

Utilisation de connaissances expertes pour l'assemblage de programmes de simulation en agronomie

Soumis à la conférence INFORSIDThe work concerned the assembly of biological sub-systems to gain access to a functional representation of the overall system, in the case of complex biological interactions (symbiosis, etc.). The proposed method uses the statement of expert knowledge described in a literal way to establish the sub-system interface program. The use of interrogative pronouns and adverbs provides a formal framework to produce graphs from literal descriptions. In terms of results, the method enables (i) access to the vocabulary of the assembly program, (ii) identification of the transformation functions to be established, and (iii) an estimation of the valence required by programs to ensure assembly. From an operational perspective, the generic approach proposed is a theoretical construct that remains to be validated in concrete cases of application

Migration Revisited using the Categories Theory: Application to Biological Modelling Languages

N/

On automatic class insertion with overloading

Also published in Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA)International audienceSeveral algorithms [Cas92, MS89, Run92, DDHL94a, DDHL95, GMM95] have been proposed to automatically insert a class into an inheritance hierarchy. But actual hierarchies all include overriden and overloaded properties that these algorithms handle either very partially or not at all. Partially handled means handled provided there is a separate given function f able to compare overloaded properties [DDHL95, GMM95].In this paper, we describe a new version of our algorithm (named Ares) which handles automatic class insertion more efficiently using such a function f. Although impossible to fully define, this function can be computed for a number of well defined cases of overloading and overriding. We give a classification of such cases and describe the computation process for a well-defined set of nontrivial cases.The algorithm preserves these important properties:- preservation of the maximal factorization of properties- preservation of the underlying structure (Galois lattice) of the input hierarchy- conservation of relevant classes of the input hierarchy with their properties

Utilisation de l'analyse formelle de concepts pour extraire le plus grand modèle commun

International audienceThe development of information systems follows a long and complex process in which various actors are involved. We report an experiment in which we observe the evolution of the analysis model of an information system through 15 successive versions. We use indicators on the underlying concept lattices built by applying Relational Concept Analysis (RCA) to each version. RCA is an extension of FCA which groups entities based on characteristics they share, including links to other entities. It here helps in analyzing their evolution. From this experience, we establish recommendations to monitor and verify the proper evolution of the analysis process

Generic conceptual models for data and knowledge sharing: application to the environmental domain

Proceedings of the Seventh International Conference on Hydroscience and Engineering, Philadelphia, PA, September 2006. http://hdl.handle.net/1860/732Within the framework of the Syscolag and Roselt pluridisciplinary research programs, we propose generic conceptual models to set up a communication infrastructure to facilitate informational resources as well as knowledge sharing between the various stakeholders. We propose the use of a metadata service to share informational resources and the use of an ontology to share knowledge. We focus on the control of thematic and spatial descriptions. We propose a generic model to manage the semantic and spatial relationships between thematic and spatial concepts regardless of the domain. Finally we propose a generic ontology model to inventory and structure concepts and related knowledges in the particular case of the environmental domain

Aspects classificatoires des systèmes à objets

Colloque avec actes et comité de lecture.Cet article cherche à mettre en évidence les divers aspects de la classification dans la variété des systèmes à objets. Pour cela, la classification est examinée en tant que processus de formation et d'organisation de classes, mais aussi en tant que processus de raisonnement, pour des besoins de reconnaissance par exemple. Il est montré que l'approche objet apporte un point de vue particulier et des interrogations nouvelles et complexes dans le domaine de la classification