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, designed as an authoritative documentation of the BFO ontology, 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, based on BFO Reference.


Tentative Agenda

Thursday November 10

9:00am Strategy for Future Development of BFO (Moderator: WC)

The BFO Reference
BFO-conformant extensions
Governance process
Universals and particulars
Rules for defined classes and abbreviations
Relations
inside BFO
outside BFO
Formalization
OWL, OBO, FOL
Definitions
Axioms
Versioning policies

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)

Janna Hastings: "From brain science to mind science with the Mental Functioning Ontology" Werner Ceusters: "The Mental Disease Ontology" Alex Diehl: "The Neurological Disease Ontology"

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

  • Thomas Bittner
  • Mathias Brochhausen
  • Werner Ceusters

"Randall Dipert

  • Alexander Diehl
  • Janna Hastings
  • Mark Jensen
  • Fabian Neuhaus
  • Mark Ressler
  • Alan Ruttenberg
  • Stefan Schulz
  • Barry Smith
  • Neil Williams

Remotely:

  • Larry Hunter
  • Chris Mungall