BFO-Intro
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). Tne course is divided into two parts. The first is asynchronous, covering the topics listed in the table below; the second is symchronous, covering (a) questions raised in the asynchronous class, and (b) 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. Working sessions are tentaively scheduled to take place from 7-8pm as listed in the table. Options are: videos (youtube, tiktok,
Note that March 18 is Spring recess
| # | Date | Topics | Related links | |
|---|---|---|---|---|
| 1 | January 21 | market, this course STEM/Phil, history of BFO, iSO, BFO coding using LLMs | www.youtube.com/@basicformalontology470 | |
| 2 | January 28 | top-level vs domain ontologies; top of BFO | ||
| 3 | February 4 | specific dependence, realizables | ||
| 4 | February 11 | material entities; object aggregates, sites, boundaries | ||
| 5 | February 18 | realizables , functions | https://www.youtube.com/watch?v=fkkWkTIxrNQ | |
| 6 | February 25 | social wholes, dispositions and roles | ||
| 7 | March 4 | relations, temporalized relations | ||
| 8 | March 11 | processes, process profiles, changes, | last part of https://www.youtube.com/watch?v=7sbzF9p7qvk | |
| 9 | March 25 | IAO, language #42 | https://www.youtube.com/watch?v=Y3btP1InPZY | |
| 10 | April 1 | BFO 101 | https://www.youtube.com/watch?v=7sbzF9p7qvk | |
| 11 | April 8 | DOLCE PSS | https://www.youtube.com/watch?v=XTVR7k63_VA | |
| 12 | April 15 | Foundries | ||
| 13 | April 22 | GDCs, Ingarden, the State | ||
| 14 | April 29 | Synchronous question answer session | ||
| 15 | May 5 | Synchronous question/answer session |
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.
Grading
Students will be graded on the basis of
- Working sessions (50%)
- Final (50%) synchronous session, based on questions assembled by students over the course of the semester, as follows:
- For each asynchronous session each student should prepare exactly one single-sentence question relating to the content of this session. The answer to this question should not be contained in the video content for this session. All questions should be sent in a single email to ifomis@gmail.com on April 30.
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)
