BFO-Intro: Difference between revisions

From NCOR Wiki
Jump to navigationJump to search
← Older edit
mNo edit summary
mNo edit summary
 
(5 intermediate revisions by the same user not shown)
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 international standard (ISO/IEC 21838-2).
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
Note that March 18 is Spring recess
Line 11: Line 11:
{| class="wikitable"
{| class="wikitable"
|-
|-
! # !! Date !! Topics || Related links
! # !! Date !! Topics || Related links ||
|-
|-
| 1 || January 21 || market, this course STEM/Phil, history of BFO, iSO, Mil, DHS mention || www.youtube.com/@basicformalontology470
| 1 || January 21 || market, this course STEM/Phil, history of BFO, iSO, BFO coding using LLMs || www.youtube.com/@basicformalontology470 ||
 
IAO, language #42
BFO 101 https://www.youtube.com/watch?v=7sbzF9p7qvk
DOLCE PSS https://www.youtube.com/watch?v=XTVR7k63_VA
Foundries
GDCs, Ingarden, the State
Synchronous - answering questions
Synchronous 2 - answering questions
 
|-
|-
| 2 || January 28 || top-level vs domain ontologies; top of BFO ||
| 2 || January 28 || top-level vs domain ontologies; top of BFO ||
Line 38: Line 29:
| 8 || March 11 || processes, process profiles, changes, || last part of https://www.youtube.com/watch?v=7sbzF9p7qvk ||
| 8 || March 11 || processes, process profiles, changes, || last part of https://www.youtube.com/watch?v=7sbzF9p7qvk ||
|-
|-
| 9 || March 25 ||
| 9 || March 25 || IAO, language #42 || https://www.youtube.com/watch?v=Y3btP1InPZY ||
|-
|-
| 10 || April 1 ||
| 10 || April 1 || BFO 101 || https://www.youtube.com/watch?v=7sbzF9p7qvk ||
|-
|-
| 11 || April 8 ||
| 11 || April 8 || DOLCE PSS || https://www.youtube.com/watch?v=XTVR7k63_VA ||
|-
|-
| 12 || April 15 ||
| 12 || April 15 || Foundries ||
|-
|-
| 13 || April 22 ||
| 13 || April 22 || GDCs, Ingarden, the State ||
|-
|-
| 14 || April 29 ||
| 14 || April 29 || Synchronous question answer session ||
|-
|-
| 15 || May 5 || Synchronous final exam (question/answer) session
| 15 || May 5 || Synchronous question/answer session ||
|}
|}


#January 21
#January 28
#February 4
#February 11
#February 18
#February 25
#March 4
#March 11 (note that March 18 is Spring recess)
#March 25
#April 1
#April 8
#April 15
#April 22
#April 29
#May 5 Synchronous final exam (question/answer) session


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 82: Line 58:


Students will be graded on the basis of  
Students will be graded on the basis of  
#Working sessions (50%) 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.
#Working sessions (50%)  
#Final (50%) '''synchronous''' session, based on questions assembled by students over the course of the semester, as follows:  
#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.  
##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.  
Line 97: Line 73:


