Basic Formal Ontology 2.0: Difference between revisions

From NCOR Wiki
Jump to navigationJump to search
mNo edit summary
mNo edit summary
Line 7: Line 7:
'''DESCRIPTION:'''  
'''DESCRIPTION:'''  


The course will provide an introduction to the content of Basic Formal Ontology (BFO) and to the use of BFO in ontology development.  
Basic Formal Ontology is currently being used by over 100 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.  


'''SCHEDULE:'''
'''SCHEDULE:'''
Line 29: Line 29:
:*Concluding discussion
:*Concluding discussion


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.
Background information concerning BFO is available [http://www.ifomis.uni-saarland.de/bfo/ here].  
 
Background information concerning BFO is available [http://www.ifomis.uni-saarland.de/bfo/ here  
Participation in the [http://ncorwiki.buffalo.edu/index.php/Introduction_to_Prot%C3%A9g%C3%A9 Introduction to Protégé] course is encouraged.


'''PARTICIPATION:'''  
'''PARTICIPATION:'''  


This tutorial allows both face-to-face and on-line participation. Participation may be for credit (with an official university transcript), or the tutorial may be audited (with a certificate of completion if needed).   
Participants should have some background in ontology (including either philosophical or applied ontology). No specific knowledge of BFO is presupposed. This tutorial allows both face-to-face and on-line participation. Participation may be for credit (with an official university transcript), or the tutorial may be audited (with a certificate of completion if needed). 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.
   


'''FOR CREDIT:'''  
'''FOR CREDIT:'''


Participation in this tutorial will yield 1 credit hour; up to 3 further credit hours for thie course can be received through completion of a project under the guidance of an assigned faculty member. Projects must be completed before November 30, 2012.   
Participation in this tutorial will yield 1 credit hour; up to 3 further credit hours for thie course can be received through completion of a project under the guidance of an assigned faculty member. Projects must be completed before November 30, 2012.   
Line 50: Line 48:
'''AUDITING:'''  
'''AUDITING:'''  


Auditing, both on-line and face-to-face, is free to pre-registered participants. All those wishing to register should contact [mailto:phismith@buffalo.edu Barry Smith] as soon as possible.
Auditing, both on-line and face-to-face, is free to pre-registered participants. All those wishing to register as auditors should contact [mailto:phismith@buffalo.edu Barry Smith] as soon as possible.
 
Participation in the [http://ncorwiki.buffalo.edu/index.php/Introduction_to_Prot%C3%A9g%C3%A9 Introduction to Protégé] course is encouraged.

Revision as of 15:46, 11 June 2012

Saturday and Sunday, August 18-19, 2012.

VENUE:

Room14A, Basement, Baldy Hall, University at Buffalo North Campus.

DESCRIPTION:

Basic Formal Ontology is currently being used by over 100 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.

SCHEDULE:

Saturday, August 18: 9am-5pm

  • The main idea of BFO
  • The development of BFO 2.0
  • The BFO architecture
Instances and universals
Continuants and occurrents
Dependence and independence
Generic dependence and information entities
Processes and process profiles

Sunday, August 19: 9am-5pm

  • Examples of uses of BFO
  • Creating a domain ontology by extending BFO
  • BFO in First Order Logic
  • BFO in OWL
Uses of BFO in OWL
  • Concluding discussion

Background information concerning BFO is available here.

PARTICIPATION:

Participants should have some background in ontology (including either philosophical or applied ontology). No specific knowledge of BFO is presupposed. This tutorial allows both face-to-face and on-line participation. Participation may be for credit (with an official university transcript), or the tutorial may be audited (with a certificate of completion if needed). 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.


FOR CREDIT:

Participation in this tutorial will yield 1 credit hour; up to 3 further credit hours for thie course can be received through completion of a project under the guidance of an assigned faculty member. Projects must be completed before November 30, 2012.

Course credits can be applied to the UB Masters and PhD Programs in Ontology. The University plans also an on-line Advanced Graduate Certificate Program in Ontology, to which credits for this course will also be applicable. Further details can be obtained from Barry Smith
Registration details for University at Buffalo (UB) students are here.
Registration details for external (non-UB) participants are here; to find the course details go to Browse by Department, then to Philosophy, then scroll to the bottom of the page.

AUDITING:

Auditing, both on-line and face-to-face, is free to pre-registered participants. All those wishing to register as auditors should contact Barry Smith as soon as possible.

Participation in the Introduction to Protégé course is encouraged.