Program

All times CEST. To access papers, click on titles in the schedule below.

Mon 13 Sep 2021

9:45 – 11:15 Workshops and tutorials – Session 1

• 5th Workshop on Foundational Ontology (FOUST V) (1) [program]
• The International Workshop on Ontologies and Conceptual Modelling (OntoCom 2021) (1) [program]
• Tutorial: An Introduction to the BORO Foundation and its Industrial Applications through its Modelling Approaches (1) [web]
• Tutorial: Verbal and non-verbal predication across the grammatical-conceptual divide (1)

11:15 – 12:00 Break

12:00 – 13:30 Workshops and tutorials – Session 2

• 5th Workshop on Foundational Ontology (FOUST V) (2) [program]
• The International Workshop on Ontologies and Conceptual Modelling (OntoCom 2021) (2) [program]
• Tutorial: An Introduction to the BORO Foundation and its Industrial Applications through its Modelling Approaches (2) [web]
• Tutorial: Verbal and non-verbal predication across the grammatical-conceptual divide (2)

13:30 – 15:00 Lunch (catered)

15:00 – 16:30 Workshops and tutorials – Session 3

• 5th Workshop on Foundational Ontology (FOUST V) (3) [program]
• The International Workshop on Ontologies and Conceptual Modelling (OntoCom 2021) (3) [program]
• Tutorial: Verbal and non-verbal predication across the grammatical-conceptual divide (3)

16:30 – 17:15 Break

17:15 – 18:00 Nicola Guarino: Events as qualitative changes (keynote)

Tue 14 Sep 2021

09:45 – 10:00 Opening

10:00 – 11:15 Mereology & Concepts (chair: Pawel Garbacz)

• 10:00 – 10:15 Claudio Masolo, Laure Vieu, Roberta Ferrario, Stefano Borgo and Daniele Porello
  • Pluralities, Collectives, and Composites
• 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 Formalisation of Concept Descriptions and Constraints
• 11:00 – 11:15 Discussion

11:15 – 12:00 Break

12:00 – 13:30 Applications (chair: Janna Hastings)

• 12:00 – 12:15 Dean Allemang, Pawel Garbacz, Przemysław Grądzki, Elisa Kendall and Robert Trypuz
  • An Infrastructure for Collaborative Ontology Development
• 12:15 – 12:30 Simone Coetzer and Katarina 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)

15:00 – 16:30 Demonstrations

• 15:00 – 15:15 Beth Huffer and Simon Handley
  • AMP: An Automated Metadata Pipeline
• 15:15 – 15:30 Cornelis Bouter, Han Kruiger and Jack Verhoosel
  • Domain-Independent Data Processing in an Ontology Based Data Access Environment using the SOSA Ontology
• 15:30 – 15:45 Núria Queralt Rosinach, Mark Wilkinson, Rajaram Kaliyaperumal, César Bernabé, Qinqin Long, Michel Dumontier, Paul Schofield and Marco Roos
  • Reuse of Design Pattern Measurements for Health Data
• 15:45 – 16:00 Simon Flügel, Anna Kleinau, Fabian Neuhaus, Martin Glauer and Janna Hastings
  • FOWL – An OWL to FOL Translator
• 16:00 – 16:15 Nicoletta Fornara and Marco Sterpetti
  • An Architecture for Monitoring Norms that combines OWL Reasoning and Forward Chaining over Rules
• 16:15 – 16:30 Anne Hunt
  • A Design Pattern for Representing Idiosyncratic Ontologies in Industrial Applications

16:30 – 17:15 Break

17:15 – 18:00 Arianna Betti: Ontology Modelling, Ground Truths and the Digital Humanities (keynote)

Wed 15 Sep 2021

09:45 – 11:15 Representation & FOIS 2020 Best Paper (chair: Laure Vieu)

• 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
  • Towards an An Ontology of Representation
• 10:30 – 10:45 Haythem Ismail and Merna Shafie
  • A Commonsense Theory of Secrets [FOIS 2020 Best Paper]
• 10:45 – 11:15 Discussion

11:15 – 12:00 Break

12:00 – 13:30 Intention & Cognition (chair: Maria Hedblom)

• 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)

15:00 – 15:45 The Americas I (chair: Adrien Barton)

• 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

15:45 – 16:30 Early Career Symposium

After the presentations, come see the posters and talk to the authors on Gathertown!

• 15:45 – 15:50 Cauã Roca Antunes
  • Dialectical materialism for conceptual modeling (mentor: Pawel Garbacz)
