Difference between revisions of "BFO 2011"
| Line 21: | Line 21: | ||
'''9:00am General issues (Moderator: WC)''' | '''9:00am General issues (Moderator: WC)''' | ||
| − | :The BFO Reference | + | :The BFO-Reference and BFO-OWL strategy |
:Definitions | :Definitions | ||
:Axioms | :Axioms | ||
| Line 34: | Line 34: | ||
'''10:15am Material entity (Moderator: BS)''' | '''10:15am Material entity (Moderator: BS)''' | ||
| − | :Object; fiat object part; object aggregate | + | :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 | 12pm Lunch | ||
Revision as of 04:37, 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
- Definitions
- Axioms
- Versions
- Relations inside BFO
- Relations outside the BFO domain
- 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