3.4 Knowledge Representation

Total Page:16

File Type:pdf, Size:1020Kb

3.4 Knowledge Representation THÈSE Pour l’obtention du grade de DOCTEUR de l’UNIVERSITÉ DE TECHNOLOGIE DE TROYES Spécialité: Systèmes Socio Techniques (SST) Equipe de Tech-CICO Présentée et soutenue par Amer EZOJI le 10 Septembre 2019 DOTK: territorial ontology as a tool to help the industries for sustainable development JURY Laurent GENESTE Professeur des universités à l’ENIT Rapporteur Davy MONTICOLO Maître de conférence-HDR à l’ENSGSI Rapporteur Junbeum KIM Professeur associé à l’UTT Examinateur Andrea RAGGI Professore ordinario à l’Università degli Studi G.d’Annunzio Examinateur Nada MATTA Professeure de l’UTT-HDR Directrice de thèse DOTK: territorial ontology as a tool to help the industries for sustainable development Abstract : The growing attention given to sustainable development is encouraging companies to integrate sustainability issues into their activities. To increase the performance of this integration, sustainable aspects should be embedded at all corporate hierarchical levels (strategy, tactic & operation). Regarding the increasing role of the territorial resources, lack of knowledge about the territory’s feature is a barrier to searching the possible concepts for sustainability’s goal. The aim of carried out research in this thesis is to help the hierarchical level in order to increase their knowledge about their territorial resources to integrate this knowledge into their activities for sustainability. For this purpose, territorial ontologies can facilitate territorial knowledge sharing and increase sustainable performances. So, a Descriptive Ontology for Territorial Knowledge (DOTK) is proposed. Then, DOTK ontology is applied in a real case to identify the resources of specific territory. Moreover, it is demonstrated which entities of DOTK can extract the resources of each territory to help sustainable development of industries and territory. We also addressed a semantic graph of the relationship between entities of DOTK ontology. The final contribution of this thesis consists of the validation of application ontology of DOTK via the interview by organizations through the definition of three use cases scenario. Keywords: ontology, sustainable development, industrial organization, national territory. Résumé: L’attention croissante accordée au développement durable encourage les entreprises à intégrer les questions de durabilité dans leurs activités. Pour accroître la performance de cette intégration, les aspects durables devraient être intégrés à tous les niveaux hiérarchiques de l’entreprise. En ce qui concerne le rôle croissant des ressources territoriales, le manque de connaissances sur les caractéristiques du territoire constitue un obstacle à la recherche des concepts possibles de durabilité. L’objectif de la recherche réalisé dans cette thèse est d’aider le niveau hiérarchique afin d’augmenter leurs connaissances sur leur ressource territoriale pour intégrer ces connaissances dans leurs activités de durabilité. À cette fin, les ontologies territoriales peuvent faciliter le partage des connaissances territoriales et augmenter les performances durables. Une ontologie descriptive de la connaissance territoriale (DOTK) est donc proposée. Ensuite, l’ontologie DOTK est appliquée dans un cas réel pour identifier les ressources d’un territoire spécifique afin de démontrer quel DOTK peut identifier les ressources de chaque territoire pour aider au développement durable des industries et des territoires. Nous avons également développé un graphe sémantique des relations entre les entités de l’ontologie DOTK. La contribution de cette thèse consiste à la validation de l’ontologie d’application de DOTK Troyes par des interviews avec des organisations de développement territoriaux, permettant de définir des scénarios d’utilisation. Mots clés : ontologie, développement durable, organisation industrielle, territoire national. II Acknowledgements First of all, I would like to thank the members of the jury who gave me the great honor to evaluate this thesis: Mr. Laurent GENESTE, professor at Ecole National d’Ingenieure de Tarbes, Mr. Davy MONTICOLO, associate professor at Ecole National Supérieure en Génie des systèms et de l’Innovation de Nancy, Mr. Andrea RAGGI, professor at University of degli Studi G.d’Annunzio, Mr. Junbeum KIM, associate professor at University of Technology of Troyes. I thank them so much for the time they have devoted to this research, despite all their responsibilities. My sincere thanks are also dedicated to my supervisor, professor Nada MATTA. I thank for the confidence she gave me through her agreement on my thesis supervision. Without her scientific guidance and constant feedbacks this Ph.D. would not have been achieved. I would also like to express my great thanks to the team of Tech-CICO of the University of Technology of Troyes for welcoming me to their team. I thank them again for their continuous accompanying, their constructive advice, and their valuable ideas proposed during which have been very useful in my research process. I am grateful to all my doctoral friends and other colleagues of Tech-CICO and CREIDD for their collaboration. All my thanks to my best friends for their support and encouragement, specially my friends in Troyes for the nice moments after work and scientific exchanges during my study which helped enriching my experience. I would also like to say a heartfelt thank to my parents for always believing in me and encouraging me to fallow my dreams. And finally to my dear wife, Ronak who has been by my side throughout this Ph.D., living every single minute of it, and without whom, I would not have had the courage to embark on this journey in the first place. It is obvious that without their supports, my success would not have been possible. III Abbreviations AI Artificial Intelligence BFO Basic Formal Ontology BSC Business Sud Chamapgne CAD Computer Aided Design CCI International Chamber of Commerce DOLCE Descriptive Ontology for Linguistic and Cognitive Engineering DOTK Descriptive Ontology of Territorial Knowledge GFO General Formal Ontology GIS Geographical Information System LOSI Laboratory of Optimization of Industrial Systems IC Intellectual capital ICT Information and Communication Technology IE Industrial Ecology ISO International Organization for Standardization IT Information Technology ITE Industrial and Territorial Ecology IUT University Institutes of Technology LCA Life Cycle Assessment NGO Non Governmental Organization PLM Product Lifecycle Management RLCA Regionalisation of Life Cycle Assessment PROTON PROTo Ontology SRADDET Regional Scheme of Planning, Sustainable Development and Territorial Equality SUMO Suggested Upper Merged Ontology TCAT Public Transport in the Agglomeration of Troyes TCM Troyes Champagne Metropole TM Text Mining UIMM Union of Metallurgies Industries UTT University of Technology of Troyes IV Table of Contents 1. Introduction ............................................................................................................................ 1 1.1 Background ................................................................................................................................. 2 1.2 Problem formulation .................................................................................................................. 4 1.3 Research questions and hypothesis ........................................................................................... 5 1.4 Thesis overview ........................................................................................................................... 7 2. Sustainability and territory ................................................................................................... 9 2.1 Introduction .............................................................................................................................. 10 2.2 Sustainability ............................................................................................................................ 10 2.2.1 How to achieve sustainability? .............................................................................................. 13 2.2.2 Definitions the five dimensions of sustainability ................................................................... 14 2.2.3 General problem ..................................................................................................................... 15 2.3 Industrial enterprise and territorial sphere ........................................................................... 16 2.4 Territory .................................................................................................................................... 16 2.4.1 A definition from geographical science ............................................................................... 17 2.4.2 An administrative definition of territory ................................................................................ 18 2.4.3 A definition from industry ................................................................................................... 18 2.4.4 A definition of territory adapting with real sustainability (5-dimensions) ............................ 18 2.5 Integration of sustainability into hierarchical corporate levels ........................................... 20 2.6 Considering of territory for sustainability in different researches ...................................... 22 2.7 Problem formulation ...............................................................................................................
Recommended publications
  • First-Order Logic
    INF5390 – Kunstig intelligens First-Order Logic Roar Fjellheim Outline Logical commitments First-order logic First-order inference Resolution rule Reasoning systems Summary Extracts from AIMA Chapter 8: First-Order Logic Chapter 9: Inference in First-Order Logic INF5390-AI-05 First-Order Logic 2 From propositonal to first-order logic Features of propositional logic: + Declarative + Compositional + ”Possible-world” semantics - Lacks expressiveness First-order logic: Extends propositional logic Keeps good features Adds expressiveness INF5390-AI-05 First-Order Logic 3 First-order logic First-order logic is based on “common sense” or linguistic concepts: Objects: people, houses, numbers, .. Properties: tall, red, .. Relations: brother, bigger than, .. Functions: father of, roof of, .. Variables: x, y, .. (takes objects as values) First-order logic is the most important and best understood logic in philosophy, mathematics, and AI INF5390-AI-05 First-Order Logic 4 Logic “commitments” Ontological commitment Ontology - in philosophy, the study of “what is” What are the underlying assumptions of the logic with respect to the nature of reality Epistemological commitment Epistemology - in philosophy, the study of “what can be known” What are the underlying assumptions of the logic with respect to the nature of what the agent can know INF5390-AI-05 First-Order Logic 5 Commitments of some logic languages Language Ontological Epistemological Commitment Commitment Propositional logic Facts True/false/unknown First-order logic
    [Show full text]
  • Liste Des Communes Constitutives Du GAL Othe Armance
    Liste des communes constitutives du GAL Othe Armance Le GAL Othe-Armance est constitué de 86 communes rassemblant au total 30 542 habitants (sans double compte selon données INSEE 2014). Voici la liste des communes qui constituent son périmètre : Nombre Nom de la commune N° INSEE d'habitants EPCI (INSEE 2012) 1 Aix-Villemaur-Pâlis 10003 3584 CC du Pays d'Othe CA Troyes Champagne 2 Assenay 10013 164 Métropole CC du Chaourçois et du Val 3 Auxon 10018 955 d'Armance CC du Chaourçois et du Val 4 Avreuil 10024 148 d'Armance CC du Chaourçois et du Val 5 Balnot-la-Grange 10028 131 d'Armance 6 Bercenay-en-Othe 10037 462 CC du Pays d’Othe CC du Chaourçois et du Val 7 Bernon 10040 196 d'Armance 8 Bérulle 10042 257 CC du Pays d'Othe CA Troyes Champagne 9 Les Bordes-Aumont 10049 587 Métropole CA Troyes Champagne 10 Bouilly 10051 1102 Métropole CA Troyes Champagne 11 Bucey-en-Othe 10066 436 Métropole CC du Chaourçois et du Val 12 Chamoy 10074 498 d'Armance CC du Chaourçois et du Val 13 Chaource 10080 1141 d'Armance CC du Chaourçois et du Val 14 Chaserey 10087 58 d'Armance 15 Chennegy 10096 446 CC du Pays d'Othe Aixois CC du Chaourçois et du Val 16 Chesley 10098 335 d'Armance CC du Chaourçois et du Val 17 Chessy-les-Prés 10099 530 d'Armancee CA Troyes Champagne 18 Cormost 10104 311 Métropole CC du Chaourçois et du Val 19 Coursan-en-Othe 10107 106 d'Armance CC du Chaourçois et du Val 20 Courtaoult 10108 99 d'Armance CC du Chaourçois et du Val 21 Coussegrey 10112 181 d'Armance CA Troyes Champagne 22 Crésantignes 10116 316 Métropole CC du Chaourçois et
    [Show full text]
  • Ontological Commitment of Natural Language Semantics
    Ontological Commitment of Natural Language Semantics MSc Thesis (Afstudeerscriptie) written by Viktoriia Denisova (born July, 23d 1986 in Kustanay, Kazakhstan) under the supervision of Prof. Dr. Martin Stokhof, and submitted to the Board of Examiners in partial fulfillment of the requirements for the degree of MSc in Logic at the Universiteit van Amsterdam. Date of the public defense: Members of the Thesis Committee: March, 23d 2012 Prof. Dr. Martin Stokhof Prof. Dr. Frank Veltman Dr. Paul Dekker Contents Acknowledgments v Abstract vi Introduction 1 1 Quine's Ontological Criterion 5 1.1 Why do we need to define the criterion of ontological commitment? 5 1.2 Why do we operate on the semantic level when talking about on- tology? . 13 1.3 What does Quine's ontological criterion bring to semantics? . 15 1.4 What is the role of logic in determination of the ontological com- mitment? . 17 1.5 Concluding remarks . 19 2 Critique of the Ontological Criterion 21 2.1 Hodges on the philosophical importance of ontological commitment 21 2.2 Evaluation of Hodges's exposition . 25 2.3 Beyond the semantics of standard first-order logic . 27 2.3.1 The difficulties concerning first-order regimentation . 27 2.3.2 Regimentation of the sentences that contain plurals . 30 2.3.3 Regimentation of modals . 31 2.4 Evaluation of Rayo's exposition . 33 3 Ontological commitment within possible worlds semantics 35 3.1 The reasons to consider ontological commitment in intensional lan- guage . 35 3.2 Ontological commitment for proper names . 37 3.3 Natural kind terms .
    [Show full text]
  • Prévision Des Contrôles Routiers
    COMMUNIQUÉ DE PRESSE Troyes, le 19 a r!l "#"1 CHIFFRES DE LA SÉCURITÉ ROUTIÈRE BILAN DE LA SEMAINE N° 15 Le pr%&e' de l)A*+e e' les &or,es (e l)ordre (e-e*re.' -o+!l!s%s e. "#"1 pour (!&&*ser des -essa/es de !/!la.,e, de pr% e.'!on e' de ,onse!ls e. -a'!0re de s%,*r!'% rou'!0re a&!. ()!. !'er ,1a2*e ,on(*,'e*r 3 adop'er *. co-por'e-e.t res$onsa+le s*r les rou'es4 De .o-+re*5 ,o-por'e-e.ts !.a(a$'%s e' da./ere*5 res'e.' ,e$e.da.' 'ou6ours ,onsta'%s4 A!.s!, (*ra.t la se-a!.e é,oul%e, les for,es de l)ordre ont proc%(% a*x ver+al!sa'!ons s*! a.'es 7 • 171 e5,0s de v!'esses 9 • 7 fa!ts de ,on(*!'e sous l)e-$!re ()*. éta' al,ool!2*e 9 • 7 &a!ts de con(*!'e sous l)e-pr!se de s'*$%&!a.'s 9 • 30 &a!ts ()*sa/e du '%l%$1one a* vola.' 9 • 7 &a!ts de (%&a*ts de port de la ,e!.'*re de s%,*r!'% ou de (!s$os!'!& de re'e.*e pour e.&a.' 9 • 12 &a!ts de ,on(*!'es sa.s $er-!s de ,on(*!re 9 • 7 &a!ts de re&*s de pr!or!'% 9 • 19 %1!,*les !--o+!l!s%s e. ra!so. ()!.&ra,'!ons gra es a* ,ode de la rou'e 9 • 26 s*s$e.s!ons a(-!.!stra'! es de $er-!s de ,on(*!re i--%(!a'e4 Prévision des contrôles routiers Da.s u.
    [Show full text]
  • Communiqué De Presse Calamites Agricoles Sur
    COMMUNIQUÉ DE PRESSE CALAMITES AGRICOLES SUR PRAIRIES Troyes, le 10 mars 2021 ÉPISODE DE SÉCHERESSE 2020 Le Comité National de Gestion des Ris!"es en #$ri%"lture ré"ni le 1& 'é(rier 2021 a émis "n a(is 'a(ora)le * la re%onnaissan%e de %alamité a$ri%ole po"r les pertes s"r les +rairies %a"sées +ar la sé%,eresse du 1er -"illet a" 30 se+tem)re 2020/ Par arr0té ministériel du . mars 2021, la re%onnaissan%e de %alamité a$ri%ole porte s"r les pertes de récolte sur prairies per a!e!tes et temporaires de la "o!e suiva!te $ 1ne indemnisation pe"t 0tre attri)"ée si les pertes de ré%oltes s"r +rairies sont s"+érie"res * 30%, et si les pertes s3él4(ent a" minim"m à 1. % de la (ale"r du produit br"t théori!"e de l3e5+loitation/ Les e5+loitants sinistrés pe"(ent dé+oser, +ar télédé%laration s"r le site TéléC#L#M, "ne demande d'indemnisation a" titre de la procédure des %alamités a$ri%oles du jeudi &' mars au #e!dredi &( a#ril )*)&+ ,ttps$--...+au/e.0ou#+1r-Politi2ues-pu/li2ues-A0riculture34oret-A!imau53C,asse3et-peche-Crises3et3 Aides3co!jo!cturelles Co!tact DDT $ Sté+,anie ESP# N#C 8 tél. 9 0. 2: ;1 18 1. ddt-sea'8)sic@a")e/$ou(/'r Pré'e%t"re de l3#")e Tél : 03 25 42 35 00 Contact presse 2, r"e Pierre L#BONDE CS 20 3128 10025 Troyes Cede5 CCC/ a")e /$o"(/'r 6att,ie" OLI=IER / Floren%e GO IEN <Pre'eta")e Tél : 03 25 42 36 52 6él : pre'8%omm"ni%ation<a")e/$o"(/'r <Pre'et10 ANNEXE Listes des co u!es de la zo!e reco!!ue sinistrée $ #ille(ille, #i58=illema"r-Palis, #lli)a"di4res, #man%e, #r%is s"r #")e, #r%on(ille, #r$anDon, #rrelles, #rrem)e%ourt, #rrenti4res,
    [Show full text]
  • En Champagne D 10 Paris D 677 D 7 Aube
    Châlons-en-Champagne, Reims, Metz Oslo Dublin Poivres 7 Amsterdam Semoine 1 Londres E - Berlin Aube NOGENT-SUR-SEINE, église Saint-Laurent, Lucis ROMILLY-SUR-SEINE, église Saint-Martin, Baptême FONTAINE-LES-GRÈS, église Sainte-Agnès, toison de LUSIGNY-SUR-BARSE, église Saint-Martin, baptême VENDEUVRE-SUR-BARSE, église Saint-Pierre, CHAVANGES, église Saint-Georges, démon de Bruxelles 6 Potentia (la force de la lumière), Fabienne Verdier et de Jésus, Joël Mône et l’atelier Vitrail Saint-Georges l’agneau dont la maille évoque la bonneterie,2 de saint Martin, Louis-Germain Vincent-Larcher, 1859 ange tenant un encensoir, Max Ingrand, v. 1955 l’Apocalypse d’après A. Dürer, v. 1530-40 A Luxembourg la Manufacture Vincent-Petit (Troyes), 2018 (Lyon), 2013 Jean-Claude Vignes, 1955 Mailly-le-Camp en Champagne D 10 Paris D 677 D 7 Aube D 9 Genève Salon Villiers-Herbisse Milan Herbisse Trouans Marne D 71 Rome Sézanne Champfleury Dosnon Madrid Barcelone D 951 Sézanne Vitry-le- Lisbonne Vitraux D 10 Grandville François 47 L’ Huîtrelle D 373 Seine-et- Anglure Allibaudières D 76 Villenauxe- Marne Marne la-Grande Boulages Plancy- 46 Plessis- L’ Aube D 56 l'Abbaye Viâpres- D 396 Barbuise Champigny- D 677 Montpothier Étrelles- le-Petit sur-Aube D 10 sur-Aube Lhuître Charny-le- D 56 45 Provins La Villeneuve- Bachot Ormes Barbuise D 52 Le Chêne au-Châtelot Longueville- Arrembécourt La D 9 Paris D 951 Périgny- 51 sur-Aube D 56 Dampierre Saulsotte la-Rose D 373 Pouan-les- Bessy Torcy-le- Bailly- Rhèges Vallées D 441 Torcy- Vinets D 24 42 Grand le-Petit Isle-
    [Show full text]
  • Région Territoire De Vie-Santé Commune Code Département Code
    Code Code Région Territoire de vie-santé Commune département commune Grand-Est Rethel Acy-Romance 08 08001 Grand-Est Nouzonville Aiglemont 08 08003 Grand-Est Rethel Aire 08 08004 Grand-Est Rethel Alincourt 08 08005 Grand-Est Rethel Alland'Huy-et-Sausseuil 08 08006 Grand-Est Vouziers Les Alleux 08 08007 Grand-Est Rethel Amagne 08 08008 Grand-Est Carignan Amblimont 08 08009 Grand-Est Rethel Ambly-Fleury 08 08010 Grand-Est Revin Anchamps 08 08011 Grand-Est Sedan Angecourt 08 08013 Grand-Est Rethel Annelles 08 08014 Grand-Est Hirson Antheny 08 08015 Grand-Est Hirson Aouste 08 08016 Grand-Est Sainte-Menehould Apremont 08 08017 Grand-Est Vouziers Ardeuil-et-Montfauxelles 08 08018 Grand-Est Vouziers Les Grandes-Armoises 08 08019 Grand-Est Vouziers Les Petites-Armoises 08 08020 Grand-Est Rethel Arnicourt 08 08021 Grand-Est Charleville-Mézières Arreux 08 08022 Grand-Est Sedan Artaise-le-Vivier 08 08023 Grand-Est Rethel Asfeld 08 08024 Grand-Est Vouziers Attigny 08 08025 Grand-Est Charleville-Mézières Aubigny-les-Pothées 08 08026 Grand-Est Rethel Auboncourt-Vauzelles 08 08027 Grand-Est Givet Aubrives 08 08028 Grand-Est Carignan Auflance 08 08029 Grand-Est Hirson Auge 08 08030 Grand-Est Vouziers Aure 08 08031 Grand-Est Reims Aussonce 08 08032 Grand-Est Vouziers Authe 08 08033 Grand-Est Sedan Autrecourt-et-Pourron 08 08034 Grand-Est Vouziers Autruche 08 08035 Grand-Est Vouziers Autry 08 08036 Grand-Est Hirson Auvillers-les-Forges 08 08037 Grand-Est Rethel Avançon 08 08038 Grand-Est Rethel Avaux 08 08039 Grand-Est Charleville-Mézières Les Ayvelles
    [Show full text]
  • Arrêté Interministériel Du 9 Janvier 1995 Relatif À La Limitation Du Bruit Dans Les Établissements D'enseignement
    PREFECTURE DE L'AUBE A R R E T E N° Portant classement des infrastructures de transports terrestres du département de l'Aube et déterminant l'isolement acoustique des bâtiments d'habitation dans les secteurs affectés par le bruit à proximité des Routes Départementales. Le Préfet de l'Aube Chevalier de l'Ordre National du Mérite Vu le code de l'environnement et notamment l'article L 571-10, Vu le code de la construction et de l'habitation, et notamment son article R 111-4-1, Vu la loi n° 92-1444 du 31 décembre 1992 relative à la lutte contre le bruit, et notamment l'article 14, Vu le décret n° 92-604 du 1er juillet 1992 portant charte de décentralisation, Vu le décret n° 95-20 du 9 janvier 1995 pis pour l'application de l'article L 111-11-1 du code de la construction et de l'habitation et relatif aux caractéristiques acoustiques de certains bâtiments autres que d'habitations et de leurs équipements, Vu le décret n° 95-21 du 9 janvier 1995 relatif au classement au classement des infrastructures de transports terrestres et modifiant le code de l'urbanisme et le code de la construction et de l'habitation, Vu le décret n° 2004.374 du 29 avril 2004 relatif aux pouvoirs des préfets à l’organisation et à l’action des services de l’État dans les régions et les départements, Vu l'arrêté interministériel du 9 janvier 1995 relatif à la limitation du bruit dans les établissements d'enseignement, Vu l'arrêté interministériel du 30 mai 1996 relatif aux modalités de classement des infrastructures de transports terrestres et à l'isolement acoustique des
    [Show full text]
  • Programme Des Animations/Visites À
    AÉROPORT PARISVATRY CHALONS REIMS LILLE METZ JOURNÉES EUROPÉENNES MONTSUZAIN DU PATRIMOINE TROYES CHAMPAGNE AUBETERRE MÉTROPOLE VILLACERF FEUGES PAYNS MERGEY SAINTBENOIT SURSEINE VAILLY LE PAVILLON SAINTE JULIE SAINT LYÉ VILLELOUP SAINTE MAURE BARBEREY SAINTSULPICE NANCY SAINTDIZIER CRENEY PRÈS TROYES DIERREY SAINT PIERRE LAVAU PONT SAINTEMARIE LA CHAPELLE SAINTLUC BOURANTON VILLECHÉTIF MONTGUEUX LES NOËS TROYES PRÈSTROYES SAINTPARRES AUXTERTRES LAUBRESSEL THENNELIÈRES SAINTESAVINE MACEY FONTVANNES SAINTANDRÉ LA RIVIÈRE LESVERGERS SAINTJULIEN RUVIGNY DE CORPS LESVILLAS TORVILLIERS COURTERANGES BUCEY ESTISSAC ENOTHE SAINT MESSON GERMAIN ROUILY SAINT LOUP SENS PARIS ROSIÈRES BRÉVIANDES LUSIGNY PRÈS TROYES SUR BARSE L’ART MONTAULIN MON AGENDA MESNIL SAINT PÈRE DU SAINTLÉGER CHAUMONT PARTAGE PRUGNY PRÈSTROYES JEP 2018 Voirs détails et conditions au dos et sur VERRIÈRES MONTREUIL https://journeesdupatrimoine.culture.gouv.fr SURBARSE 15 & 16 BUCHÈRES LAINES AUX BOIS MONTIÉRAMEY SEPTEMBRE SAMEDI DIMANCHE SAINT POUANGE 2018 MOUSSEY 15/09 16/09 VALLÉE DE LA HAUTE SEINE VAUCHASSIS ISLE AUMONT CLÉREY BARBEREY-SAINT-SULPICE LA CHAPELLE SAINT-LUC FRESNOY PAYNS VILLEMEREUIL LE CHÂTEAU SAINT PONT-SAINTE-MARIE THIBAULT SOULIGNY SAINT-BENOIT-SUR-SEINE RONCENAY BOUILLY ROUTE DES LACS LÉGENDE VILLY BOURANTON LE MARÉCHAL LES BORDES DIJON AUMONT CLÉREY ASSENAY MONTREUIL-SUR-BARSE VILLERY RUVIGNY SAINT ÉGLISE ACCESSIBILITÉ TOTALE JEAN DE BONNEVAL CORMOST SAINT PARRES AUX TERTRES THENNELIÈRES SOMMEVAL VILLY LE BOIS JAVERNANT VERRIÈRES VISITE LIBRE LIREY
    [Show full text]
  • Formalizing Ontological Commitments
    From: AAAI-94 Proceedings. Copyright © 1994, AAAI (www.aaai.org). All rights reserved. Formalizing Ontological Commitments Nicola Guarino Massimiliano Carrara Pierdaniele Giaretta LADSEB-CNR, National Research Council, Viale Ungheria, 43a Institute of History of Philosophy, Corso Stati Uniti, 4 I-37046 Minerbe (VR) University of Padova, I-35127 Padova, Italy Italy Piazza Capitaniato, 3 [email protected] I-35100 Padova, Italy Abstract purposes, since we want to include in the commitment Formalizing the ontological commitment of a logical lan- some basic assumptions and distinctions presupposed by guage means offering a way to specify the intended meaning the theory. of its vocabulary by constraining the set of its models, giv- In the AI community, the above position is at the basis ing explicit information about the intended nature of the of current projects for knowledge sharing and reuse modelling primitives and their a priori relationships. We (Neches et al. 1991). In the knowledge acquisition litera- present here a formal definition of ontological commitment ture, the notion of ontological commitment has been intro- which aims to capture the very basic ontological assump- duced by Gruber (1993-1994) as an agreement to use a tions about the intended domain, related to issues such as sli,ared vocabukary specification: such a specification is a identity and internal structure. To tackle such issues, a set of terminological ‘axioms, <and ontological commitment modal framework endowed with mereo-topological primi- amounts to syntactical consistency with such axioms. This tives has been adopted. The paper is mostly based on a re- syntactical notion does not fit our intuitions, since it seems visitation of philosophical (and linguistic) literature in the natural to allow two different vocabularies (using English perspective of knowledge representation.
    [Show full text]
  • Liste Gestionnaires ALSH Conventionnés CAF De L'aube.Pdf
    ACCUEILS DE LOISIRS SANS HEBERGEMENT LISTE DES GESTIONNAIRES CONVENTIONNES AVEC LA CAF DE L’AUBE ORGANISMES ADRESSE DU GESTIONNAIRE MAIRIE COMMUNE D’AIX VILLEMAUR 1 AVENUE GEORGES 10160 AIX VILLEMAUR PALIS PALIS CLEMENCEAU MAIRIE AFR ARCIS SUR AUBE 10700 ARCIS SUR AUBE 1 PLACE DES HEROS ASSOCIATION UN NOUVEAU 28 RUE DES CORDELIERS 10700 ARCIS SUR AUBE MONDE ASSOCIATION ENFANTS ET 132 RUE DU MOULIN 10130 AUXON FAMILLES AUXON MAISON POUR TOUS DE BAR SUR RUE ABBE RIEL 10200 BAR SUR AUBE AUBE 132 GRANDE RUE DE LA COMMUNE DE BAR SUR SEINE 10110 BAR SUR SEINE RESISTANCE COMMUNAUTE DE COMMUNES 4 GRANDE RUE DE LA DU BARSEQUANAIS EN 10110 BAR SUR SEINE RESISTANCE CHAMPAGNE COMMUNE DE BARBEREY SAINT MAIRIE 10600 BARBEREY SAINT SULPICE SULPICE 12 RUE ROBERT BAUDOIN MAIRIE MAISON POUR TOUS PREVERT 10130 BAYEL PLACE DE LA MAIRIE ASSOCIATION BREVIANDES PLACE DE LA MAIRIE 10450 BREVIANDES ANIMATION JEUNES MAISON POUR TOUS - CENTRE 2 RUE DE LOMENIE 10500 BRIENNE LE CHATEAU SOCIAL DE BRIENNE MAIRIE COMMUNE DE BUCHERES 10800 BUCHERES 1 RUE DE LA MAIRIE MAIRIE AFR CHAOURCE 10210 CHAOURCE 43 GRANDE RUE MJC DE CHAOURCE 10 PLACE DES ARCADES 10210 CHAOURCE AFR CLEREY FRESNOY LE 11 RUE DE L'EGLISE 10390 CLEREY CHATEAU COMMUNE DE CRENEY PRES 24 RUE DE LA REPUBLIQUE 10150 CRENEY PRES TROYES TROYES AFR LES CROSSETTES 4 PLACE DE LA MAIRIE 10500 DIENVILLE Liste des gestionnaires ALSH conventionnés - MAJ 21/01/2019 1 COMMUNE DE DIERREY SAINT MAIRIE 10190 DIERREY SAINT JULIEN JULIEN 1 RUE DU GRAND BOUT MAISON POUR TOUS ESSOYES 23 RUE GAMBETTA 10360 ESSOYES ASSOCIATION
    [Show full text]
  • Commune 10200 Ailleville 10160 Aix-En-Othe 10700 Allibaudières
    Commune 10200 Ailleville 10160 Aix-en-Othe 10700 Allibaudières 10200 Arconville 10140 Argançon 10340 Arrelles 10330 Arrembécourt 10200 Arrentières 10200 Arsonval 10320 Assenay 10220 Assencières 10150 Aubeterre 10240 Aulnay 10130 Auxon 10400 Avant-lès-Marcilly 10240 Avant-lès-Ramerupt 10340 Avirey-Lingey 10290 Avon-la-Pèze 10340 Bagneux-la-Fosse 10330 Bailly-le-Franc 10330 Balignicourt 10110 Balnot-sur-Laignes 10110 Bar-sur-Seine 10400 Barbuise 10200 Baroville 10310 Bayel 10190 Bercenay-en-Othe 10200 Bergères 10110 Bertignolles 10160 Bérulle 10170 Bessy 10500 Bétignicourt 10140 Beurey 10500 Blaincourt-sur-Aube 10500 Blignicourt 10200 Bligny 10800 Bordes-Aumont 10140 Bossancourt 10320 Bouilly 10270 Bouranton 10110 Bourguignons 10220 Bouy-Luxembourg 10400 Bouy-sur-Orvin 10340 Bragelogne-Beauvoir 10500 Braux 10800 Bréviandes 10140 Briel-sur-Barse 10500 Brienne-la-Vieille 10240 Brillecourt 10190 Bucey-en-Othe 10800 Buchères 10110 Buxeuil 10110 Buxières-sur-Arce 10110 Celles-sur-Ource 10110 Chacenay 10500 Chaise 10500 Chalette-sur-Voire 10130 Chamoy 10140 Champ-sur-Barse 10700 Champfleury 10700 Champigny-sur-Aube 10340 Channes 10700 Chapelle-Vallon 10260 Chappes 10150 Charmont-sous-Barbuise 10290 Charmoy 10240 Chaudrey 10110 Chauffour-lès-Bailly 10500 Chaumesnil 10330 Chavanges 10700 Chêne 10190 Chennegy 10110 Chervey 10240 Coclois 10200 Colombé-la-Fosse 10200 Colombé-le-Sec 10800 Cormost 10500 Courcelles-sur-Voire 10400 Courceroy 10130 Coursan-en-Othe 10130 Courtaoult 10260 Courtenot 10270 Courteranges 10250 Courteron 10200 Couvignon 10100
    [Show full text]