• 15:50 – 15:55 César Henrique Bernabé
  • A formal goal-based method to support the process of making data FAIR: from planning to conceptual modelling (mentor: Giancarlo Guizzardi)
• 15:55 – 16:00 Pilar Hidalgo-León
  • Ontology-based classification software for crimes and its application in femicide cases (mentor: Mara Abel)
• 16:00 – 16:05 Alcides Lopes
  • Semantic similarity and relatedness evaluation based on meta-properties definitions (mentor: Selja Seppälä)
• 16:05 – 16:10 Fabrício H. Rodrigues
  • An ontological framework for occurrents as transitions among situations (mentor: Adrien Barton)
• 16:10 – 16:15 Nicolau O. Santos
  • Towards a well-founded domain ontology for offshore petroleum production plants (mentor: Emilio M. Sanfilippo)
• 16:15 – 16:20 Cédric Tarbouriech
  • Ontology of Procedures (mentor: Maureen Donnelly)
• 16:20 – 16:30 Discussion

16:30 – 17:15 Break & ECS Poster Session on Gathertown

Come see the posters and talk with the authors of the Early Career Symposium on Gathertown!

17:15 – 18:15 IAOA General Meeting

Thu 16 Sep 2021

09:45 – 11:15 Domain Ontology (chair: Beth Huffer)

• 09:45 – 10:00 Daniel Beßler, Robert Porzel, Mihai Pomarlan, Abhijit Vyas, Sebastian Höffner, Michael Beetz, Rainer 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 & 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

12:00 – 13:30 Ontology Showcase

• 12:00 – 12:15 Alexandros Vassiliades, Nikos Zarkadas, Nick Bassiliades and Theodore Patkos
  • Onto-IKEA: A Knowledge Retrieval Framework based on IKEA Ontology
• 12:15 – 12:30 Gerhard Goldbeck and Daniele Toti
  • MAEO: An ontology for modeling Agents, Experts and Expertise within an open online Materials Modeling MarketPlace
• 12:30 – 12:45 Bernd Krieg-Brückner, Serge Autexier and Mihai Pomarlan
  • The BAALL Ontology – Configuration of Service Robots, Food, and Diet
• 12:45 – 13:00 Zola Mahlaza and C. Maria Keet
  • ToCT: A task ontology to manage complex templates
• 13:00 – 13:15 Robert Warren and Jessica Singer
  • Beverage Graph: connecting data about consumable liquids
• 13:15 – 13:30 Martin Thomas Horsch, Daniele Toti, Silvia Chiacchiera, Michael Seaton, Gerhard Goldbeck and Ilian Todorov
  • OSMO: Ontology for Simulation, Modelling, and Optimization

13:30 – 15:00 Lunch (catered)

15:00 – 16:15 The Americas II (chair: Emilio Sanfilippo)

• 15:00 – 15:15 Shirly Stephen and Torsten Hahmann
  • Model-Finding for Externally Verifying FOL Ontologies: A Study of Spatial Ontologies
• 15:15 – 15:30 Cristine Griffo, João Paulo Andrade Almeida and Giancarlo Guizzardi
  • Legal Theories and Judicial Decision-Making: An Ontological Analysis
• 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

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

19:00 – Conference Dinner

Fri 17 Sep 2021

9:45 – 11:15 Workshops and tutorials – Session 4

• Cognition And OntologieS (CAOS V) (1)
• Workshop on Formal Ontology meets Industry (FOMI 2021) (1) [program]
• Ontologies for Autonomous Robotics (ROBONTICS 2021) (1) [program]

11:15 – 12:00 Break

12:00 – 13:30 Workshops and tutorials – Session 5

• Cognition And OntologieS (CAOS V) (2)
• Workshop on Formal Ontology meets Industry (FOMI 2021) (2) [program]
• Ontologies for Autonomous Robotics (ROBONTICS 2021) (2) [program]

13:30 – 15:00 Lunch (catered)

15:00 – 16:30 Workshops and tutorials – Session 6

• Workshop on Formal Ontology meets Industry (FOMI 2021) (3) [program]
• Ontologies for Autonomous Robotics (ROBONTICS 2021) (3)[program]
• Ontology of Social, Legal and Economic Entities (SoLEE 2021) (1) [program]
• Tutorial: Knowledge acquisition for ontology development (1)

16:30 – 17:15 Break

17:15 – 18:45 Workshops and tutorials – Session 7

• Workshop on Formal Ontology meets Industry (FOMI 2021) (4) [program]
• Ontology of Social, Legal and Economic Entities (SoLEE 2021) (2) [program]
• Tutorial: Knowledge acquisition for ontology development (2)