Difference between revisions of "BFO 2011"
| Line 5: | Line 5: | ||
'''Date:''' November 10-11, 2011 | '''Date:''' November 10-11, 2011 | ||
| − | |||
---- | ---- | ||
'''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 | + | To define a strategy for the future maintenance of Basic Formal Ontology. To create a BFO Reference, designed as an authoritative documentation of the BFO ontology, 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, based on BFO Reference. |
---- | ---- | ||
| Line 19: | Line 18: | ||
'''9:00am General issues (Moderator: WC)''' | '''9:00am General issues (Moderator: WC)''' | ||
| − | :The BFO | + | :The BFO Reference |
| + | :BFO-conformant extensions | ||
| + | ::Governance process | ||
| + | :Universals and particulars | ||
| + | :Rules for defined classes and abbreviations | ||
:Relations | :Relations | ||
::inside BFO | ::inside BFO | ||
::outside BFO | ::outside BFO | ||
| − | ::: | + | :Formalization |
| − | :Definitions | + | ::OWL, OBO, FOL |
| − | :[http://userpages.umbc.edu/~fneuhaus/subquauni.pdf Axioms] | + | ::Definitions |
| − | : | + | ::[http://userpages.umbc.edu/~fneuhaus/subquauni.pdf Axioms] |
| − | + | :Versioning policies | |
| − | |||
'''10:00am Coffee''' | '''10:00am Coffee''' | ||
| Line 48: | Line 50: | ||
:Quality; | :Quality; | ||
| − | ::Reciprocal quality pair | + | ::Reciprocal quality pair |
| − | ::Relational quality | + | ::Relational quality |
::State | ::State | ||
::Comparison of qualities | ::Comparison of qualities | ||
| Line 71: | Line 73: | ||
Ontology (MDO) and the Neurological Disease Ontology (NDO)(Moderator: Alex Diehl)''' | Ontology (MDO) and the Neurological Disease Ontology (NDO)(Moderator: Alex Diehl)''' | ||
| − | + | Janna Hastings: "From brain science to mind science with the Mental Functioning Ontology" | |
| + | Werner Ceusters: "The Mental Disease Ontology" | ||
| + | Alex Diehl: "The Neurological Disease Ontology" | ||
Friday November 11 | Friday November 11 | ||
| Line 92: | Line 96: | ||
'''Participants''' | '''Participants''' | ||
| + | *Thomas Bittner | ||
*Mathias Brochhausen | *Mathias Brochhausen | ||
*Werner Ceusters | *Werner Ceusters | ||
| + | "Randall Dipert | ||
*Alexander Diehl | *Alexander Diehl | ||
*Janna Hastings | *Janna Hastings | ||
*Mark Jensen | *Mark Jensen | ||
| + | *Fabian Neuhaus | ||
*Mark Ressler | *Mark Ressler | ||
*Alan Ruttenberg | *Alan Ruttenberg | ||
*Stefan Schulz | *Stefan Schulz | ||
*Barry Smith | *Barry Smith | ||
| + | *Neil Williams | ||
'''Remotely:''' | '''Remotely:''' | ||
Revision as of 06:46, 29 October 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, designed as an authoritative documentation of the BFO ontology, 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, based on BFO Reference.
Tentative Agenda
Thursday November 10
9:00am General issues (Moderator: WC)
- The BFO Reference
- BFO-conformant extensions
- Governance process
- Universals and particulars
- Rules for defined classes and abbreviations
- Relations
- inside BFO
- outside BFO
- Formalization
- OWL, OBO, FOL
- Definitions
- Axioms
- Versioning policies
10:00am Coffee
10:15am Material entity (Moderator: BS)
- Object; fiat object part; object aggregate
- Conjoined twins
- Atoms, molecules
- Bodies of energy; fields; portions of matter
- Spatial regions
- Sites
- Object boundaries
- Granularity
12pm Lunch
1pm BFO Dependent Continuant (Moderator: BS)
- Quality;
- Reciprocal quality pair
- Relational quality
- State
- Comparison of qualities
- 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
2.30pm Break
2.45pm BFO Occurrent (Moderator BS)
- Predicates applied to processes
- Rates
- Flows
- Course / life / history / projection
4:00pm Special session on the Mental Functioning Ontology (MFO), the Mental Disease Ontology (MDO) and the Neurological Disease Ontology (NDO)(Moderator: Alex Diehl)
Janna Hastings: "From brain science to mind science with the Mental Functioning Ontology" Werner Ceusters: "The Mental Disease Ontology" Alex Diehl: "The Neurological Disease Ontology"
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 Incorporation of RCC8 and Allen Calculus?
Participants
- Thomas Bittner
- Mathias Brochhausen
- Werner Ceusters
"Randall Dipert
- Alexander Diehl
- Janna Hastings
- Mark Jensen
- Fabian Neuhaus
- Mark Ressler
- Alan Ruttenberg
- Stefan Schulz
- Barry Smith
- Neil Williams
Remotely:
- Larry Hunter
- Chris Mungall