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 Guide, 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.

---

Tentative Agenda

Thursday November 10

9:00am General issues (Moderator: WC)

The BFO Reference Guide and BFO-OWL strategy

Definitions

Axioms

Versions

Universals and particulars

Rules for defined classes and abbreviations

10:00am Coffee

10:15am Material entity (Moderator: BS)

Object; fiat object part; object aggregate

Energy; field; portion of matter

12pm Lunch

1pm BFO Dependent Continuant (Moderator: BS)

Quality; reciprocal quality pair; relational quality; state

wavelength, frequency

Realizable dependent continuant; disposition and its subcategories; reciprocal disposition pair

Physical basis

Generically dependent continuant (GDC)

GDC as bearer of quality

Dependence; inherence

3.00pm Break

3.15pm BFO Occurrent (Moderator BS)

Predicates applied to processes

Rates

Flows

Course / life / history / projection

Friday November 11 9am BFO OWL (Moderator AR)

Relations, including short-cut relations

Axioms relating to relations

10:00am Coffee

1pm Final determination of what should be in release of BFO FOL Incorporation of RCC8 and Allen Calculus? Moderator: Barry

3.30pm Special session on Mental Functioning Ontology, Mental Disease Ontology and Neurological Disease Ontology Moderator: Alex Diehl

---

Participants

• Mathias Brochhausen
• Werner Ceusters
• Alexander Diehl
• Janna Hastings
• Mark Jensen
• Mark Ressler
• Alan Ruttenberg
• Stefan Schulz
• Barry Smith

Remotely:

• Larry Hunter
• Chris Mungall