Difference between revisions of "BFO 2011"
| Line 59: | Line 59: | ||
:Dependence; inherence | :Dependence; inherence | ||
| − | ''' | + | '''2.30pm Break''' |
| − | ''' | + | '''2.45pm BFO Occurrent (Moderator BS)''' |
:Predicates applied to processes | :Predicates applied to processes | ||
| Line 67: | Line 67: | ||
::Flows | ::Flows | ||
:Course / life / history / projection | :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)''' | ||
| + | |||
| + | '''6:00pm Close | ||
Friday November 11 | Friday November 11 | ||
| − | + | ||
| − | '''BFO OWL (Moderator AR) | + | '''9am BFO OWL (Moderator AR)''' |
:Relations, including short-cut relations | :Relations, including short-cut relations | ||
| Line 78: | Line 83: | ||
1pm | 1pm | ||
| − | Final determination of what should be in release of BFO | + | Final determination of what should be in release of BFO |
Incorporation of RCC8 and Allen Calculus? | Incorporation of RCC8 and Allen Calculus? | ||
| − | |||
| − | + | ||
| − | + | ||
| − | |||
| − | |||
---- | ---- | ||
Revision as of 06:39, 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 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: WC)
- The BFO-Reference and BFO-OWL strategy
- Relations
- inside BFO
- outside BFO
- Governance process for BFO-conformant extensions
- Definitions
- Axioms
- Versions
- Universals and particulars
- Rules for defined classes and abbreviations
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)
6:00pm Close
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
- Mathias Brochhausen
- Werner Ceusters
- Alexander Diehl
- Janna Hastings
- Mark Jensen
- Mark Ressler
- Alan Ruttenberg
- Stefan Schulz
- Barry Smith
Remotely:
- Larry Hunter
- Chris Mungall