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 an international standard (ISO/IEC 21838-2).

Material for the course will be based on the following BFO tutorials:

• 2015 Tutorials and Earlier Material

• 2019 Tutorial

• 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.

Background reading:

Building Ontologies with Basic Formal Ontology (MIT Press, 2015)