Terry Payne Nicola Guarino Chris Welty Barry Smith James Pustejovsky Bill Andersen Chris Menzel Thomas Bittner FOIS '01 Program - Registration/Day 1 Int Conf On Formal Ontology In Information Systems The Association for Computing Machinery Special Interest Group on Artificial Intelligence 2001-09-28 20011016T183000 18 30 20011016T210000 21 00 Opening Registration and Reception 20011017T083000 8 30 20011017T090000 9 00 Registration 20011017T090000 9 0 20011017T091500 9 15 Introductory Remarks by Conference Chairs 20011017T091500 9 15 20011017T103000 10 30 Opening Plenary Talk: Recent Advances in Metaphysics E. J. Lowe 20011017T103000 10 30 20011017T110000 11 00 Coffee Break 20011017T110000 11 00 20011017T113000 11 30 Origins of the IEEE Standard Upper Ontology Ian Niles Adam Pease 20011017T113000 11 30 20011017T120000 12 00 Information Systems as Social Structures Ariel Fuxman Paolo Giorgini Manuel Kolp John Mylopoulos 20011017T120000 12 00 20011017T123000 12 30 The View from the Trenches: Issues in the Ontology of Restricted Domains David D. McDonald 20011017T123000 12 30 20011017T140000 14 00 Lunch 20011017T140000 14 00 20011017T143000 14 30 GOL: Towards an Axiomatized Meta-Level Ontology Wolfgang Degen Barbara Heller Heinrich Herre 20011017T143000 14 30 20011017T15000 15 00 OntoMap: Portal for Upper-Level Ontologies Atanas Kiryakov Kiril Simov Marin Dimitrov 20011017T150000 15 00 20011017T153000 15 30 Space, Time, Matter and Things Brandon Bennett 20011017T153000 15 30 20011017T160000 16 00 Coffee Break 20011017T160000 16 00 20011017T163000 16 30 Towards an Understanding of Model Executability Erwan Breton Jean Bezivin 20011017T163000 16 30 20011017T170000 17 00 Composition Tables as Axiomatic Systems Carola Eschenbach 20011017T170000 17 00 20011017T173000 17 30 Formalising Bio-Spatial knowledge Anthony G. Cohn 20011017T173000 17 30 20011017T180000 18 00 Type-Syntax and Token-Syntax in Diagrammatic Systems John Howse Fernando Molina Sun-Joo Shin John Taylor 20011017T180000 18 00 20011017T203000 20 30 Dinner 20011017T203000 20 30 20011017T223000 22 30 Panel: What Do E-Commerce Ontologists Actually Do? David Koepsell Leo Obrst Robert Wray Howard Liu Richard Beatch 20010281T090000Z -0700 -0800 PST 20010401T100000Z +0800 +0700 PDT FOIS '01 Program - Day 2 Int Conf On Formal Ontology In Information Systems The Association for Computing Machinery Special Interest Group on Artificial Intelligence 2001-10-04 20011018T090000 9 00 20011018T093000 9 30 Ontological Semantics, Formal Ontology, and Ambiguity Sergei Nirenburg Victor Raskin 20011018T093000 9 30 20011018T100000 10 00 Preventing Existence Danny Bobrow Cleo Condoravdi Dick Crouch J Everett V Paiva R Stolle M van den Berg 20011018T100000 10 00 20011018T103000 10 30 On Proximity Spaces and Connection-Based Mereology Dimiter Vakarelov Ivo Duentsch Brandon Bennett 20011018T103000 10 30 20011018T110000 11 00 Coffee Break 20011018T110000 11 00 20011018T123000 12 30 Plenary Talk: The Human Conceptual System Larry Barsalou 20011018T123000 12 30 20011018T143000 14 30 Lunch 20011018T143000 14 30 20011018T173000 17 30 Breakout Sessions for specialist and student groups. 20011018T190000 19 00 20011018T223000 22 30 Conference Dinner with Talk - The Emporer's Old Clothes: Why Philosophy is Irrelevant to Ontology Patrick Hayes 20010281T090000Z -0700 -0800 PST 20010401T100000Z +0800 +0700 PDT FOIS '01 Program - Day 3 Int Conf On Formal Ontology In Information Systems The Association for Computing Machinery Special Interest Group on Artificial Intelligence 2001-10-07 20011019T090000 9 00 20011019T093000 9 30 Mereotopological Reasoning about Parts and (W)Holes in Bio-Ontologies Stefan Schulz Udo Hahn 20011019T093000 9 30 20011019T100000 10 00 Aspects of the Taxonomic Relation in the Biomedical Domain Anita Burgun Olivier Bodenreider 20011019T100000 10 00 20011019T103000 10 30 Coffee Break 20011019T103000 10 30 20011019T110000 11 00 Towards a Consistent Logical Framework for Ontological Analysis Aaron Kaplan 20011019T110000 11 00 20011019T113000 11 30 Identity Criteria and Sortal Concepts Carrara Massimiliano Giaretta Pierdaniele 20011019T113000 11 30 20011019T120000 12 00 A Formal Foundation for Process Modeling Mike Gruninger 20011019T120000 12 00 20011019T133000 13 30 Lunch 20011019T133000 13 30 20011019T140000 14 00 Using Text Processing Techniques to Automatically Enrich a Domain Ontology Paola Velardi Michele Missikoff Paolo Fabriani 20011019T140000 14 00 20011019T143000 14 30 Conceptual Analysis of Lexical Taxonomies: The Case of WordNet Aldo Gangemi Alessandro Oltramari 20011019T143000 14 30 20011019T150000 15 00 Resolving Semantic Heterogeneity in Schema Integration: Ontology Based Approach Farshad Hakimpour Andreas Geppert 20011019T150000 15 00 20011019T153000 15 30 Coffee Break 20011019T153000 15 30 20011019T160000 16 00 Vagueness and Partitions 20011019T160000 16 00 20011019T163000 16 30 Introducing Granularity-Dependent Quantitative Distance and Diameter Measures in Common-Sense Reasoning Contexts Maureen Donnelly 20011019T163000 16 30 20011019T170000 17 00 Closing session: Discussion, future, and wrapup 20010281T090000Z -0700 -0800 PST 20010401T100000Z +0800 +0700 PDT