Difference between revisions of "BFO 2011"
m |
|||
| Line 1: | Line 1: | ||
| − | |||
| Line 22: | Line 21: | ||
:The BFO-Reference and BFO-OWL strategy | :The BFO-Reference and BFO-OWL strategy | ||
| + | :Relations | ||
| + | ::inside BFO | ||
| + | ::outside BFO | ||
| + | :::Governance process for BFO-conformant extensions | ||
:Definitions | :Definitions | ||
:Axioms | :Axioms | ||
:Versions | :Versions | ||
| − | |||
| − | |||
:Universals and particulars | :Universals and particulars | ||
:Rules for defined classes and abbreviations | :Rules for defined classes and abbreviations | ||
Revision as of 05:04, 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
- 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