6^th Workshop on Foundational Ontology

Registration

Registrations to FOUST VI and JOWO 2022 are available at https://iaoa.org/jowo/2022

Program

Date: Monday, August 15, 2022

Session 1

11:00 – 11:30

Representation Theorems for Extensional Mereology

Jona Thai and Michael Gruninger

11:30 – 12:00

Foundational ontologies meet automatic theorem provers

Pawel Garbacz

12:00 – 12:30

Spatiotemporal = Spatial X Temporal

Yunpiao Bai and Michael Gruninger

Session 2

14:00 – 14:30

BFO Classifier: aligning domain ontologies to BFO

Chiadika Emeruem, C. Maria Keet, Zubeida Khan and Steve Wang

14:30 – 15:00

A Mereological System for Informational Templates

Adrien Barton, Cédric Tarbouriech, Laure Vieu and Jean-Francois Ethier

15:00 – 15:30

Investigating Functions in BFO from the Viewpoint of Extrinsic Dispositions

Fumiaki Toyoshima, Adrien Barton and Jean Francois Ethier

Session 3

16:00 – 16:30

FORT’s arguments, alignment with foundational ontologies, and CL-formalization

Fatme Danash and Danielle Ziebelin

Foustian Struggle

Date: Tuesday, August 16, 2022 – 14:00 CEST.

The Foustian Struggle is a debate session involving leading developers of many of the most influential foundation ontologies throughout the past decades. More specifically, this session will involve representants of the ontologies integrating the recently published FOUST Special Issue of the Applied Ontology Journal. The participants will interact through the format of a political debate in order to contrast how the ontologies they speak for tackle the representation of common modeling domains, all present in this special issue.

This debate will fun and light way to understand the differences and similarities between these different foundation ontologies. However, if you want to know more, feel free to read the full volume of the Applied Ontology journal, which is available for free to all members of IAOA. Free memberships IAOA of IAOA are available at https://iaoa.org/index.php/join/.

Call for papers

Important dates

• Submission deadline: May 27, 2022 June 10, 2022 June 12, 2022
• Review notification: July 08 July 22, 2022
• Camera ready: July 29, 2022
• Workshop: between August 15-19, 2022

About

The 6^th Workshop on Foundational Ontology (FOUST VI) is part of the 8^th Joint Ontology WOrkshops (JOWO 2022), which will be held between 15-19 August 2022 in Jönköping University, Jönköping, Sweden.

Foundational ontologies are attempts to systematise those categories of thought or reality which are common to all or almost all subject matters. Commonly considered examples of such categories include “object”, “quality”, “function”, “role”, “process”, “event”, “time”, and “place”. Amongst existing foundational ontologies, there is both a substantial measure of agreement and some dramatic disagreements. There is currently no uniform consensus concerning how a foundational ontology should be organised, how far its “reach” should be (e.g., is the distinction between physical and non-physical entities sufficiently fundamental to be included here?), and even what role it should play in relation to more specialised domain ontologies. The purpose of this workshop is to provide a forum for researchers and stakeholders to present work on specific foundational ontologies as well as their relations to each other and to the wider ontological enterprise, but also topics related to foundational questions in ontology engineering.

Workshop topics (among others)

• Changes to existing foundational ontologies/extensions by new modules
• Novel research on any specific category or topic that is usually covered by foundational ontology (e.g., functions, roles, time, mereology, ontological dependence, constitution)
• Theoretical results about specific foundational ontologies (e.g., consistency proofs, modularizations, etc.)
• Application results of foundational ontologies in AI, the Semantic Web, Linguistics, etc.
• Conceptual and formal comparisons and alignments of foundational ontologies
• Relationship and alignment of foundational ontologies and domain ontologies

Submissions

We encourage two types of contributions:

• Full research paper: submitted papers must have between 10 and 12 pages + an additional page for references (if necessary).
• Short paper: submitted papers must have between 5 and 6 pages + an additional page for references (if necessary).

Papers should be submitted non-anonymously in PDF format in compliance with the new 1-column CEUR-ART Style, which can be found at https://ceurws.wordpress.com/2020/03/31/ceurws-publishes-ceurart-paper-style/

The Easychair submission page can be found at https://easychair.org/conferences/?conf=jowo2022 (select the track “Workshop on Foundational Ontology”).

All contributions to JOWO workshops will be published in a joint CEUR proceedings volume, compare:

• JOWO 2021: http://ceur-ws.org/Vol-2969/
• JOWO 2020: http://ceur-ws.org/Vol-2708/ 
• JOWO 2019:http://ceur-ws.org/Vol-2518/
• JOWO 2017: http://ceur-ws.org/Vol-2050/

Contact

E-mail:  foustworkshop@gmail.com

Organization

Workshop chairs

• Claudenir M. Fonseca – University of Twente, The Netherlands
• Jona Thai – University of Toronto, Canada
• Oliver Kutz – Free University of Bozen-Bolzano, Italy
• Stefano Borgo – Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy

Program committee

• Adrien Barton – Institut de Recherche en Informatique de Toulouse, CNRS, France
• Bahar Aameri – University of Toronto, Canada
• Barry Smith – University of Buffalo, USA
• Boyan Brodaric – Geological Survey of Canada, Canada
• Claudio Masolo – Laboratory for Applied Ontology, ISTC-CNR, Italy
• Daniele Porello – University of Genova, Italy
• Emilio M. Sanfilippo – Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy
• Frank Loebe – University of Leipzig, Germany
• Fumiaki Toyoshima – Université de Sherbrooke, Canada
• Gilles Kassel – University of Picardy Jules Verne, France
• Jim Logan – No Magic, Inc, USA
• João Paulo A. Almeida – Federal University of Espírito Santo, Brazil
• John Bateman – University of Bremen, Germany
• Ludger Jansen – Universität Rostock, Germany
• Markus Stumptner – University of South Australia, Australia
• Mattia Fumagalli – Free University of Bozen-Bolzano, Italy
• Michael Grüninger – University of Toronto, Canada
• Pierre Grenon – National Center for Ontological Research, Buffalo, USA
• Roberta Ferrario – Laboratory for Applied Ontology, ISTC-CNR, Italy
• Tiago Prince Sales – University of Twente, The Netherlands

Steering committee

• Stefano Borgo – Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy
• Oliver Kutz – Free University of Bozen-Bolzano, Italy
• Frank Loebe – University of Leipzig, Germany
• Fabian Neuhaus – Otto-von-Guericke University Magdeburg, Germany