[https://buffalo.box.com/s/3pyas5wwfwd2bgbe5o2dz36kncm9z5gf Building Ontologies with Basic Formal Ontology (MIT Press, 2015)]
[https://buffalo.box.com/s/3pyas5wwfwd2bgbe5o2dz36kncm9z5gf Building Ontologies with Basic Formal Ontology (MIT Press, 2015)]
Here's your Wikimedia table:
{| class="wikitable"
|-
! # !! Video Title !! Duration !! YouTube Link
|-
| 1 || Basic Formal Ontology 101 (July 2025) || 1:58:50 || https://www.youtube.com/watch?v=7sbzF9p7qvk
|-
| 2 || Basic Formal Ontology Tutorial (2025) || 1:46:05 || https://www.youtube.com/watch?v=GWkk5AfRCpM
|-
| 3 || The Ontology of Science || 1:06:08 || https://www.youtube.com/watch?v=PwsBxRs9kns
|-
| 5 || Basic Formal Ontology (BFO), July 2023 || 10:20 || https://www.youtube.com/watch?v=uflMfvI-ZxI
|-
| 6 || The Ontology of (Supply Chain) Services || 11:35 || https://www.youtube.com/watch?v=F1Zlunh3eMw
|-
| 7 || Industrial Ontologies Foundry (2022) || 7:52 || https://www.youtube.com/watch?v=1pfsimHTApU
|-
| 8 || Ontology of (Social) Services || 10:38 || https://www.youtube.com/watch?v=9qrwWAISrC8
|-
| 9 || Ontology Foundries || 20:51 || https://www.youtube.com/watch?v=iFiwmq7f4wQ
|-
| 10 || ISO/IEC 21838 Top Level Ontologies (November 2021) || 10:57 || https://www.youtube.com/watch?v=YsdcH-yYkTI
|-
| 11 || Realizable Entities in Basic Formal Ontology || 1:36:36 || https://www.youtube.com/watch?v=PJaEYdF9ikE
|-
| 12 || How to handle data about what does not exist || 7:43 || https://www.youtube.com/watch?v=ai4YdLiCGNM
|-
| 13 || ISO/IEC 21838 || 10:00 || https://www.youtube.com/watch?v=aux_zcK7XSI
|-
| 14 || Reasoning with the Information Artifact Ontology || 7:47 || https://www.youtube.com/watch?v=sTx_rRWmTqE
|-
| 15 || BFO 2020 Temporalized Relations || 34:10 || https://www.youtube.com/watch?v=fkkWkTIxrNQ
|-
| 16 || ISO/IEC 21838 || 1:32:41 || https://www.youtube.com/watch?v=_0masZPGLb0
|-
| 17 || What problem with OWL is BFO-2020 trying to solve || 28:04 || https://www.youtube.com/watch?v=IDs7Pthdows
|-
| 18 || Ontologies for Space and Ground Systems || 29:05 || https://www.youtube.com/watch?v=x3ugXHOyLLw
|-
| 20 || BFO JOWO Tutorial Part 2 || 1:10:53 || https://www.youtube.com/watch?v=wh_KZGXc1Es
|-
| 21 || BFO JOWO Tutorial Part 1 || 23:27 || https://www.youtube.com/watch?v=VYDe09TOw2M
|-
| 22 || Introduction to Basic Formal Ontology (September 2019) || 8:51 || https://www.youtube.com/watch?v=p0buEjR3t8A
|-
| 23 || Ontology as Product-Service System: A Study of GO, BFO and DOLCE || 11:29 || https://www.youtube.com/watch?v=XTVR7k63_VA
|-
| 24 || BFO Tutorial (2019). Part 5: BFO as Top-Level Ontology || 21:16 || https://www.youtube.com/watch?v=ZMUM1z2Zi9c
|-
| 25 || BFO Tutorial (2019). Part 6: Temporalized Relations in BFO ISO || 21:55 || https://www.youtube.com/watch?v=8-dGGDQ7qCw
|-
| 26 || BFO Tutorial (2019). Part 4: Sites, Boundaries, Objects || 19:45 || https://www.youtube.com/watch?v=GJJcu0UKQyo
|-
| 27 || BFO Tutorial (2019). Part 3: Qualities, Dispositions, Diseases || 24:37 || https://www.youtube.com/watch?v=2UmKWQ-fH4s
|-
| 28 || BFO Tutorial (2019). Part 2: Why Ontologies Fail || 39:43 || https://www.youtube.com/watch?v=w5d5KmBqw3w
|-
| 29 || BFO Tutorial (2019). Part 1: Introduction to BFO ISO || 41:11 || https://www.youtube.com/watch?v=muafRW0bXgw
|-
| 30 || Basic Formal Ontology Applied to the Ontology of Language. With a coda on the Turing Test || 39:42 || https://www.youtube.com/watch?v=Y3btP1InPZY
|-
| 31 || IOF: Draft BFO Formalization Proposal. 1-25-2019 || 31:06 || https://www.youtube.com/watch?v=ZJgE-O2iREM
|-
| 36 || How BFO Deals with Data from Multiple Contexts || 16:31 || https://www.youtube.com/watch?v=K9AsCDBRJpM
|-
| 37 || Why Do We Need Upper-Level Ontologies? || 20:47 || https://www.youtube.com/watch?v=sjf9zeCh_Sw
|-
| 38 || Relationships between upper-level ontologies || 1:02:25 || https://www.youtube.com/watch?v=gJxfZ3cq5jE
|-
| 39 || Functions, Dispositions and Capabilities (2017) || 31:15 || https://www.youtube.com/watch?v=lIPg2bGJSzE
|-
| 40 || Are there Capabilities on Mars? || 1:30:51 || https://www.youtube.com/watch?v=Lo7iPP2wKgw
|-
| 41 || Introduction to BFO and to the Industrial Ontologies Foundry || 47:16 || https://www.youtube.com/watch?v=fJ4uW7PK5cI
|-
| 42 || Building Ontologies: An Introduction for Engineers (Part 2) || 53:01 || https://www.youtube.com/watch?v=8vdUUhF4JdE
|-
| 43 || Building Ontologies: An Introduction for Engineers (Part 1) || 51:30 || https://www.youtube.com/watch?v=HDARyJBvnuc
|-
| 44 || Building Ontologies: An Introduction for Engineers (Part 2) || 1:44:30 || https://www.youtube.com/watch?v=Gh0f2Us0hr0
|-
| 45 || Building Ontologies: An Introduction for Engineers (Part 1) || 54:17 || https://www.youtube.com/watch?v=iTNQYyh88-Y
|-
| 46 || Introduction to Basic Formal Ontology (2015): Part One || 7:48 || https://www.youtube.com/watch?v=IMCBON2me3Y
|-
| 47 || Introduction to Basic Formal Ontology (2015): Part Two || 1:44:29 || https://www.youtube.com/watch?v=bGPVCkuKTo4
|-
| 48 || Tutorial: Introduction to Basic Formal Ontology 2.0 (2015) ||54:16 || https://www.youtube.com/watch?v=Yl6_M1sQEAQ
|-
| 49 || Introduction to Basic Formal Ontology (BFO) 2012 ||7:14 || https://www.youtube.com/watch?v=FjOgoKvNNMM (BAD QUALITY)
|-
| 50 || Part1: Changes in BFO 2.0, by BarrySmith || N/A || N/A
|-
| 51 || Aboutness || 21:44 || https://www.youtube.com/watch?v=PBKsupBquok
|}

Latest revision as of 18:57, 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). 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

  1. Working sessions (50%)
  2. Final (50%) synchronous session, based on questions assembled by students over the course of the semester, as follows:
    1. 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:

ISO standard

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

Here's your Wikimedia table:

# Video Title Duration YouTube Link
1 Basic Formal Ontology 101 (July 2025) 1:58:50 https://www.youtube.com/watch?v=7sbzF9p7qvk
2 Basic Formal Ontology Tutorial (2025) 1:46:05 https://www.youtube.com/watch?v=GWkk5AfRCpM
3 The Ontology of Science 1:06:08 https://www.youtube.com/watch?v=PwsBxRs9kns
5 Basic Formal Ontology (BFO), July 2023 10:20 https://www.youtube.com/watch?v=uflMfvI-ZxI
6 The Ontology of (Supply Chain) Services 11:35 https://www.youtube.com/watch?v=F1Zlunh3eMw
7 Industrial Ontologies Foundry (2022) 7:52 https://www.youtube.com/watch?v=1pfsimHTApU
8 Ontology of (Social) Services 10:38 https://www.youtube.com/watch?v=9qrwWAISrC8
9 Ontology Foundries 20:51 https://www.youtube.com/watch?v=iFiwmq7f4wQ
10 ISO/IEC 21838 Top Level Ontologies (November 2021) 10:57 https://www.youtube.com/watch?v=YsdcH-yYkTI
11 Realizable Entities in Basic Formal Ontology 1:36:36 https://www.youtube.com/watch?v=PJaEYdF9ikE
12 How to handle data about what does not exist 7:43 https://www.youtube.com/watch?v=ai4YdLiCGNM
13 ISO/IEC 21838 10:00 https://www.youtube.com/watch?v=aux_zcK7XSI
14 Reasoning with the Information Artifact Ontology 7:47 https://www.youtube.com/watch?v=sTx_rRWmTqE
15 BFO 2020 Temporalized Relations 34:10 https://www.youtube.com/watch?v=fkkWkTIxrNQ
16 ISO/IEC 21838 1:32:41 https://www.youtube.com/watch?v=_0masZPGLb0
17 What problem with OWL is BFO-2020 trying to solve 28:04 https://www.youtube.com/watch?v=IDs7Pthdows
18 Ontologies for Space and Ground Systems 29:05 https://www.youtube.com/watch?v=x3ugXHOyLLw
20 BFO JOWO Tutorial Part 2 1:10:53 https://www.youtube.com/watch?v=wh_KZGXc1Es
21 BFO JOWO Tutorial Part 1 23:27 https://www.youtube.com/watch?v=VYDe09TOw2M
22 Introduction to Basic Formal Ontology (September 2019) 8:51 https://www.youtube.com/watch?v=p0buEjR3t8A
23 Ontology as Product-Service System: A Study of GO, BFO and DOLCE 11:29 https://www.youtube.com/watch?v=XTVR7k63_VA
24 BFO Tutorial (2019). Part 5: BFO as Top-Level Ontology 21:16 https://www.youtube.com/watch?v=ZMUM1z2Zi9c
25 BFO Tutorial (2019). Part 6: Temporalized Relations in BFO ISO 21:55 https://www.youtube.com/watch?v=8-dGGDQ7qCw
26 BFO Tutorial (2019). Part 4: Sites, Boundaries, Objects 19:45 https://www.youtube.com/watch?v=GJJcu0UKQyo
27 BFO Tutorial (2019). Part 3: Qualities, Dispositions, Diseases 24:37 https://www.youtube.com/watch?v=2UmKWQ-fH4s
28 BFO Tutorial (2019). Part 2: Why Ontologies Fail 39:43 https://www.youtube.com/watch?v=w5d5KmBqw3w
29 BFO Tutorial (2019). Part 1: Introduction to BFO ISO 41:11 https://www.youtube.com/watch?v=muafRW0bXgw
30 Basic Formal Ontology Applied to the Ontology of Language. With a coda on the Turing Test 39:42 https://www.youtube.com/watch?v=Y3btP1InPZY
31 IOF: Draft BFO Formalization Proposal. 1-25-2019 31:06 https://www.youtube.com/watch?v=ZJgE-O2iREM
36 How BFO Deals with Data from Multiple Contexts 16:31 https://www.youtube.com/watch?v=K9AsCDBRJpM
37 Why Do We Need Upper-Level Ontologies? 20:47 https://www.youtube.com/watch?v=sjf9zeCh_Sw
38 Relationships between upper-level ontologies 1:02:25 https://www.youtube.com/watch?v=gJxfZ3cq5jE
39 Functions, Dispositions and Capabilities (2017) 31:15 https://www.youtube.com/watch?v=lIPg2bGJSzE
40 Are there Capabilities on Mars? 1:30:51 https://www.youtube.com/watch?v=Lo7iPP2wKgw
41 Introduction to BFO and to the Industrial Ontologies Foundry 47:16 https://www.youtube.com/watch?v=fJ4uW7PK5cI
42 Building Ontologies: An Introduction for Engineers (Part 2) 53:01 https://www.youtube.com/watch?v=8vdUUhF4JdE
43 Building Ontologies: An Introduction for Engineers (Part 1) 51:30 https://www.youtube.com/watch?v=HDARyJBvnuc
44 Building Ontologies: An Introduction for Engineers (Part 2) 1:44:30 https://www.youtube.com/watch?v=Gh0f2Us0hr0
45 Building Ontologies: An Introduction for Engineers (Part 1) 54:17 https://www.youtube.com/watch?v=iTNQYyh88-Y
46 Introduction to Basic Formal Ontology (2015): Part One 7:48 https://www.youtube.com/watch?v=IMCBON2me3Y
47 Introduction to Basic Formal Ontology (2015): Part Two 1:44:29 https://www.youtube.com/watch?v=bGPVCkuKTo4
48 Tutorial: Introduction to Basic Formal Ontology 2.0 (2015) 54:16 https://www.youtube.com/watch?v=Yl6_M1sQEAQ
49 Introduction to Basic Formal Ontology (BFO) 2012 7:14 https://www.youtube.com/watch?v=FjOgoKvNNMM (BAD QUALITY)
50 Part1: Changes in BFO 2.0, by BarrySmith N/A N/A
51 Aboutness 21:44 https://www.youtube.com/watch?v=PBKsupBquok
Retrieved from "https://ncorwiki.buffalo.edu/index.php?title=BFO-Intro&oldid=75511"