Basic Formal Ontology Summit Meeting

Announcement

The 2023 Basic Formal Ontology Summit Meeting will be held May 23rd-25th, 2023. The aims of the meeting are:

1. to bring together researchers who have played an important role in the development and application of BFO, to highlight the practical impact and value of using BFO as a top-level architecture,
2. to identify and work through outstanding issues experienced by users of BFO,
3. to begin the creation of a set of BFO-conformant ontologies in the domain of government policy and data

Subsidiary goals are:

• to showcase real-world examples of incorporation of BFO in development pipelines and their practical impacts
• to promote collaboration across different groups of BFO users
• to share case studies illustrating challenges arising in BFO use, evaluation, interpretation, and revision
• to reveal differences in interpretation of BFO terms and relations, and of associated strategies for using BFO
• to share strategies of evaluation of BFO from different user bases
• to identify and disseminate strategies for improving the quality of BFO-based ontologies

Paper and Workshop Presentations

Those wishing to present a paper at this meeting, including at the workshops mentioned below, should submit a short abstract (~200 words) to John Beverley [1] before February 15th. Confirmation of acceptance will be issued by February 28th. Paper presentations are especially welcome on applications, uses cases, and practical aspects of employing BFO. See below for more descriptions of desirable presentation topics.

Those wishing to present a workshop should contact Barry Smith [2] as soon as possible. Note that we are planning for a meeting consisting entirely of plenary sessions. Hence, the number of workshops will be kept to a minimum.

Workshops chairs will decide each workshop structure (for example: panel, successive talks, one talk + responses, etc.); each workshop will be approximately 1-2 hours in length.

Registration

Participants may register here.

Early-bird registration fees are as follows (up to May 16th):

• Students - None
• Junior Faculty/Postdocs - $100
• Senior Faculty, Government, Industry - $300

These fees are designed primarily to cover venue and refreshment costs. After the early-bird registration period up to the event date, the registration fees will be as follows:

• Students - $50
• Junior Faculty/Postdocs - $150
• Senior Faculty, Government, Industry - $400

We are currently exploring possibilities for zoom participation, but given the goals of the event we strongly encourage in-person participation.

A processing fee of 10% will be charged for cancellations up to May 16th; thereafter, no refunds.

Keynote Speakers

We are happy to announce five keynote speakers (information will be updated as it becomes available).

Werner Ceusters
Division Chief, Biomedical Ontology
Department of Biomedical Informatics
University at Buffalo, Jacobs School of Medicine & Biomedical Sciences

The first keynote will be given by Werner Ceusters, who will speak on
The Axiomatization of BFO 2020: The Good, The Bad, and The Ugly ^Abstract

Alan Ruttenberg
Director of Clinical and Translational Data Exchange
University at Buffalo, School of Dental Medicine

The second keynote will be given by Alan Ruttenberg,
and will be titled Time Matters

Fabian Neuhaus
Institute for Intelligent Cooperating Systems, Otto-von-Guricke University Magdeburg

The third keynote will be given by Fabian Neuhaus,
and will be titled BFO-FOL for Domain Ontologies

Janna Hastings
Editor-in-Chief of Applied Ontology, Assistant Professor of Medical Knowledge and Decision Support, Institute for Implementation Science in Health Care, Faculty of Medicine, University of Zurich
Vice-Director, School of Medicine, University of St. Gallen

,

The fourth keynote, by Janna Hastings, will be titled
Field Reports from Using BFO in Scientific Ontologies

Ryan Riccucci
Division Chief, US Border Patrol

The fifth keynote, by Ryan Riccucci, will be titled
For a Government Ontology

Dates

May 23 (Tuesday) - 25 (Thursday), 2023

Venue

Main Ballroom of the University at Buffalo Center for Tomorrow

The Center for Tomorrow, located at the University at Buffalo’s Amherst campus, houses a 350-seat conference area that can be converted into smaller meeting rooms, a reception and display area, a food preparation and serving facility, and a 7,500-square-foot open courtyard.

Hotel

Comfort Inn University
Amherst, NY 14226
1 Flint Road

Attendees are encouraged to book rooms at Comfort Inn University by following the link here.
Comfort Inn University is a four minute walk from the BFO-SM venue and guests will be provided coffee and breakfast each morning.

Tentative Schedule

Start Time: 9:00am

• 9-9:15am: Opening Remarks

• 9:15-10:30am: Keynote Werner Ceusters: The Axiomatization of BFO 2020: The Good, The Bad, and The Ugly ^Abstract

• 10:45-12pm: Keynote Fabian Neuhaus: BFO-FOL for Domain Ontologies ^Abstract

12-1pm Lunch On-Site

• 1-2:15pm: Keynote Alan Ruttenberg: Time Matters ^Abstract

Sessions

1. 2:30-3pm: "Temporal Annotations", Dave Lutz
2. 3-3:30pm: "Time and the Continuant: Modeling Temporal Data in BFO-OWL", Ludger Jansen ^Abstract

• 3:45-5pm: Roundtable The Future of BFO: What Needs to be Changed? (Chair - John Beverley)

