BFO 2011

From NCBO Wiki
Revision as of 10:10, 28 October 2011 by Phismith (talk | contribs)
Jump to navigation Jump to search

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