Basic Formal Ontology Summit Meeting: Difference between revisions

From NCOR Wiki
Jump to navigationJump to search
No edit summary
 
(192 intermediate revisions by the same user not shown)
Line 1: Line 1:
<span style="font-size:150%">2023 Basic Formal Ontology Summit Meeting</span>


== '''Announcement''' ==
== '''Announcement''' ==
Line 5: Line 4:
The 2023 Basic Formal Ontology Summit Meeting will be held May 23rd-25th, 2023. The aims of the meeting are:  
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,  
:# 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,  
:# to identify and work through outstanding issues experienced by users of BFO,
:# to begin the creation of a set of BFO-conformant ontologies in the domain of government policy and data


    2. to identify and work through outstanding issues experienced by users of BFO,
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 [mailto:johnbeve@buffalo.edu] <b>before February 15th</b>. 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 [mailto:phismith@buffalo.edu] 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 <b>[https://activities-ubf-buffalo.nbsstore.net/basic-formal-ontology-summit-meeting register here]</b>.
 
Early-bird registration fees are as follows (up to May 16th):
 
:* Students - None
:* Junior Faculty/Postdocs - $100
:* Senior Faculty, Government, Industry - $300


    3. to begin the creation of a set of BFO-conformant ontologies in the domain of government policy and data
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:


Subsidiary goals are:
:* 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.


*  to showcase real-world examples of incorporation of BFO in development pipelines and their practical impacts
A processing fee of 10% will be charged for cancellations up to May 16th; thereafter, no refunds.
*  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


== '''Keynote Speakers''' ==
== '''Keynote Speakers''' ==
''We are happy to announce five keynote speakers (information will be updated as it becomes available).
[[File:Werner.jpeg|left|80px|frame|
[https://medicine.buffalo.edu/faculty/profile.html?ubit=ceusters Werner Ceusters] <br />Division Chief, Biomedical Ontology<br />Department of Biomedical Informatics<br />University at Buffalo, Jacobs School of Medicine & Biomedical Sciences]]
The first keynote will be given by Werner Ceusters, who will speak on </br><b><u>The Axiomatization of BFO 2020: The Good, The Bad, and The Ugly</u></b>'' [[Ceusters Abstract | <sup>''Abstract''</sup>]]
[[File:Download.jpeg|right|150px|frame|
[https://www.researchgate.net/profile/Alan-Ruttenberg Alan Ruttenberg]<br />Director of Clinical and Translational Data Exchange<br />University at Buffalo, School of Dental Medicine]]
<div style="text-align:right">The second keynote will be given by Alan Ruttenberg, </br>and will be titled <b><u>Time Matters</u></b></div>''
[[File:Fabian.png|left|150px|frame|
[https://www.theo.ovgu.de/Staff/Fabian+Neuhaus.html Fabian Neuhaus]<br />
Institute for Intelligent Cooperating Systems, Otto-von-Guricke University Magdeburg]]
<div style="text-align:left">The third keynote will be given by Fabian Neuhaus, </br>and will be titled <b><u>BFO-FOL for Domain Ontologies</u></b></div>''
[[File:JannaHastings_OntologyPrecisionHealthWorkshop.png|right|100px|frame|
[https://jannahastings.github.io/cv/ Janna Hastings] <br />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 <br />Vice-Director, School of Medicine, University of St. Gallen]],


''We are happy to announce four keynote speakers (information updated as it becomes available):''


[[File:Werner.jpeg|100px|frame|
[https://medicine.buffalo.edu/faculty/profile.html?ubit=ceusters Werner Ceusters]


Division Chief, Biomedical Ontology


Department of Biomedical Informatics


University at Buffalo, Jacobs School of Medicine & Biomedical Sciences]]


'''Title:''' BFO2020’s axiomatization: the good, the bad, and the ugly.
<div style="text-align:right">The fourth keynote, by Janna Hastings, will be titled </br><b><u>Field Reports from Using BFO in Scientific Ontologies</u></b></div>''


'''Abstract:''' The Basic Formal Ontology (BFO) is undoubtedly the most frequently cited upper ontology in the biomedical literature. It is also claimed to be used as the foundation for many biomedical application ontologies. However, a closer look at these ontologies makes it clear that many of them deviate considerably from even the most basic principles upon which the BFO is built. Reasons can be derived from published papers that describe these ontologies. One reason is the popularity of OWL and tools such as Protégé of which the limits are poorly understood. A second one is the loss of semantics that arises from representing the BFO exclusively by means of binary relations, thus ignoring certain principles underlying the BFO, notably the requirement for temporal indexing in relations involving continuants. Although the importance of these and other principles has been stressed in many papers and presentations by BFO authors, education therein seems to be lacking or is at least inadequate. The recent axiomatization of the BFO in First Order Logic (FOL) might offer an opportunity to remediate the situation. Soon after its public availability in September 2021, I started to use the BFO’s CLIF files in my ontology and referent tracking courses to explain BFO’s foundational principles. For some assignments, students were expected to write axioms for terms and relations they intended to include in the ontologies they were developing as part of their MSc or PhD thesis. I also embarked on a still ongoing project to develop a set of tools to make axiom-based ontology design easier for students lacking a solid background in formal logic and/or computer science. It is therefore encouraging to see that others are following similar paths and, for example, have shown that automatic reasoning with FOL annotations can be used to detect previously unnoticed errors in simple OWL-based classifications. In this talk, I will focus on some of my and my students’ experiences with the use and development of a parser/generator for BFO2020-style CLIF axioms, and a reasoner for satisfiability testing of both axiomatized ontologies and instance data expressed in their terms. I will discuss how these experiences – good ones (yeah, temporal reasoning becomes possible!), bad ones (is there a bug in the reasoner or are temporal regions not what I thought them to be?), and ugly ones (is the resulting model one that we intended?) – might be used to improve the documentation of the BFO, to make axioms more actionable and informative while still logically equivalent and to provide a smoother path to axiomatization of related ontologies such as the Ontology of General Medical Science, the Information Artifact Ontology and the Ontology of Biomedical Investigations.


[[File:Download.jpeg|none|100px|frame|
[https://www.researchgate.net/profile/Alan-Ruttenberg Alan Ruttenberg]


Director of Clinical and Translational Data Exchange


University at Buffalo, School of Dental Medicine]]


'''TBD


[[File:JannaHastings_OntologyPrecisionHealthWorkshop.png|none|100px|frame|
[[File:Riccucci.jpeg|left|110px|frame|
[https://jannahastings.github.io/cv/ Janna Hastings]  
[https://www.researchgate.net/profile/Ryan-Riccucci-2 Ryan Riccucci]<br />Division Chief, US Border Patrol]]


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]]


'''TBD


[[File:Riccucci.jpeg|none|100px|frame|
[https://www.researchgate.net/profile/Ryan-Riccucci-2 Ryan Riccucci]


Division Chief, US Border Patrol]]


'''TBD


== '''Date'''  ==


May 23 (Tuesday) - 25 (Thursday), 2017
 
 
 
<div style="text-align:left">The fifth keynote, by Ryan Riccucci, will be titled </br><b><u>For a Government Ontology</u></b></div>''
</br></br></br></br></br>
 
== '''Dates'''  ==
 
May 23 (Tuesday) - 25 (Thursday), 2023


== '''Venue'''==
== '''Venue'''==


University at Buffalo, Buffalo, NY, 14260
Main Ballroom of the [https://www.buffalo.edu/administrative-services/managing-facilities/planning-designing-and-construction/building-profiles/profile-host-page.host.html/content/shared/university/page-content/facilities/cft.detail.html 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'''==
[[File: Screen Shot 2023-03-13 at 11.21.39 PM.png |center|frame|50px|
[https://www.choicehotels.com/reservations/groups/WM46M2 Comfort Inn University]<br />
Amherst, NY 14226 <br />
1 Flint Road <br />]]
<br />
 
<b>Attendees are encouraged to book rooms at Comfort Inn University by following the link [https://www.choicehotels.com/reservations/groups/WM46M2 here]. They should mention that this is a conference booking to receive the special rate.</b> <br />
Comfort Inn University is a four minute walk from the BFO-SM venue and guests will be provided coffee and breakfast each morning.<br />
 
== '''Tentative Schedule'''  ==
 
=== Tuesday, May 23===
 
<h3 style="color:Tomato;">Start Time: 9:00am</h3>
 
:* 9-9:15am: Opening Remarks
 
:* 9:15-10:30am: <b>Keynote</b> Werner Ceusters: The Axiomatization of BFO 2020: The Good, The Bad, and The Ugly [[Basic_Formal_Ontology_Summit_Meeting/abstracts | <sup>''Abstract''</sup>]] -- Access the [https://drive.google.com/file/d/15KujvlJ6VLteAA-5rPlxnOFErMeRNVFl/view slides here]. To watch the presentation [https://youtu.be/_jJiOGgyx5k/ click here].
 
:* 10:45-12pm: <b>Keynote</b> Fabian Neuhaus: BFO-FOL for Domain Ontologies [[Basic_Formal_Ontology_Summit_Meeting/abstracts | <sup>''Abstract''</sup>]] -- Access the [https://drive.google.com/file/d/1q1qgU_DIoLdj-FEkVEyxnzryJ_utE54w/view slides here]. To watch the presentation [https://youtu.be/WAs8YOv_fs8/ click here!]
 
<h3 style="color:Tomato;">12-1pm Lunch On-Site</h3>
 
:* 1-2:15pm: <b>Keynote</b> Alan Ruttenberg: Time Matters [[Basic_Formal_Ontology_Summit_Meeting/abstracts | <sup>''Abstract''</sup>]] -- Access the [https://drive.google.com/file/d/15yO4XBN_5ObktQSKvf05OEQ0J1vF8iOy/view slides here]. To watch the presentation [https://youtu.be/uuitXXmsnVY/ click here!]
 
:* <b>Workshop</b> BFO and Temporal Data (Chair - Amelia Kahn)
::* 2:30-3pm: "Temporal Annotations", Dave Lutz
::* 3-3:30pm: "Stases", Mark Jensen -- Access the [https://drive.google.com/file/d/11D2hJieM32XM2VXvvjO9ScMl8k0R9N8Y/view slides here]. To watch the presentation [https://youtu.be/UvWHS50psb8/ click here!]
::* 3:30-4pm: "Time and the Continuant: Modeling Temporal Data in BFO-OWL", Ludger Jansen [[Basic_Formal_Ontology_Summit_Meeting/abstracts | <sup>''Abstract''</sup>]] -- Access the [https://drive.google.com/file/d/1wz6I2BjJu3Ugmkxi2jnDxI3Ik-50kTfK/view slides here].
 
:* 4-5:30pm: <b>Roundtable</b> The Future of BFO: What Needs to be Changed? (Participants: Barry Smith, Alan Ruttenberg, Werner Ceusters, John Beverley)
 
<h3 style="color:Tomato;">5:30pm Banquet for Keynote Speakers and Organizers</h3>
 
=== Wednesday, May 24 ===
 
<h3 style="color:Tomato;">Start Time: 9:00am</h3>
 
:* 9-9:15am: Opening Remarks
 
:* 9:15-10:30am: <b>Keynote:</b> Janna Hastings, Field Reports from Using BFO in Scientific Ontologies -- Access the [https://drive.google.com/file/d/183dVFSM-WejUiZ-BHmREkDQdyldDoMkO/view slides here]. To watch the presentation [https://youtu.be/LooBuEIG6bc/ click here!]
:* <b>Workshop</b> Applications of BFO in Biomedicine and Sustainability (Chair - Cameron More)
::* 10:30-11am: "Ontologies for a Learning Health System: Application to PARS3 and theoretical challenges", Adrien Barton, Paul Fabry, Jean-François Ethier [[Basic_Formal_Ontology_Summit_Meeting/abstracts | <sup>''Abstract''</sup>]]
::* 11-11:30pm: "BFO Applications in Interoperable Biomedical Ontology Development and Knowledge/Data Integration – He Lab Experience", Yongqun "Oliver" He, Jinjing "Jimmy" Guo[[Basic_Formal_Ontology_Summit_Meeting/abstracts | <sup>''Abstract''</sup>]] -- Access the [https://drive.google.com/file/d/1NYSUvK8PawW3GorPhWxVxu8NtB20vu-Y/view slides here].
::* 11:30-12pm: "Ontologies for Sustainability: Theoretical Challenges", Giorgio Ubbiali, Nicolas Piras, Matthew Lange, Andrea Borghini [[Basic_Formal_Ontology_Summit_Meeting/abstracts | <sup>''Abstract''</sup>]] -- Access the [https://drive.google.com/file/d/1hs2Q1n-_fX_OJaI2Sdng2Sv5n5aH3Ve8/view slides here].
 
<h3 style="color:Tomato;">12-1pm Lunch On-Site</h3>
 
:* <b>Workshop</b> Applications of BFO in Industry (Chair - Jonathan Vajda)
::* 1-1:30pm: "OccO: The Occupation Ontology" John Beverley, Yongqun "Oliver" He, Sam Smith, et al. [[Basic_Formal_Ontology_Summit_Meeting/abstracts | <sup>''Abstract''</sup>]]
::* 1:30-2pm: "The Industrial Ontologies Foundry", Farhad Ameri -- Access the [https://drive.google.com/file/d/19POu5qMSHLBswXhKYpA4k7_Tuy_lWZZk/view slides here].
:* <b>Workshop</b> Economics and Accounting Ontology (Chair - TBD)
::* 2-2:30pm: "Accounting Contracts in Collaboration Space", Bill McCarthy and Graham Gal [[Basic_Formal_Ontology_Summit_Meeting/abstracts | <sup>''Abstract''</sup>]] -- Access the [https://drive.google.com/file/d/13O2mr3thhwlib0XxIy2aaoqEQ_RBfKSa/view slides here]. To watch the presentation [https://youtu.be/GiDHcXlXHcw/ click here!]
::* 2:30-3pm: "Toward an Ontology of Inflation", Jonathan Vajda [[Basic_Formal_Ontology_Summit_Meeting/abstracts | <sup>''Abstract''</sup>]] -- Access the [https://drive.google.com/file/d/1HZhE9wGtOpej4XeOQ0pdkL4ntXSssJSf/view slides here]. To watch the presentation [https://youtu.be/LVCmoS65430/ click here!]
::* 3-3:30pm: "Advantages and Challenges of Building a Realism-based Ontology of Finance", Gloria Sanso [[Basic_Formal_Ontology_Summit_Meeting/abstracts | <sup>''Abstract''</sup>]] -- Access the [https://drive.google.com/file/d/1gN_cgD-J-usFFaV2pBos33gRgqNdiEyc/view slides here].
 
:* <b>Workshop</b> BFO and AI (Chair - TBD)
::* 4-4:30pm: "Fandaws and BFO", Aaron Damiano -- To watch the presentation [https://youtu.be/rFM03vc05u0/ click here!]
::* 4:30-5pm: "BFO and Common Sense", Roman Ilin -- Access the [https://drive.google.com/file/d/1FO9n60sbf1nQ3FYOMaohjgDx21LFt2mV/view slides here]. To watch the presentation [https://youtu.be/YHSmppLAybE/ click here!]
 
<h3 style="color:Tomato;">5:30pm Banquet for All Participants</h3>
 
=== Thursday, May 25: Government Ontology ===
 
<h3 style="color:Tomato;">Start Time: 9:00am</h3>
 
:* 9-9:15am: Opening Remarks from UB Provost Scott Weber
 
:* 9:15-10:30am: <b>Keynote:</b> Ryan Riccucci, For a Government Ontology
 
:* <b>Workshop:</b> Buffalo and Toronto Ontology Alliance (BoaT) (Chair - Mark Fox)
::* 11-11:30am: "Survey of University of Toronto Government Ontologies" Mark Fox, Megan Katsumi -- Access the [https://drive.google.com/file/d/1KPw0ZnpCLVvfnpC6gNBJ87iexecQ5300/view slides here].
::* 11:30-12pm: "Survey of University of Toronto Ontology of Impact" Bart Gajderowicz -- Access the [https://drive.google.com/file/d/1v0gA00SGHMW-mIh1CJWWPnYybxf2f3t5/view slides here].
<h3 style="color:Tomato;">12-1pm Lunch On-Site</h3>
 
:* <b>Workshop:</b> DIOWG: Department of Defense and Intelligence Community Ontology Working Group (Chair - Barry Smith)
::* 1-1:30pm: "DoD-IC Ontology Working Group (DIOWG) - Overview" Victor Rohr -- Access the [https://drive.google.com/file/d/1uOzcbD502dXIXpFaAMTX_F2iH1UZpFEv/view slides here].
::* 1:30-2pm: "DICO: Defense Intelligence Core Ontology" Forrest Hare -- Access the [https://drive.google.com/file/d/1lLx5xNKhG3C8mqJj3kpZyiCFKS0CPwx_/view slides here].
 
:* <b>Workshop:</b> Frameworks for Government Ontologies (Chair - Barry Smith)
::* 2-2:30pm: "Towards an Agile Process for Government Ontology" William S. Mandrick -- Access the [https://drive.google.com/file/d/1uH6aBXKL0FEbvpxn5j3je-FWURfHWrzG/view slides here]. To watch the presentation [https://youtu.be/2dkKTrDqnLo/ click here!]
::* 2:30-3pm: "Warrant and Truth Maintenance" David Limbaugh -- Acces the [https://drive.google.com/file/d/1GSuZtFnpWxyXO3JYMtmp9PZKBav6cz-6/view slides here].To watch the presentation [https://youtu.be/tZs7fQZpTjU click here!]
::* 3-3:30pm: "Cognition Data Framework" Alex Cox -- Access the [https://drive.google.com/file/d/1GZmp_Njk9qnKDYriQ7_ZE5ZGu576Uwvo/view slides here]. To watch the presentation [https://youtu.be/eD-SjIK9euc/ click here!]
 
:* 3:30-4:30pm: <b>Roundtable</b> Future of Government Ontologies (Participants: David Limbaugh, Neil Otte, Victor Rohr, Ron Rudnicki, Alan Ruttenberg)
 
 
<h3 style="color:Tomato;">End Time: 4:30pm</h3>


== '''Organizers''' ==  
== '''Organizers''' ==  
Line 75: Line 237:


[https://www.buffalo.edu/cas/philosophy/faculty/faculty_directory/smith-b.html Barry Smith] (University at Buffalo, Buffalo, NY), [mailto:phismith@buffalo.edu]
[https://www.buffalo.edu/cas/philosophy/faculty/faculty_directory/smith-b.html Barry Smith] (University at Buffalo, Buffalo, NY), [mailto:phismith@buffalo.edu]
== '''Participants will include:''' ==
 
Christopher Alvarez (CBP)
Claire Allen (CBP)
Farhad Ameri (Texas State University)
Adrien Barton (CNRS, IRIT, Toulouse)
John Beverley (UB)
Niklas Beckmann (U Bonn)
Alena Begler (Trinidata)
Carter Benson (UB)
Jay Bittner (Basis Path)
Thomas Bittner (UB)
Margaret Bogumian (Aerospace Corporation)
Werner Ceusters (UB)
Jaron Cheung (UB)
Sydney Cohen (Northwestern U)
Tim Coleman (Basis Path)
Giacomo De Colle (UB)
Alexander Cox (CUBRC)
Adam Czerniejewski (CUBRC)
Aaron Damiano (Rich Industries, Buffalo)
Alexander Diehl (UB)
Bill Duncan (U Florida)
Mark Fox (U Toronto)
Bart Gajderowicz (U Toronto)
Graham Gal (UMass, Amherst)
Josh Gough (CBP)
Pierre Grenon (GSK)
John Gugliotti (KadSci)
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)
Mark Jensen (CUBRC)
Amelia Kahn (UB)
David Kasmier (NCOR)
Megan Katsumi (U Toronto)
John Klasen (CBP)
Robert Krieter (UB)
Boonserm Kulvatunyou (NIST)
Stephen Lamberti (CBP)
Matthew Lange (Center for Food Ontology Operability)
Rasmus Larsen (U Toronto)
Austin Leibers (UB)
Pilar Vanessa León (Hack Space)
David Limbaugh (CUBRC)
Dave Lutz (MITRE)
William S. Mandrick (Raytheon)
Anna Maria Masci (NIH/NIEHS)
Seyedmohammadnavid Madani (UB)
William McCarthy (Michigan State University)
Mark McCormack (CPB)
Delaney McNulty (UB)
Eric Merrell (Johns Hopkins APL)
Cameron More (UB)
Michael Moskal (OSTHUS)
Fabian Neuhaus (U Magdeburg)
Bonnie O'Neil (Mitre)
Neil Otte (Johns Hopkins APL)
Nicolas Piras (U Milan)
Tim Prudhomme (UB)
Michael Rabenberg (UB)
Ryan Riccucci (Customs and Border Patrol HQ, Tucson)
Karen Richardson (Aerospace Corporation)
Victor Rohr (Aerospace Corporation)
Daniele Rosu (U Toronto)
Ron Rudnicki (CUBRC)
Alan Ruttenberg (UB)
Gloria Sanso (UB)
Selja Seppala (University College Cork)
Alec Sculley (UB)
Barry Smith (UB)
Tony Truong (Basis Path)
Giorgio Ubbiali (U Milan)
Krishna Udaiwal (Aurint)
Jonathan Vajda (SAIC)
Peihong "Karl" Xie (UB)
Eugene Yockey (CBP)
Yifan Wang (UB)
Lauren Wishnie (UB)
Wugetemole Wugetemole (UB)

Latest revision as of 16:18, 24 July 2023

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. They should mention that this is a conference booking to receive the special rate.
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

Tuesday, May 23

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 -- Access the slides here. To watch the presentation click here.

12-1pm Lunch On-Site

  • Workshop BFO and Temporal Data (Chair - Amelia Kahn)
  • 2:30-3pm: "Temporal Annotations", Dave Lutz
  • 3-3:30pm: "Stases", Mark Jensen -- Access the slides here. To watch the presentation click here!
  • 3:30-4pm: "Time and the Continuant: Modeling Temporal Data in BFO-OWL", Ludger Jansen Abstract -- Access the slides here.
  • 4-5:30pm: Roundtable The Future of BFO: What Needs to be Changed? (Participants: Barry Smith, Alan Ruttenberg, Werner Ceusters, John Beverley)

5:30pm Banquet for Keynote Speakers and Organizers

Wednesday, May 24

Start Time: 9:00am

  • 9-9:15am: Opening Remarks
  • 9:15-10:30am: Keynote: Janna Hastings, Field Reports from Using BFO in Scientific Ontologies -- Access the slides here. To watch the presentation click here!
  • Workshop Applications of BFO in Biomedicine and Sustainability (Chair - Cameron More)
  • 10:30-11am: "Ontologies for a Learning Health System: Application to PARS3 and theoretical challenges", Adrien Barton, Paul Fabry, Jean-François Ethier Abstract
  • 11-11:30pm: "BFO Applications in Interoperable Biomedical Ontology Development and Knowledge/Data Integration – He Lab Experience", Yongqun "Oliver" He, Jinjing "Jimmy" Guo Abstract -- Access the slides here.
  • 11:30-12pm: "Ontologies for Sustainability: Theoretical Challenges", Giorgio Ubbiali, Nicolas Piras, Matthew Lange, Andrea Borghini Abstract -- Access the slides here.

12-1pm Lunch On-Site

  • Workshop Applications of BFO in Industry (Chair - Jonathan Vajda)
  • 1-1:30pm: "OccO: The Occupation Ontology" John Beverley, Yongqun "Oliver" He, Sam Smith, et al. Abstract
  • 1:30-2pm: "The Industrial Ontologies Foundry", Farhad Ameri -- Access the slides here.
  • Workshop Economics and Accounting Ontology (Chair - TBD)
  • 2-2:30pm: "Accounting Contracts in Collaboration Space", Bill McCarthy and Graham Gal Abstract -- Access the slides here. To watch the presentation click here!
  • 2:30-3pm: "Toward an Ontology of Inflation", Jonathan Vajda Abstract -- Access the slides here. To watch the presentation click here!
  • 3-3:30pm: "Advantages and Challenges of Building a Realism-based Ontology of Finance", Gloria Sanso Abstract -- Access the slides here.
  • Workshop BFO and AI (Chair - TBD)
  • 4-4:30pm: "Fandaws and BFO", Aaron Damiano -- To watch the presentation click here!
  • 4:30-5pm: "BFO and Common Sense", Roman Ilin -- Access the slides here. To watch the presentation click here!

5:30pm Banquet for All Participants

Thursday, May 25: Government Ontology

Start Time: 9:00am

  • 9-9:15am: Opening Remarks from UB Provost Scott Weber
  • 9:15-10:30am: Keynote: Ryan Riccucci, For a Government Ontology
  • Workshop: Buffalo and Toronto Ontology Alliance (BoaT) (Chair - Mark Fox)
  • 11-11:30am: "Survey of University of Toronto Government Ontologies" Mark Fox, Megan Katsumi -- Access the slides here.
  • 11:30-12pm: "Survey of University of Toronto Ontology of Impact" Bart Gajderowicz -- Access the slides here.

12-1pm Lunch On-Site

  • Workshop: DIOWG: Department of Defense and Intelligence Community Ontology Working Group (Chair - Barry Smith)
  • 1-1:30pm: "DoD-IC Ontology Working Group (DIOWG) - Overview" Victor Rohr -- Access the slides here.
  • 1:30-2pm: "DICO: Defense Intelligence Core Ontology" Forrest Hare -- Access the slides here.
  • Workshop: Frameworks for Government Ontologies (Chair - Barry Smith)
  • 2-2:30pm: "Towards an Agile Process for Government Ontology" William S. Mandrick -- Access the slides here. To watch the presentation click here!
  • 2:30-3pm: "Warrant and Truth Maintenance" David Limbaugh -- Acces the slides here.To watch the presentation click here!
  • 3-3:30pm: "Cognition Data Framework" Alex Cox -- Access the slides here. To watch the presentation click here!
  • 3:30-4:30pm: Roundtable Future of Government Ontologies (Participants: David Limbaugh, Neil Otte, Victor Rohr, Ron Rudnicki, Alan Ruttenberg)


End Time: 4:30pm

Organizers

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

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

Participants will include:

Christopher Alvarez (CBP)

Claire Allen (CBP)

Farhad Ameri (Texas State University)

Adrien Barton (CNRS, IRIT, Toulouse)

John Beverley (UB)

Niklas Beckmann (U Bonn)

Alena Begler (Trinidata)

Carter Benson (UB)

Jay Bittner (Basis Path)

Thomas Bittner (UB)

Margaret Bogumian (Aerospace Corporation)

Werner Ceusters (UB)

Jaron Cheung (UB)

Sydney Cohen (Northwestern U)

Tim Coleman (Basis Path)

Giacomo De Colle (UB)

Alexander Cox (CUBRC)

Adam Czerniejewski (CUBRC)

Aaron Damiano (Rich Industries, Buffalo)

Alexander Diehl (UB)

Bill Duncan (U Florida)

Mark Fox (U Toronto)

Bart Gajderowicz (U Toronto)

Graham Gal (UMass, Amherst)

Josh Gough (CBP)

Pierre Grenon (GSK)

John Gugliotti (KadSci)

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)

Mark Jensen (CUBRC)

Amelia Kahn (UB)

David Kasmier (NCOR)

Megan Katsumi (U Toronto)

John Klasen (CBP)

Robert Krieter (UB)

Boonserm Kulvatunyou (NIST)

Stephen Lamberti (CBP)

Matthew Lange (Center for Food Ontology Operability)

Rasmus Larsen (U Toronto)

Austin Leibers (UB)

Pilar Vanessa León (Hack Space)

David Limbaugh (CUBRC)

Dave Lutz (MITRE)

William S. Mandrick (Raytheon)

Anna Maria Masci (NIH/NIEHS)

Seyedmohammadnavid Madani (UB)

William McCarthy (Michigan State University)

Mark McCormack (CPB)

Delaney McNulty (UB)

Eric Merrell (Johns Hopkins APL)

Cameron More (UB)

Michael Moskal (OSTHUS)

Fabian Neuhaus (U Magdeburg)

Bonnie O'Neil (Mitre)

Neil Otte (Johns Hopkins APL)

Nicolas Piras (U Milan)

Tim Prudhomme (UB)

Michael Rabenberg (UB)

Ryan Riccucci (Customs and Border Patrol HQ, Tucson)

Karen Richardson (Aerospace Corporation)

Victor Rohr (Aerospace Corporation)

Daniele Rosu (U Toronto)

Ron Rudnicki (CUBRC)

Alan Ruttenberg (UB)

Gloria Sanso (UB)

Selja Seppala (University College Cork)

Alec Sculley (UB)

Barry Smith (UB)

Tony Truong (Basis Path)

Giorgio Ubbiali (U Milan)

Krishna Udaiwal (Aurint)

Jonathan Vajda (SAIC)

Peihong "Karl" Xie (UB)

Eugene Yockey (CBP)

Yifan Wang (UB)

Lauren Wishnie (UB)

Wugetemole Wugetemole (UB)

Retrieved from "https://ncorwiki.buffalo.edu/index.php?title=Basic_Formal_Ontology_Summit_Meeting&oldid=73768"