BFO 2011

Basic Formal Ontology Editorial Meeting

Venue: Room B1-360, Ground Floor, Center of Excellence in Bioinformatics and Life Sciences

Date: November 10-11, 2011

---

Goal of This Meeting

To define a strategy for the future maintenance of Basic Formal Ontology. To create a BFO Reference, designed as an authoritative documentation of the BFO ontology, including an updated version of the BFO 1.0 taxonomy together with the top level relations of the Relation Ontology. To define a strategy to create BFO OWL, including a treatment of temporal relations, based on BFO Reference.

---

Tentative Agenda

Thursday November 10

9:00am Strategy for Future Development of BFO (Moderator: WC)

The BFO Reference

Universals and particulars

Granularity and vagueness

Reductionism and perspectivalism

BFO-conformant extensions

Governance process

Rules for defined classes and abbreviations

Relations

inside BFO

outside BFO

Formalization

OWL, OBO, FOL

Definitions

Axioms

10:00am Coffee

10:15am Material entity (Moderator: BS)

Object; fiat object part; object aggregate

Conjoined twins

Atoms, molecules

Bodies of energy; fields; portions of matter

Sites

The Environment Ontology

Geographical entities

Object boundaries

Spatial region boundaries

Granularity

12:00pm Lunch

1pm BFO Dependent Continuant (Moderator: BS)

Dependence, inherence

Quality;

Reciprocal quality pair

Relational quality

State

Comparison of qualities

Wavelength, frequency

Realizable dependent continuant

Disposition and its subcategories

Reciprocal disposition pair

Relational disposition

Physical basis

Generically dependent continuant (GDC)

GDC as bearer of quality

2.30pm Break

2.45pm BFO Occurrent (Moderator BS)

Predicates applied to processes

Rates

Flows

Course / life / history / projection

4:00-6:00pm Special session on Mental and Neurological Ontologies (Moderator: Alex Diehl)

Janna Hastings: From brain science to mind science with the Mental Functioning Ontology (MFO)

Werner Ceusters: The Mental Disease Ontology (MDO)

Alex Diehl: The Neurological Disease Ontology (NDO)

Friday November 11

9am BFO OWL (Moderator AR)

Relations, including short-cut relations

Axioms relating to relations

10:00am Coffee

Other aspects of BFO OWL

12:00pm Lunch

1:00pm Regions (Moderator WC)

Spatial region

Spatio-temporal and temporal region

Region and frame of reference

Incorporation of RCC8 and Allen Calculus?

3:00pm Final Session on Future Plans (Moderator BS)

BFO-Reference

Versioning

Governance

---

Participants

• Thomas Bittner
• Mathias Brochhausen
• Werner Ceusters
• Alexander Cox
• Randall Dipert
• Alexander Diehl
• Albert Goldfain
• Janna Hastings
• Mark Jensen
• Fabian Neuhaus
• Mark Ressler
• Alan Ruttenberg
• Stefan Schulz
• Barry Smith
• Neil Williams