BFO 2011

From NCBO Wiki
Jump to navigation Jump to search

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

The BFO Reference Guide and BFO-OWL strategy
Definitions
Axioms
Versions
Rules for defined classes and abbreviations

10:00am Coffee

10:15am Material entity (Moderator: BS)

Object; fiat object part; object aggregate
Energy; field; portion of matter

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