Uncategorized

Program draft

FOIS2021 SchedulePDF
FOIS2021 Schedule DetailedPDF

Mon 13 Sep 2021 (all times CET)

Workshops and tutorials

11:15 – 12:00 Break

13:30 – 15:00 Lunch (catered)

16:30 – 17:15 Break

Keynote

  • 17:15 – 18:00 Nicola Guarino
    • Events as qualitative changes

Tue 14 Sep 2021

  • 09:45 – 10:00 Opening – 15 min

Mereology & Concepts

  • 10:00 – 10:15 Claudio Masolo, Laure Vieu, Roberta Ferrario, Stefano Borgo and Daniele Porello
    • Collectives, Composites and Pluralities
  • 10:15 – 10:30 C. Maria Keet
    • The computer program as a functional whole
  • 10:30 – 10:45 Adrien Barton, Fumiaki Toyoshima, Laure Vieu, Paul Fabry and Jean-Francois Ethier
    • The mereological structure of informational entities
  • 10:45 – 11:00 Matt Selway, Markus Stumptner and Wolfgang Mayer
    • Towards the Formalisation of Concept Descriptions and Constraints
  • 11:00 – 11:15 Discussion

11:15 – 12:00 Break

Applications

  • 12:00 – 12:15 Dean Allemang, Pawel Garbacz, P Grądzki, E Kendall and R Trypuz
    • An infrastructure for collaborative ontology development
  • 12:15 – 12:30 Simone Coetzer and Arina Britz
    • Debugging classical ontologies using defeasible reasoning tools
  • 12:30 – 12:45 Mattia Fumagalli, Gabor Bella, Samuele Conti and Fausto Giunchiglia
    • Ontology-Driven Cross-Domain Transfer Learning
  • 12:45 – 13:00 Brandon Bennett
    • Semantic Analysis of Winograd Schema No. 1
  • 13:00 – 13:30 Discussion

13:30 – 15:00 Lunch (catered)

Demonstrations

15:00 – 16:30 Forthcoming

16:30 – 17:15 Break

Keynote

  • 17:15 – 18:00 Arianna Betti
    • TBA

Wed 15 Sep 2021

Representation & FOIS 2020 Best Paper

  • 09:45 – 10:00 Pablo Fillottrani and C. Maria Keet
    • An analysis of commitments in ontology language design
  • 10:00 – 10:15 Lucía Gómez Álvarez and Sebastian Rudolph
    • Standpoint Logic: Multi-Perspective Knowledge Representation
  • 10:15 – 10:30 Riichiro Mizoguchi and Stefano Borgo
    • An Ontology of Representation
  • 10:30 – 10:45 Haythem Ismail and Merna Shafie [FOIS 2020 Best Paper]
    • A Commonsense Theory of Secrets
  • 10:45 – 11:15 Discussion

11:15 – 12:00 Break

Intention & Cognition

  • 12:00 – 12:15 Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria Hedblom and Pietro Galliani
    • Asymmetric Hybrids: Dialogues for Computational Concept Combination
  • 12:15 – 12:30 Fumiaki Toyoshima, Adrien Barton and Olivier Grenier.
    • Foundations for an Ontology of Belief, Desire and Intention
  • 12:30 – 12:45 Mihai Pomarlan and John Bateman
    • Embodied functional relations: a formal account combining abstract logical theory with grounding in simulation
  • 12:45 – 13:00 Luca Biccheri, Roberta Ferrario and Daniele Porello
    • Needs and intentionality
  • 13:00 – 13:30 Discussion

13:30 – 15:00 Lunch (catered)

The Americas I

  • 15:00 – 15:15 Carmen Chui, Michael Gruninger and Janette Wong
    • An Ontology for Formal Models of Kinship
  • 15:15 – 15:30 Fumiaki Toyoshima
    • Foundations for Ontology of Persistence: Beyond Talk of Temporal Parts
  • 15:30 – 15:45 Discussion

Early Career Symposium

15:45 – 16:30 Forthcoming

16:30 – 17:15 Break

IAOA General Meeting

17:00 – 18:15 IAOA General Meeting

Thu 16 Sep 2021

Domain Ontology

  • 9:45 – 10:00 Daniel Beßler, R. Porzel, Mihai Pomarlan, A. Vyas, S. Höffner, M. Beetz, R. Malaka and John Bateman
    • Foundations of the Socio-physical Model of Activities (SOMA) for Autonomous Robotic Agents
  • 10:00 – 10:15 Dorothea Tsatsou, Elena Lalama, Saskia Wilson-Barnes, Kathryn Hart, Véronique Cornelissen, Roselien Buys, Ion Pagkalos, Sofia Dias, Kosmas Dimitropoulos and Petros Daras
    • NAct: The Nutrition and Activity Ontology for Healthy Living
  • 10:15 – 10:30 Mirna El Ghosh and Habib Abdulrab
    • Capturing the Basics of the GDPR in a Well-Founded Legal Domain Modular Ontology
  • 10:45 – 11:00 Emilio Sanfilippo, Perrine Pittet and Béatrice Markhoff
    • Ontological analysis and modularization of CIDOC-CRM
  • 11:00 – 11:15 Discussion

11:15 – 12:00 Break

Ontology Showcase

12:00 – 13:30 Forthcoming

13:30 – 15:00 Lunch (catered)

The Americas II

  • 15:00 – 15:15 Shirly Stephen and Torsten Hahmann
    • On Externally Verifying FOL Ontologies: A Study of Two Spatial Ontologies
  • 15:15 – 15:30 Cristine Griffo, João Paulo Andrade Almeida and Giancarlo Guizzardi
    • Legal Theories and Judicial Decision-Making
  • 15:30 – 15:45 Fumiaki Toyoshima, Adrien Barton, Ludger Jansen and Jean-Francois Ethier
    • Towards a Unified Dispositional Framework for Realizable Entities
  • 15:45 – 16:00 Michael Gruninger, Carmen Chui, Yi Ru and Jona Thai
    • A Mereology for Connected Structures
  • 16:00 – 16:15 Discussion

16:15 – 16:30 Awards

16:30 – 17:15 Break

Keynote

  • 17:15 – 18:00 Stefan Schulz
    • SNOMED CT x BFO: can the gap between legacy terminology and foundational ontology
      be bridged?

Conference Dinner

19:00 – Forthcoming

Fri 17 Sep 2021

Workshops

9:45 – 18:30 See Workshops page for details

11:15 – 12:00 Break

13:30 – 15:00 Lunch (catered)

16:30 – 17:15 Break