Difference between revisions of "BFO 2011"
Jump to navigation
Jump to search
m |
m |
||
Line 8: | Line 8: | ||
'''Date:''' November 10-11, 2011 | '''Date:''' November 10-11, 2011 | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
+ | ---- | ||
+ | '''Goal of This Meeting | ||
---- | ---- | ||
'''Tentative Agenda''' | '''Tentative Agenda''' | ||
Line 94: | Line 19: | ||
General issues: | General issues: | ||
− | :The BFO | + | :The BFO Reference Guide and BFO-OWL strategy |
:Rules for definitions | :Rules for definitions | ||
:Rules for defined classes and abbreviations | :Rules for defined classes and abbreviations | ||
Line 104: | Line 29: | ||
12pm Lunch | 12pm Lunch | ||
− | 1pm BFO | + | 1pm BFO Continuant |
− | : | + | :Material entity; energy; field; portion of matter |
− | + | :Object; fiat object part; object aggregate | |
− | : | + | :Quality; reciprocal quality pair; relational quality; state |
− | :Specifically dependent | + | ::wavelength, frequency |
+ | :Realizable dependent continuant; disposition and its subcategories; reciprocal disposition pair | ||
+ | ::Physical basis | ||
+ | :Specifically dependent continuant and generically dependent continuant | ||
+ | ::GDC as bearer of quality | ||
+ | :Dependence; inherence | ||
*Moderator: BS | *Moderator: BS | ||
Line 115: | Line 45: | ||
3.30pm | 3.30pm | ||
− | BFO | + | BFO Occurrent |
− | :Predicates applied to processes | + | :Predicates applied to processes |
− | :Course / life / history | + | ::rates |
+ | ::flows | ||
+ | :Course / life / history / projection | ||
*Moderator: BS | *Moderator: BS | ||
Line 126: | Line 58: | ||
:Relations, including short-cut relations | :Relations, including short-cut relations | ||
+ | :Axioms relating to relations | ||
*Moderator: AR | *Moderator: AR | ||
Revision as of 09:10, 28 October 2011
Basic Formal Ontology Editorial Meeting
Venue: Center of Excellence in Bioinformatics and Life Sciences
Date: November 10-11, 2011
Goal of This Meeting
Tentative Agenda
Thursday November 10
9am General issues:
- The BFO Reference Guide and BFO-OWL strategy
- Rules for definitions
- Rules for defined classes and abbreviations
- Governance
- Moderator: BS
10am Coffee
12pm Lunch
1pm BFO Continuant
- Material entity; energy; field; portion of matter
- Object; fiat object part; object aggregate
- Quality; reciprocal quality pair; relational quality; state
- wavelength, frequency
- Realizable dependent continuant; disposition and its subcategories; reciprocal disposition pair
- Physical basis
- Specifically dependent continuant and generically dependent continuant
- GDC as bearer of quality
- Dependence; inherence
- Moderator: BS
2.15pm Coffee
3.30pm BFO Occurrent
- Predicates applied to processes
- rates
- flows
- Course / life / history / projection
- Moderator: BS
Friday November 11 9am BFO OWL
- Relations, including short-cut relations
- Axioms relating to 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