Difference between revisions of "BFO 2011"
m |
m |
||
| Line 4: | Line 4: | ||
---- | ---- | ||
| − | '''Venue:''' Center of Excellence in Bioinformatics and Life Sciences | + | '''Venue:''' [http://www.bioinformatics.buffalo.edu/about_directions.php Center of Excellence in Bioinformatics and Life Sciences] |
'''Date:''' November 10-11, 2011 | '''Date:''' November 10-11, 2011 | ||
| Line 10: | Line 10: | ||
---- | ---- | ||
| − | '''Goal of This Meeting | + | '''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''' | '''Tentative Agenda''' | ||
| Line 16: | Line 19: | ||
Thursday November 10 | Thursday November 10 | ||
| − | + | '''9:00am General issues (Moderator: BS)''' | |
| − | '''General issues (Moderator: BS)''' | ||
:The BFO Reference Guide and BFO-OWL strategy | :The BFO Reference Guide and BFO-OWL strategy | ||
| − | : | + | :Definitions |
| + | :Axioms | ||
| + | :Versions | ||
:Rules for defined classes and abbreviations | :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 | 12pm Lunch | ||
| − | '''1pm BFO Continuant (Moderator: BS)''' | + | '''1pm BFO Dependent Continuant (Moderator: BS)''' |
| − | |||
| − | |||
:Quality; reciprocal quality pair; relational quality; state | :Quality; reciprocal quality pair; relational quality; state | ||
::wavelength, frequency | ::wavelength, frequency | ||
| Line 52: | Line 57: | ||
Friday November 11 | Friday November 11 | ||
9am | 9am | ||
| − | '''BFO OWL (Moderator | + | '''BFO OWL (Moderator AR) |
:Relations, including short-cut relations | :Relations, including short-cut relations | ||
:Axioms relating to relations | :Axioms relating to relations | ||
| − | |||
| − | 10:00am Coffee | + | '''10:00am Coffee''' |
1pm | 1pm | ||
Revision as of 09:29, 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
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