2013 BFO Meeting

From NCOR Wiki
Revision as of 18:11, 28 March 2013 by Phismith (talk | contribs)
Jump to navigationJump to search

Venue: Ramada Inn, Amherst, NY 14051

Date: May 13-14, 2013. The meeting will start with lunch at noon on May 13, and conclude with dinner on May 14.

This meeting is co-located with the PRO-PO-GO meeting, to be held on May 15-16, 2013.

Goals

The goal of the meeting is to finalize the BFO 2.0 specification and to resolve issues with BFO 2.0 OWL.

Topics to be covered will include:

A. The BFO 2.0 Specification

1. Survey of current users of BFO 2.0 with a view to identifying issues with the Specification, especially as concerns
  • Process profiles
  • BFO and IAO
  • Rigid vs. non-rigid types
2. Release strategy for the BFO 2.0 Specification
3. Plans to create a definitive paper on BFO 2.0

B. BFO 2.0 FOL

C. BFO 2.0 OWL

1. Issues with the current OWL version
2. Release strategy


The current draft version of the BFO 2.0 Specification is available here.

For further information please write to Barry Smith or see here.


Participants will include

Matthias Brochhausen (Arkansas)

Werner Ceusters (Buffalo)

Alexander Cox (Buffalo)

Randall Dipert (Buffalo)

Janna Hastings (EBI / Geneva)

William Hogan (Arkansas)

Leonard Jacuzzo (Buffalo)

Tatiana Malyuta (CUNY)

Darren Natale (Georgetown)

Fabian Neuhaus (NIST)

Alan Ruttenberg (Buffalo)

Barry Smith (Buffalo)

Background Reading

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.