2. FOIS 2001: Ogunquit, Maine, USA

• Barry Smith, Christopher A. Welty:
  FOIS introduction: Ontology - towards a new synthesis. iii-ix
  
• E. J. Lowe:
  Opening plenary talk: Recent advances in metaphysics. 1
  
• Ian Niles, Adam Pease:
  Towards a standard upper ontology. 2-9
  
• Ariel Fuxman, Paolo Giorgini, Manuel Kolp, John Mylopoulos:
  Information systems as social structures. 10-21
  
• David D. McDonald:
  The view from the trenches: issues in the ontology of restricted domains. 22-33
  
• Wolfgang Degen, Barbara Heller, Heinrich Herre, Barry Smith:
  GOL: toward an axiomatized upper-level ontology. 34-46
  
• Atanas Kiryakov, Kiril Ivanov Simov, Marin Dimitrov:
  OntoMap: portal for upper-level ontologies. 47-58
  
• Michael Johnson, Christopher N. G. Dampney:
  On category theory as a (meta) ontology for information systems research. 59-69
  
• Erwan Breton, Jean Bézivin:
  Towards an understanding of model executability. 70-80
  
• Valentina A. M. Tamma, Trevor J. M. Bench-Capon:
  An enriched knowledge model for formal ontological analysis. 81-92
  
• Carola Eschenbach:
  Viewing composition tables as axiomatic systems. 93-104
  
• Brandon Bennett:
  Space, time, matter and things. 105-116
  
• Leo Obrst, Robert E. Wray, Howard Liu:
  Ontological engineering for B2B E-commerce. 117-126
  
• Jesualdo Tomás Fernández-Breis, Dagoberto Castellanos Nieves, Rafael Valencia-García, Pedro José Vivancos Vicente, Rodrigo Martínez-Béjar, Manuel De las Heras-González:
  Towards scott domains-based topological ontology models. 127-138
  
• Dimiter Vakarelov, Ivo Düntsch, Brandon Bennett:
  A note on proximity spaces and connection based mereology. 139-150
  
• Sergei Nirenburg, Victor Raskin:
  Ontological semantics, formal ontology, and ambiguity. 151-161
  
• Cleo Condoravdi, Dick Crouch, John O. Everett, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow, Martin van den Berg:
  Preventing existence. 162-173
  
• John Howse, Fernando Molina, John Taylor, Sun-Joo Shin:
  Type-syntax and token-syntax in diagrammatic systems. 174-185
  
• Lawrence W. Barsalou:
  The human conceptual system. 186-186
  
• Gloria L. Zúñiga:
  Ontology: its transformation from philosophy to information systems. 187-197
  
• Anthony G. Cohn:
  Formalising bio-spatial knowledge. 198-209
  
• Stefan Schulz, Udo Hahn:
  Mereotopological reasoning about parts and (w)holes in bio-ontologies. 210-221
  
• Anita Burgun, Olivier Bodenreider:
  Aspects of the taxonomic relation in the biomedical domain. 222-233
  
• Massimiliano Carrara, Pierdaniele Giaretta:
  Identity criteria and sortal concepts. 234-243
  
• Aaron N. Kaplan:
  Towards a consistent logical framework for ontological analysis. 244-255
  
• Christopher Menzel, Michael Grüninger:
  A formal foundation for process modeling. 256-269
  
• Paola Velardi, Paolo Fabriani, Michele Missikoff:
  Using text processing techniques to automatically enrich a domain ontology. 270-284
  
• Aldo Gangemi, Nicola Guarino, Alessandro Oltramari:
  Conceptual analysis of lexical taxonomies: thecase of WordNet top-level. 285-296
  
• Farshad Hakimpour, Andreas Geppert:
  Resolving semantic heterogeneity in schema integration. 297-308
  
• Thomas Bittner, Barry Smith:
  Granular partitions and vagueness. 309-320
  
• Maureen Donnelly:
  Introducing granularity-dependent quantitativedistance and diameter measures in common-sense reasoning contexts. 321-332
  
• Johanna Seibt:
  Formal process ontology. 333-345