BFO 2011

Basic Formal Ontology Editorial Meeting

---

Venue: Center of Excellence in Bioinformatics and Life Sciences

Date: November 10-11, 2011

There is too much demand for an update, and I am confident that we can make considerable progress with an update, even if it is only to publish what has already been agreed on for clarificatory purposes, including stuff on material entity, fiat object parts, and the like. Even if BFO-OWL is not ready in time, we can publish the plans for it in general terms.

Also important are fields, energy,

I believe that we can publish already that both fields and energy are subtypes of material entity.

differentials,

not sure what these might be; you mean: that which is referred to by a differential equation?

axioms > relating to relations (the bearer of a realized realizable entity > participates in the realization),

we have various collections of such axioms; I will try to create a compendium for checking; I am deliberately creating time pressure because your strategy -- let us not make any moves until we have solved some really difficult problems -- is not leading us anywhere (partly because you yourself have other duties)

courses, projections,

I am sure that we will have solved this in time

interdependent > qualities (wavelength, frequency),

I think we already have this in BFO 1.0 -- certainly there is no reason why they should not be included as children of quality, just as we have interdependent children of disposition in our papers on the ontology of resistance in IDO

physical basis,

Am not sure that this should be a technical term Certainly it should not be a term in BFO Topic for discussion, anyway

"qualities of

> occurrents" (that works for more than periodic events - e.g. flows > too),

Here, too, I am confident that we will make some progress by Nov 11. I would be grateful for comments on the attached.

better fleshed out dependency relations,

Here, too, I am confident

a serious check that > the combination of material and immaterial continuants, part, > containment (and surrounds), location relations make sense, something > I doubt.

Agreed that we need to check this

> I don't expect that all of this is done in BFO next, but to see > *nothing* of these was upsetting.

> > Note that none of these issues bear on the OWL version - they are > preliminary to it. The main issue specific to the OWL version are the > temporalized relations, and these do not need any extension to BFO ev.

---

Tentative Agenda

Thursday November 10

9am General issues:

The BFO-FOL and BFO-OWL strategy

Rules for definitions

Rules for defined classes and abbreviations

Governance

• Moderator: BS

10am Coffee

12pm Lunch

1pm BFO FOL continuant

Treatment of Object/Fiat Object Part/Object aggregate

States

Sub-categories of disposition

Specifically dependent continuants and generically dependent continuants

• Moderator: BS

2.15pm Coffee

3.30pm BFO FOL Occurrent

Predicates applied to processes (rates, ...),

Course / life / history

• Moderator: BS

Friday November 11 9am BFO OWL

Relations, including short-cut relations

• Moderator: AR

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