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: BS)
- The BFO Reference Guide and BFO-OWL strategy
- Definitions
- Axioms
- Versions
- 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