2013 BFO Meeting: Difference between revisions
m (→Draft Schedule) |
m (→Draft Schedule) |
||
Line 47: | Line 47: | ||
:Issues with the BFO 2.0 OWL version | :Issues with the BFO 2.0 OWL version | ||
:including | :including the treatment of time and relations in BFO 2.0 OWL | ||
12:30 Lunch | 12:30 Lunch |
Revision as of 15:16, 15 April 2013
Venue: Ramada Inn, Amherst, NY 14051
Date: May 13-14, 2013.
This meeting is co-located with the PRO-PO-GO meeting, to be held on May 15-16, 2013.
Goal
The goal of the meeting is to assess the current state of the BFO 2.0 Specification and to consider proposals regarding BFO 2.0 OWL. As the OWL working group formally decided not to meet at this time, work on BFO 2.0 OWL will contribute to subsequent meetings of this group, but decisions that require vote will not be taken.
Draft Schedule
Monday, May 13, 2013
11:30 Registration
12:00 Lunch
12:30 The BFO 2.0 Specification
- 1. Brief introduction (Barry Smith)
- 2. Role of BFO 2.0 Specification in relation to BFO 2.0 FOL, CLIF and OWL
- 3. Reports from current users of BFO 2.0
- CHEBI's experience with BFO 2.0 (Janna Hastings)
14:30 Break
- 4. Issues with the Specification, especially as concerns
- Need for a shorter and more user-friendly version
- Process profiles
- Granularity
- Rigid vs. non-rigid types
- BFO and range of IAO:aboutness
- See also list here
18:00 Dinner
Tuesday, May 14, 2013
9:00 BFO 2.0 FOL
10:30 Break
11:00 BFO 2.0 OWL
- Issues with the BFO 2.0 OWL version
- including the treatment of time and relations in BFO 2.0 OWL
12:30 Lunch
13:00 Issues with the BFO 2.0 OWL version (continued)
14:30 Break
15:00 Spatial Relations
- BFO and anatomy
- location
- fiat boundary
- holes
16:30 Plans to create a paper on BFO
18:00 Dinner
Background Reading
The current draft version of the BFO 2.0 Specification is available here.
For further information please write to Barry Smith or see here.
For introductory reading see: Pierre Grenon and Barry Smith: "SNAP and SPAN: Towards Dynamic Spatial Ontology", Spatial Cognition and Computation, 4 (2004), 69-103.
For introductory reading on relations see: Barry Smith, Werner Ceusters, et al., “Relations in Biomedical Ontologies”, Genome Biology (2005), 6 (5), R46.
For discussion of core BFO issues see: Barry Smith and Werner Ceusters, “Ontological Realism as a Methodology for Coordinated Evolution of Scientific Ontologies”, Applied Ontology, 5 (2010), 139–188.
The paper here contains some material pertaining to process profiles: “Classifying Processes: An Essay in Applied Ontology”, Ratio, in press.
And the paper here contains material on the proposed BFO 2.0 classification of objects: “On Classifying Material Entities in Basic Formal Ontology”, in Interdisciplinary Ontology. Proceedings of the Third Interdisciplinary Ontology Meeting, Tokyo: Keio University Press, 2012, 1-13.
Participants
Judith Blake (Jackson Lab)
Matthias Brochhausen (Arkansas)
Werner Ceusters (Buffalo)
Alexander Cox (Buffalo)
Randall Dipert (Buffalo)
Janna Hastings (EBI / Geneva)
William Hogan (Arkansas)
Leonard Jacuzzo (Buffalo)
Mark Jensen (Buffalo)
Tatiana Malyuta (CUNY)
Darren Natale (Georgetown)
Fabian Neuhaus (NIST)
Alan Ruttenberg (Buffalo)
Stefan Schulz (Medical University of Graz)
Selja Seppälä (Buffalo)
Barry Smith (Buffalo)