BFO-Intro: Difference between revisions
mNo edit summary |
mNo edit summary |
||
| Line 5: | Line 5: | ||
ONLINE, HYBRID, TWO CREDIT COURSE | ONLINE, HYBRID, TWO CREDIT COURSE | ||
This course will present an introduction to Basic Formal Ontology (BFO), which is a widely used top-level ontology, approved in 2021 as | This course will present an introduction to Basic Formal Ontology (BFO), which is a widely used top-level ontology, approved in 2021 as international standard (ISO/IEC 21838-2). | ||
January 21 | |||
January 28 | |||
February 4 | |||
February 11 | |||
February 18 | |||
February 25 | |||
March 4 | |||
March 11 | |||
March 18 Spring recess | |||
March 25 | |||
April 1 | |||
April 8 | |||
April 15 | |||
April 22 | |||
April 29 | |||
May 5 | |||
Material for the course will be based on the following BFO tutorials, supplemented by documentation of more recent developments: | Material for the course will be based on the following BFO tutorials, supplemented by documentation of more recent developments: | ||
| Line 15: | Line 32: | ||
*[https://www.youtube.com/watch?v=YsdcH-yYkTI&list=PLyngZgIl3WThebVwYfCphjx85NOGN8BJD 2025 and Other Recent Tutorials] | *[https://www.youtube.com/watch?v=YsdcH-yYkTI&list=PLyngZgIl3WThebVwYfCphjx85NOGN8BJD 2025 and Other Recent Tutorials] | ||
Revised versions of this tutorial material will be divided into 14 single-hour lectures which will be made available asynchronously. The lectures will form the basis for synchronous weekly working sessions scheduled for Wednesdays at 7-8pm. Students will be graded on the basis of their contributions to these working sessions, which will be designed to lead to the creation of online content, summarizing aspects of BFO and of how BFO is used, that is suitable for distribution to a wider audience. | Revised versions of this tutorial material will be divided into 14 single-hour lectures which will be made available '''asynchronously'''. The lectures will form the basis for '''synchronous''' weekly working sessions tentatively scheduled for Wednesdays at 7-8pm. Students will be graded on the basis of their contributions to these working sessions, which will be designed to lead to the creation of online content, summarizing aspects of BFO and of how BFO is used, that is suitable for distribution to a wider audience. | ||
Exam: The final '''synchronous session | |||
Issues to be addressed include: | |||
:Reviews of BFO coding using LLMs | :Reviews of BFO coding using LLMs | ||
:Formulating a response to [https://buffalo.box.com/v/BFO-Expert-Coding BFO Expert Coding Challenge] - [https://scholar.google.com/scholar?cites=53308182319355410&as_sdt=5,33&sciodt=0,33&hl=en Citations] | :Formulating a response to [https://buffalo.box.com/v/BFO-Expert-Coding BFO Expert Coding Challenge] - [https://scholar.google.com/scholar?cites=53308182319355410&as_sdt=5,33&sciodt=0,33&hl=en Citations] | ||
'''Background reading''': | '''Background reading''': | ||
Revision as of 14:25, 28 December 2025
PHI 637 Introduction to Basic Formal Ontology
Dr. Barry Smith
ONLINE, HYBRID, TWO CREDIT COURSE
This course will present an introduction to Basic Formal Ontology (BFO), which is a widely used top-level ontology, approved in 2021 as international standard (ISO/IEC 21838-2).
January 21 January 28 February 4 February 11 February 18 February 25 March 4 March 11 March 18 Spring recess March 25 April 1 April 8 April 15 April 22 April 29 May 5
Material for the course will be based on the following BFO tutorials, supplemented by documentation of more recent developments:
Revised versions of this tutorial material will be divided into 14 single-hour lectures which will be made available asynchronously. The lectures will form the basis for synchronous weekly working sessions tentatively scheduled for Wednesdays at 7-8pm. Students will be graded on the basis of their contributions to these working sessions, which will be designed to lead to the creation of online content, summarizing aspects of BFO and of how BFO is used, that is suitable for distribution to a wider audience.
Exam: The final synchronous session
Issues to be addressed include:
- Reviews of BFO coding using LLMs
- Formulating a response to BFO Expert Coding Challenge - Citations
Background reading:
Building Ontologies with Basic Formal Ontology (MIT Press, 2015)