• 5:15-6:30pm: Workshop BFO-ISO (Chair - Barry Smith)

Start Time: 9:00am

• Keynote: Janna Hastings, Field Reports from Using BFO in Scientific Ontologies

• Workshop: Applications of BFO in Biomedicine (Chair - John Beverley)

Sessions

1. "Ontologies for a Learning Health System: Application to PARS3 and theoretical challenges", Adrien Barton, Paul Fabry, Jean-François Ethier Abstract

• Workshop: Applications of BFO in Industry (Chair - John Beverley)

Sessions

1. "The Industrial Ontologies Foundry", Farhad Ameri
2. "OccO: The Occupation Ontology" John Beverley, Yongqun "Oliver" He, Sam Smith, et al. Abstract
3. "Ontologies for Sustainability: Theoretical Challenges", Giorgio Ubbiali, Nicolas Piras, Matthew Lange, Andrea Borghini Abstract

• Workshop: Economics and Accounting Ontology (Chairs - Bill McCarthy and Graham Gal)

Sessions

1. "Toward an Ontology of Inflation", Jonathan Vajda Abstract
2. "Advantages and Challenges of Building a Realism-based Ontology of Finance", Gloria Sanso Abstract

• Workshop: BFO and AI

1. "Fandaws and BFO", Aaron Damiano
2. "BFO and Common Sense", Roman Ilin
3. "BFO and the Future of AI", Barry Smith

Further potential topics include but are not limited to:

1. Demonstrations of benefits associated with using BFO as a top-level architecture
2. Examples of BFO-based temporal reasoning
3. Comparisons of the use of BFO with other upper-level ontologies in industry

• Banquet for All Participants

Start Time: 9:00am

• Keynote: Ryan Riccucci: For a Government Ontology

Ontology goals for CBP and DHS

1. Person Ontology. Term should be the answer to the question how a given person impacts a government resource. For example: taxpayer, prisoner, detainee, ...

2. Information Sharing Ontology. This relates not to the use of ontologies tailor-made to promote information sharing, but rather to the types of entities involved when information is (or is not) shared. For example: provenance, responsible author, clearance level, ...

• Workshop: Buffalo and Toronto Ontology Group (BoaT) (Chair - Mark Fox)

Will explore areas of agreement and disagreement between UB and UT approaches to ontology development, potentially focusing on Person Ontology and Information Sharing Ontology.

• Roundtable: Current & Historical Experiences with Government Ontology Projects (Chair - Ryan Riccucci)

Lunch

• Workshop: DIOWG: Department of Defense and Intelligence Community Ontology Working Group (Chair - Barry Smith)

Participants: Victor Rohr (Aerospace), Forrest Hare

Organizers

John Beverley (University of Buffalo, Buffalo, NY), [3]

Barry Smith (University at Buffalo, Buffalo, NY), [4]

Participants will include:

Farhad Ameri (Texas State University)

Adrien Barton (CNRS, IRIT, Toulouse)

John Beverley (UB)

Niklas Beckmann (U Bonn)

Carter Benson (UB)

Sydney Cohen (Northwestern U)

Andrea Borghini (U Milan)

Werner Ceusters (UB)

Giacomo De Colle (UB)

Aaron Damiano (Rich Industries, Buffalo)

Bill Duncan (U Florida)

Mark Fox (U Toronto)

Bart Gajderowicz (U Toronto)

Graham Gal (UMass, Amherst)

Pierre Grenon (GSK)

Jinjing Guo (U Michigan)

Janna Hastings (U St Gallen / U Zurich)

Forrest Hare (Summit Knowledge Solutions)

Ali Hasanzadeh (UB)

Yongqun "Oliver" He (U Michigan, Ann Arbor)

Olivia Hobai (UB)

William Hogan (U Florida)

Anthony Huffman (U Michigan)

Regina Hurley (Northwestern U)

Roman Ilin (Air Force Research Lab, Dayton)

Ludger Jansen (U Rostock)

Amelia Kahn (UB)

Megan Katsumi (U Toronto)

Matthew Lange (Center for Food Ontology Operability)

Rasmus Larsen (U Toronto)

Austin Leibers (UB)

David Limbaugh (CUBRC)

Dave Lutz (MITRE)

William McCarthy (Michigan State University)

Eric Merrell (Johns Hopkins APL)

Cameron More (UB)

Fabian Neuhaus (U Magdeburg)

Neil Otte (Johns Hopkins APL)

Nicolas Piras (U Milan)

Tim Prudhomme (UB)

Ryan Riccucci (Customs and Border Patrol HQ, Tucson)

Victor Rohr (Aerospace Corporation)

Daniele Rosu (U Toronto)

Ron Rudnicki (CUBRC)

Alan Ruttenberg (UB)

Gloria Sanso (UB)

Selja Seppala (University College Cork)

Barry Smith (UB)

Giorgio Ubbiali (U Milan)

Jonathan Vajda (SAIC)

Peihong "Karl" Xie (UB)

Yifan Wang (UB)