2013 BFO Meeting: Difference between revisions

From NCOR Wiki
Jump to navigationJump to search
Line 12: Line 12:


<u>Monday, May 13, 2013</u>
<u>Monday, May 13, 2013</u>
11:30 Registration


12:00 Lunch   
12:00 Lunch   
Line 25: Line 27:
:4. Issues with the Specification, especially as concerns  
:4. Issues with the Specification, especially as concerns  


:*Need for a shorter and more user-friendly version
:*Process profiles  
:*Process profiles  
:*BFO and IAO
:*BFO and IAO
:*Rigid vs. non-rigid types
:*Rigid vs. non-rigid types
:See also list [http://code.google.com/p/bfo/issues/list here]


18:00 Dinner
18:00 Dinner
Line 59: Line 63:


16:30 Release strategy and plans to create a paper on BFO
16:30 Release strategy and plans to create a paper on BFO
18:00 Dinner


== Background Reading ==
== Background Reading ==

Revision as of 20:54, 14 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 finalize the BFO 2.0 specification and to address issues with BFO 2.0 OWL. As the OWL working group formally decided not to meet at this time, work on BFO OWL will contribute to subsequent meetings of that 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

14:30 Break

4. Issues with the Specification, especially as concerns
  • Need for a shorter and more user-friendly version
  • Process profiles
  • BFO and IAO
  • Rigid vs. non-rigid types
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 Issues with the BFO 2.0 OWL version (continued)

spatial relations, BFO and anatomy
location
fiat boundary
holes

16:30 Release strategy and 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)