Space-contained conflict revision, for geographic information

Using qualitative reasoning with geographic information, contrarily, for instance, with robotics, looks not only fastidious (i.e.: encoding knowledge Propositional Logics PL), but appears to be computational complex, and not tractable at all, most of the time. However, knowledge fusion or revision, is a common operation performed when users merge several different data sets in a unique decision making process, without much support. Introducing logics would be a great improvement, and we propose in this paper, means for deciding -a priori- if one application can benefit from a complete revision, under only the assumption of a conjecture that we name the "containment conjecture", which limits the size of the minimal conflicts to revise. We demonstrate that this conjecture brings us the interesting computational property of performing a not-provable but global, revision, made of many local revisions, at a tractable size. We illustrate this approach on an application.Comment: 14 page

Ontology and medical terminology: Why description logics are not enough

Ontology is currently perceived as the solution of first resort for all problems related to biomedical terminology, and the use of description logics is seen as a minimal requirement on adequate ontology-based systems. Contrary to common conceptions, however, description logics alone are not able to prevent incorrect representations; this is because they do not come with a theory indicating what is computed by using them, just as classical arithmetic does not tell us anything about the entities that are added or subtracted. In this paper we shall show that ontology is indeed an essential part of any solution to the problems of medical terminology – but only if it is understood in the right sort of way. Ontological engineering, we shall argue, should in every case go hand in hand with a sound ontological theory

BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems

In this report, we present work towards a framework for modeling and checking behavior of spatially distributed component systems. Design goals of our framework are the ability to model spatial behavior in a component oriented, simple and intuitive way, the possibility to automatically analyse and verify systems and integration possibilities with other modeling and verification tools. We present examples and the verification steps necessary to prove properties such as range coverage or the absence of collisions between components and technical details

Recursive SDN for Carrier Networks

Control planes for global carrier networks should be programmable (so that new functionality can be easily introduced) and scalable (so they can handle the numerical scale and geographic scope of these networks). Neither traditional control planes nor new SDN-based control planes meet both of these goals. In this paper, we propose a framework for recursive routing computations that combines the best of SDN (programmability) and traditional networks (scalability through hierarchy) to achieve these two desired properties. Through simulation on graphs of up to 10,000 nodes, we evaluate our design's ability to support a variety of routing and traffic engineering solutions, while incorporating a fast failure recovery mechanism

Do birds of a feather flock together? Proximities and inter-clusters network

The present contribution develops on the analysis of clusters in terms of proximities by exploring the issue of distant inter-cluster collaborations. We mobilize different forms of proximity (geographic, cognitive, social) discussed in the literature in order to identify their respective influence on intercluster collaboration by taking the example of French Pôles de Compétitivité. Our results echo previous results applied to intra-cluster collaborations since inter-cluster collaboration mostly relies on a form of social capital due to the key roles played by relational and cognitive proximity. Finally, our results exhibit a negative influence of geographic distance on collaboration. JEL: C45, R12, R58 Keywords: clusters, network analysis, proximities, intercluster collaboration

Investigating subsumption in DL-based terminologies: A case study in SNOMED CT

Formalisms such as description logics (DL) are sometimes expected to help terminologies ensure compliance with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) complies with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED CT classes with respect to these principles. Our major results are: 31% of the classes have a single child; 27% have multiple parents; 51% do not exhibit any differentiae between the description of the parent and that of the child. The applications of this study to quality assurance for ontologies are discussed and suggestions are made for dealing with multiple inheritance

Formation and geography of science-industry collaborations: the case of the University of Poitiers

This paper tries to elicit elements which explain the geography of science-industry collaborations by focusing on their construction process which is rarely studied regarding the existing literature. Constraints linked to the search of resources, on the one hand, and constraints linked to the logics of contact, on the other, weigh on actors when choosing their partner and could influence the geography of collaborations. An empirical study on collaborations established between Poitiers University's laboratories and firms confirms this hypothesis. Cognitive constraints lead to the spatial dissemination of collaborations. An econometric model shed light on the impact of logics of contact and shows that whereas most of these logics enable the construction of local and non local partnerships, non professional ties favor significantly local ones.Collaborations; geography; social networks; institutions; resources