WORKSHOP, Buffalo, August 18-19, 2012

WORKSHOP, Buffalo, August 18-19, 2012

• Smith slides

• Ruttenberg slides

Schedule

Saturday, August 18, 2012

Streaming video

• 9:00 The main principles underlying Basic Formal Ontology

What BFO is used for

BFO is an upper-level ontology

Ontological realism: an evidence-based strategy for ontology development

Starting point for downward population

Annotation of scientific and administrative data

Part storehouse of lessons learned, part QWERTY keyboard

Basis for common training

Works best under the hood

Brief history of BFO

Pre-History

Aristotle's Ontological Square

Edmund Husserl

Truthmakers

The Naive Physics Manifesto

Mereotopology

The Gene Ontology and the Foundational Model of Anatomy

BFO's competitors

DOLCE

SUMO

CYC

What BFO, DOLCE, SUMO, CYC have in common

Arguments in favor of using BFO

Important users of BFO

OBO Foundry

NIF Standard

OBI

IDO Consortium

Plant Ontology

Universal Core Semantic Layer

How BFO is constructed and maintained

Conservative evolution

Simplicity (two levels; no qualities of qualities)

Strict formality (no overlap with domain ontologies)

Asserted monohierarchy and inferred polyhierarchy

Truthmaker

Non-multiplicative (the statue is the portion of clay during the time when the latter has a certain role)

Perspectivalism

No reductionism, no phenomenalism

No 'context'

No meanings, fictions, non-existents

The Semiotic Triangle

No 'possible worlds'

No abstracta

How to deal with thoughts, beliefs, information artifacts

• 10:30 Break

• 11:00 Overview of BFO 1.0

Instances and universals

Continuants and occurrents

Dependent entities and independent entities

PATO qualities

Different kinds of relations

Symmetry, asymmetry and inverses

The all-some rule

What to do with probabilistic and other some-some relations?

Realizables

Roles

Dispositions and the treatment of modality

Functions

Added in BFO 1.1

Generically and specifically dependent continuants, concretizations, and relations of dependence

Information entities

• 12:30 Lunch

• 13:30 Introduction to OWL and to the Semantic Web (Alan Ruttenberg)

• 15:00 Break

• 15:30 Formalization of Basic Formal Ontology (Alan Ruttenberg)

Relations between the BFO Specification and BFO FOL, BFO CLIF, BFO OWL

BFO in First Order Logic

BFO in OWL

Applications of BFO in OWL

How to migrate from BFO 1.0 to BFO 2.0

The BFO 2.0 OWL temporalization strategy

• 16:00 New Features of BFO 2.0

The BFO 2.0 Specification and Its Status

Relation to FOL and OWL realizations

Definitions and elucidations

New treatment of Relations

Incorporation of top-level relations into BFO 2.0

Focus primarily on instance-instance relations

Added relation of concretization

A musical work and its performance

Sites and regions

Representation of boundaries

Frames of reference; space, time and spacetime

SpaceR, TimeR and Spacetime

Material and immaterial entities

Three subtypes of material entity: objects, object aggregates, and fiat object parts

Continuant fiat boundaries

Coordinate systems and frames of reference

Object aggregates and the member_of relation, with an application to groups and organizations

Cognitive selection in the realm of continuants

Granularity on the side of continuants

Modeling and simulation

Map-based partitions of reality and the fiat entities they create

Map layers

Cadaster

Environments and ecology

Habitats, niches

Partitions of occurrent reality

Partition sequences

Partitions and plans (two sorts of direction of fit)

Sunday, August 19, 2012

Streaming video

• 9:00 Process Profiles, Rates, and Process Measurement Data

Mutual dependence of qualities: The case of color

How quality instances change over time

Rigid and non-rigid universals

Universals and continuous change

Complete and partial processses

Lives and other histories

A top is spinning and simultaneously warming up

Process profiles as targets of process measurements

The Wiggers diagram

Cognitive selection

Quality process profiles

What did your temperature do since last night?

Rate process profiles

Relation to object aggregates

Other quantitative process profiles

Process profiles and time-series graphs

• 10:30 Break

• 11:00 Qualitative process profiles, granularity and the partitioning of reality

Map-based partitions of occurrent reality and the fiat entities they create

Weather

Granularity on the side of occurrents

Journalism, history

Napoleon's March to Moscow

Many map-based fiat entities existed trillions of years before the technology of maps

Music

Focusing on the cello part when you listen to a string quartet

Dance

Planning

Chess

Football

Experiments and experimental protocols

Language

Speech acts

Zeno Vendler

Accomplishments: processes which have an endpoint and are incremental or gradual (paint a picture, build a house)

Achievements: occur instantaneously (recognize, notice)

Basic Actions

• 12:00 Lunch

• 13:00 BFO Applied to Disease Slides

Creating a domain ontology by extending BFO

An overview of the Ontology for General Medical Science

Disease courses are process profiles

Occurrent symptoms are process profiles

• 14:30 Break

• 15:00 Concluding Discussion

• 17:00 Close

Participation details: BFO 2.0 Meeting August 18-19, 2012

See also program of workshop in Buffalo on May 13-14, 2013