BFO 2011

From NCBO Wiki
Revision as of 10:13, 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 (Moderator: BS)

The BFO Reference Guide and BFO-OWL strategy
Rules for definitions
Rules for defined classes and abbreviations
Governance


10am Coffee

12pm Lunch

1pm BFO Continuant (Moderator: BS)

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
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 BS)

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