Basic Formal Ontology 2.0: Difference between revisions

From NCOR Wiki
Jump to navigationJump to search
mNo edit summary
 
(136 intermediate revisions by 2 users not shown)
Line 1: Line 1:
Summer 2012
== BFO OWL 2.0 ==
For BFO 2020 (= ISO standard) see [http://ncorwiki.buffalo.edu/index.php/BFO_2020 here]


1 Credit Hour
Release information on [https://github.com/bfo-ontology/BFO/wiki BFO github site]


Venue: NSC Room 215, University at Buffalo, North Campus
== VIDEO INTRODUCTION TO BFO 2.0 (2015) ==


REGISTRATION DETAILS FOR UB STUDENTS are [http://myub.buffalo.edu/course/public/scripts/crs_sched.cgi?switch=showclass&semester=summer&division=NON&dept=PHI&regnum=12518 here]
[https://www.youtube.com/watch?v=iTNQYyh88-Y Part One]


REGISTRATION DETAILS FOR NON-UB PERSONS WISHING TO TAKE THE COURSE FOR CREDIT are [http://ubthissummer.buffalo.edu/sessions/visiting-students.html here]; to find the course details go to Browse by Department, then to Philosophy, then scroll to the bottom of the page.
[https://www.youtube.com/watch?v=IMCBON2me3Y Part Two]


The above apply both to those participating in the course on-line and for those participating in Buffalo.
==BACKGROUND INFORMATION==


Course credits can be applied to the [http://philosophy.buffalo.edu/graduate/areas_of_study/phd/ UB Masters and PhD Programs in Ontology].
'''[http://www.ifomis.uni-saarland.de/bfo/ BFO Website]'''


For opportunities regarding on-line auditing of this course (not for credit), and for details about the University's planned on-line Advanced Graduate Certificate Program in Ontology please write to: [phismith@buffalo.edu].
For introductory reading see: Pierre Grenon and Barry Smith: "[http://ontology.buffalo.edu/smith/articles/SNAP_SPAN.pdf SNAP and SPAN: Towards Dynamic Spatial Ontology]", ''Spatial Cognition and Computation'', 4 (2004), 69-103.


The course will provide an introduction to the content of Basic Formal Ontology (BFO) and to the use of BFO in ontology development.  
For introductory reading on relations see: Barry Smith, Werner Ceusters, et al., “[http://genomebiology.com/2005/6/5/R46 Relations in Biomedical Ontologies]”, ''Genome Biology'' (2005), 6 (5), R46.


Topics to be treated will include:
For (optional) philosophical discussion of core BFO issues see: Barry Smith and Werner Ceusters, “[http://iospress.metapress.com/content/1551884412214u67/fulltext.pdf Ontological Realism as a Methodology for Coordinated Evolution of Scientific Ontologies]”, ''Applied Ontology'', 5 (2010), 139–188.
:*The BFO architecture
:*Instances and universals
:*Continuants and occurrents
:*Dependence and independence
:*Generic dependence and information entities
:*Processes and process profiles


The course will take place on the weekend of August 18-19, 2012, with follow-up meetings as necessary for those taking the course for credit.  
This paper contains some material pertaining to process profiles: “[https://philpapers.org/rec/SMICPA-5 Classifying Processes: An Essay in Applied Ontology]”, ''Ratio'', 25:4 (2012), 463-488.


Background information concerning BFO is available [http://www.ifomis.uni-saarland.de/bfo/ here  
And the paper [http://ontology.buffalo.edu/smith/articles/Material_Entities.pdf 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.
Participation in the [http://ncorwiki.buffalo.edu/index.php/Introduction_to_Prot%C3%A9g%C3%A9 Introduction to Protégé] course is strongly advised for those with no background in computational ontology development.
 
The current draft version of the BFO 2.0 Specification is available [https://github.com/BFO-ontology/BFO/raw/master/docs/bfo2-reference/BFO2-Reference.pdf here].
 
For further information please write to [mailto:phismith@buffalo.edu Barry Smith] or see [http://www.ifomis.uni-saarland.de/bfo/ here].
 
== DESCRIPTION ==
 
Basic Formal Ontology is currently being used by over 450 ontology-based research projects in biomedical informatics and increasingly in other fields. The course will provide an introduction to the content and use of BFO in ontology development. Attendees will acquire knowledge of the ontology and of its use as top-level ontology in multiple ontology development projects in a variety of fields. They will learn about the most recent developments in the ontology and acquire basic knowledge of the draft version 2.0.
 
The current version of the draft Specification and User Guide for BFO 2.0 is available [http://purl.obolibrary.org/obo/bfo/Reference here].
 
The current version of the draft BFO 2.0 OWL file is available [http://purl.obolibrary.org/obo/bfo.owl here]. Please read the [http://purl.obolibrary.org/obo/bfo/2012-07-20/ReleaseNotes release notes]
 
These links, and also further information concerning the draft BFO 2.0 release can be found at the BFO page here: https://github.com/BFO-ontology/BFO
 
[http://ncorwiki.buffalo.edu/index.php/WORKSHOP,_Buffalo,_August_18-19,_2012#WORKSHOP.2C_Buffalo.2C_August_18-19.2C_2012 BFO Workshop 2012]

Latest revision as of 12:19, 16 November 2023

BFO OWL 2.0

For BFO 2020 (= ISO standard) see here

Release information on BFO github site

VIDEO INTRODUCTION TO BFO 2.0 (2015)

Part One

Part Two

BACKGROUND INFORMATION

BFO Website

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 (optional) philosophical 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.

This paper contains some material pertaining to process profiles: “Classifying Processes: An Essay in Applied Ontology”, Ratio, 25:4 (2012), 463-488.

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.

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

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

DESCRIPTION

Basic Formal Ontology is currently being used by over 450 ontology-based research projects in biomedical informatics and increasingly in other fields. The course will provide an introduction to the content and use of BFO in ontology development. Attendees will acquire knowledge of the ontology and of its use as top-level ontology in multiple ontology development projects in a variety of fields. They will learn about the most recent developments in the ontology and acquire basic knowledge of the draft version 2.0.

The current version of the draft Specification and User Guide for BFO 2.0 is available here.

The current version of the draft BFO 2.0 OWL file is available here. Please read the release notes

These links, and also further information concerning the draft BFO 2.0 release can be found at the BFO page here: https://github.com/BFO-ontology/BFO

BFO Workshop 2012