BARRY SMITH


ISO/IEC 21838 Information technology — Top-level ontologies (TLO)

      Part 1: Requirements

      Part 2: Basic Formal Ontology (BFO)


Users of BFO


Links to contents of Parts 1 and 2

Department of Philosophy

Vita: Long / Short / NIH / Teaching

University at Buffalo

Department of Biomedical Informatics

Publications / PubMed / Google Scholar

Contact

Department of Computer Science and Engineering

National Center for Ontological Research / NCOR Lab

Varia

Making Artificial Intelligence Meaningful Again
Synthese 198 (2021)

An Argument for the Impossibility of Machine IntelligenceVideo

Video Presentations

The Machine Will (2022)
Capabilities (2022)
Making Space (2021)
AI and the Ontology of Complex Systems (2021)
Is Psychology Finished? (2021)
ISO/IEC 21838 (2021)
Command and Control (2020)
How to Handle Data About What Does Not Exist (2020)
Defining Intelligence (2020)
The Irreproducibility Crisis and the Lehman Crash (2020)
Philosophy on Rails (2019)
Ontology of Language and the Turing Test (2019)
Ontology of Terrorism (2019)
Ontology as a Service (2019)
Metaphysics of Pregnancy (2019)
The Ontology of the Eruv (2018)
The Ontology of the Emotions (2018)
Driverless Philosophy (2018)
The Six Category Ontology (2018)
The Ontology of the Organigram (2016)
Towards an Ontology of Deontic Entities (2016)
About Aboutness (2015)
Towards an Ontology of Philosophy (2015)
Why I Am No Longer A Philosopher (2006)

Video Debates

Debate with John Sowa on Top-Level Ontology (2019)
Debate with John Searle on Free-Standing Y-Terms (2003)

Video Training Materials

Ontology of Space Systems (2020)
Basic Formal Ontology Tutorial (2019) - Slides
Ontology for Systems Engineering (2018)
Drill (2018)
Building Ontologies: An Introduction for Engineers (2017)
Analytic Metaphysics (Lecture Couse) (2016)
Semantics for Biodiversity (2013)
From BFO to the Information Artifact Ontology (2009)
Introduction to Ontology (2009)
Introduction to Biomedical Ontologies (2008)

FORMAL ONTOLOGY

Basic Formal Ontology (BFO)

Common Core Ontologies (CCO)

Information Ontologies

A Realist Logic with Applications

Aboutness: Towards Foundations for the Information Artifact Ontology

Guidelines for Writing Definitions

Granular Partitions

Fiat Objects

Dependence Relations

Mereotopology

Functions in Basic Formal Ontology

Framework for Formal Ontology

ONTOLOGY DEVELOPMENT

Ontological Realism

Ontology Terminology

Ontology as Reality Representation

Ontology: An Introduction

Referent Tracking

Ontology (Science)

INDUSTRIAL ONTOLOGY

Industrial Ontologies Foundry (IOF)

Video Introduction to the Industrial Ontologies Foundry

BFO-Based Engineering Ontologies

Common Core Ontologies for Data Integration

Development of a Manufacturing Ontology for Fuctionally Graded Materials

Overview of BFO for the Industrial Ontologies Foundry

BIOMEDICAL ONTOLOGY AND TERMINOLOGY

Open Biomedical Ontologies (OBO) Foundry

Electronic Health Records and Medical Terminologies

Infectious Disease Ontology

Biomedical Imaging Ontologies

Neurological Disease Ontology

Ontology of Biological and Clinical Statistics

HL7 Watch / FHIR and Ontology

Ontology for Biomedical Investigations

BIOLOGICAL ONTOLOGY

Gene Ontology

Protein Ontology

Plant Ontology

Biodiversity

Embryontology

The Non-Coding RNA Ontology (NCRO)

GEOSPATIAL ONTOLOGY

Geographic Ontology
Buffalo Geographic Norms

Do Mountains Exist?

Ontological Tools for Geographic Representation

Ontology of Real Estate

The Ontology of the Eruv

Environment Ontology

INTELLIGENCE, DEFENSE AND SECURITY ONTOLOGY

Ontology for the Intelligence Analyst

Data Integration through Semantic Enhancement

Horizontal Integration of Intelligence Data

Joint Doctrine Ontology and Military Information Systems Interoperability

Ontology-Based Fusion of Sensor Data and Natural Language

IAO-Intel: An Ontology of Information Artifacts in the Intelligence Domain

Ontology for Navy Systems Engineering

Space Object Ontology

Ontological Support for Living Plan Specification, Execution and Evaluation

COGNITIVE, LINGUISTIC AND SOCIAL ONTOLOGY

Emotion Ontology

Mental Functioning Ontology

Ontology of Mental Disease

Information Artifact Ontology

Roman Ingarden:
Ontology and Theory of Literature

Speech Act Theory

Document Acts / Document Ontology

Reference and Intentionality

Social Objects / Austrian Economics

PHILOSOPHICAL ONTOLOGY

Against Fantology

The Philosophome

Truthmakers

BOOKS

John Searle
The Cambridge Companion to Husserl
Austrian Economics

Handbook of Metaphysics and Ontology

Building Ontologies with Basic Formal Ontology