The 9th International Conference on Formal Ontology in Information Systems, FOIS 2016

List of Accepted Papers

  • Birger Andersson, Nicola Guarino, Paul Johannesson and Barbara Livieri, "Towards an ontology of value ascription"
  • Adrien Barton and Jean-François Ethier, "The Two Ontological Faces of Velocity"
  • Ringo Baumann, Frank Loebe and Heinrich Herre, "Towards an Ontology of Space for GFO"
  • Brandon Bennett, Anthony Cohn, Heshan Du and Lucia Gomez Alvarez, "Defining Relations"
  • Thomas Bittner, Jonathan Bona and Werner Ceusters, "Ontologies of Dynamical Systems and Verifiable ontology-based computation: A Haskell-based implementation of a reference tracking system for medical records as a Case Study"
  • Stefano Borgo, Riichiro Mizoguchi and Yoshinobu Kitamura, "Formalizing and adapting a general function module for foundational ontologies"
  • Bruno Borlini Duarte, Vitor E. Silva Souza, André Luiz De Castro Leal, Ricardo De Almeida Falbo, Giancarlo Guizzardi and Renata S. S. Guizzardi, "Towards an Ontology of Requirements at Runtime"
  • Carmen Chui and Michael Gruninger, "A Molecular Structure Ontology for Medicinal Chemistry"
  • Antony Galton, Gabriel Landini, David Randell and Shereen Fouad, "Ontological Levels in Histological Imaging"
  • Aldo Gangemi, Andrea Giovanni Nuzzolese, Valentina Presutti and Diego Reforgiato, "Adjective Semantics in Open Knowledge Extraction"
  • Pawel Garbacz, "A formal ontology of texts"
  • Fausto Giunchiglia and Mattia Fumagalli, "Concepts as (Recognition) Abilities"
  • Tomas Hanzal, Vojtěch Svátek and Miroslav Vacura, "Modeling Events on the Semantic Web: Empirical Investigation and PURO Background Model Considerations"
  • Robert Hoehndorf, Liam Mencel, Georgios Gkoutos and Paul Schofield, "Large-scale reasoning over functions in biomedical ontologies"
  • Tie Hou, Peter Chapman and Andrew Blake, "Antipattern Comprehension: An Empirical Evaluation"
  • Megan Katsumi and Michael Gruninger, "What is Ontology Reuse?"
  • Claudio Masolo, "Observations and their Explanations"
  • Claudio Masolo and Daniele Porello, "Understanding Predication in Conceptual Spaces"
  • Fernando Roda and Cecilia Zanni-Merk, "An Intelligent Data Analysis framework for supporting perception of geospatial phenomena"
  • Emilio Sanfilippo, Claudio Masolo, Stefano Borgo and Daniele Porello, "Features and Components in Product Structure Models"
  • Simon Scheider and Martin Tomko, "Knowing whether spatio-temporal analysis procedures are applicable to datasets"
  • Hedda R. Schmidtke, "Granular Mereogeometry"
  • Selja Seppälä, Alan Ruttenberg and Barry Smith, "The Functions of Definitions in Ontologies"
  • Lydia Silva-Munoz and Michael Gruninger, "Mapping and Verification of the Time Ontology in SUMO"
  • Zena Wood, "Considering Collectives: roles, members and goals"


built with PmWiki using an adaptation of the Neat template by Carlos A. Bonamigo