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