FOIS '01 PROGRAM

Meals and break refreshments are provided except where indicated as "on your own."

Tuesday, October 16, 2001

18:30 - 21:00 Opening Registration and Reception

Wednesday, October 17, 2001

8:30 Registration
9:00 Introductory Remarks by Conference Chairs
9:15 Opening PlenaryTalk
E. J. Lowe (Durham University, UK): Recent Advances in Metaphysics


10:30
Coffee Break



General and Methodological
Session Chair: Nicola Guarino
11:00 Ian Niles and Adam Pease: Origins of the IEEE Standard Upper Ontology
11:30 Ariel Fuxman, Paolo Giorgini, Manuel Kolp and John Mylopoulos: Information Systems as Social Structures
12:00     David D. McDonald: The View from the Trenches: Issues in the Ontology of Restricted Domains


12:30 Lunch



Upper-Level Ontologies
Session Chair: Dagobert Soergel
14:00 Wolfgang Degen, Barbara Heller, Heinrich Herre and Barry Smith: GOL: Towards an Axiomatized Meta-Level Ontology
14.30 Atanas Kiryakov, Kiril Simov and Marin Dimitrov: OntoMap: Portal for Upper-Level Ontologies
15:00
Brandon Bennett: Space, Time, Matter and Things


15:30 Coffee Break



Models and Axioms
Session Chair: Michael Gruninger
16:00 John Howse, Fernando Molina, Sun-Joo Shin, John Taylor: Type-Syntax and Token-Syntax in Diagrammatic Systems
16:30 Carola Eschenbach: Composition Tables as Axiomatic Systems
17:00
Anthony G. Cohn: Formalising Bio-Spatial knowledge
 
18:00 Dinner (on your own)
 
20:30 Panel: What Do E-Commerce Ontologists Actually Do?
Chair: David Koepsell
Leo Obrst, Robert Wray and Howard Liu: Ontology Engineering for E-Commerce:  A Real B2B Example
Richard Beatch (Kanisa): Ontologies and Categories in E-Business
Bill Anderson (OntologyWorks): XML and Ontologies
David Koepsell (Ontology Works and Buffalo Center for Ontology): Ontologies and the Economy  of Web Services

Thursday, October 18, 2001

Natural Language, Mereotopological Ontology
Session Chair: James Pustejovsky
9:00 Sergei Nirenburg and Victor Raskin: Ontological Semantics, Formal Ontology, and Ambiguity
9:30 Danny Bobrow, Cleo Condoravdi, Dick Crouch, J Everett, V Paiva, R Stolle, M van den Berg: Preventing Existence
10:00
Dimiter Vakarelov, Ivo Duentsch, and Brandon Bennett: On Proximity Spaces and Connection-Based Mereology


10:30
Coffee Break


11:00 Plenary Talk by Larry Barsalou (Emory University)
The Human Conceptual System


12:30 Lunch (on your own)


14:30 Student Session
Chair: Eric Little
Gloria L. Zuniga: Ontology: Its Transformation from Philosophy to Information Systems
Eric Little: The Ontology of Integral Wholes
 
15:30 Breakout Sessions (in parallel)

Geospatial Ontologies
Chair: Barry Smith
David Mark: Ontological Foundations for Geographic Information Systems
Werner Kuhn: How to incorporate activities in (spatial) ontologies
Ryan Kohl, Lowell Vizenor and John Rock: Proximity, Connection, and Location

Ontologies, Semantic Integration/Interoperability, and the Semantic Web
Chair: Michael Uschold


19:00 Conference Dinner with Talk
Patrick Hayes (University of West Florida):
The Emporer's Old Clothes: Why Philosophy is Irrelevant to Ontology

Friday, October 19, 2001


Biomedical Ontologies
Session Chair: Michael Uschold
9:00 Stefan Schulz and Udo Hahn: Mereotopological Reasoning about Parts and (W)Holes in Bio-Ontologies
9:30 Anita Burgun and Olivier Bodenreider: Aspects of the Taxonomic Relation in the Biomedical Domain


10:00 Coffee Break



Identity and Constraints
Session Chair: Bill Andersen
10:30 Aaron Kaplan: Towards a Consistent Logical Framework for Ontological Analysis
11:00 Carrara Massimiliano and Giaretta Pierdaniele: Identity Criteria and Sortal Concepts
11:30 Chris Menzel and Mike Gruninger: A Formal Foundation for Process Modeling


12:00 Lunch



Lexical Resources, Information Integration
Session Chair: Claudio Masolo
13:30 Paola Velardi, Michele Missikoff and Paolo Fabriani: Using Text Processing Techniques to Automatically Enrich a Domain Ontology
14:00 Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari: Conceptual Analysis of Lexical Taxonomies: The Case of WordNet
14:30
Farshad Hakimpour and Andreas Geppert: Resolving Semantic Heterogeneity in Schema Integration: Ontology Based Approach


15:00
Coffee Break



Vagueness, Granularity, Processes
Session Chair: Heinrich Herre
15:00
Thomas Bittner and Barry Smith: Vagueness and Partitions
15:30
Maureen Donnelly: Introducing Granularity-Dependent Quantitative Distance and Diameter Measures in Common-Sense Reasoning Contexts


16:00
Closing session: Discussion, future, and wrapup