Basic Formal Ontology 2.0

From NCOR Wiki
Revision as of 15:07, 11 June 2012 by Phismith (talk | contribs)
Jump to navigationJump to search

Saturday and Sunday, August 18-19, 2012.

VENUE:

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

DESCRIPTION:

The course will provide an introduction to the content of Basic Formal Ontology (BFO) and to the use of BFO in ontology development.

SCHEDULE:

Saturday, August 18

  • 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

  • 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

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 Participation in the Introduction to Protégé course is encouraged.

DETAILED SCHEDULE:


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).

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 should contact Barry Smith as soon as possible.

Retrieved from "https://ncorwiki.buffalo.edu/index.php?title=Basic_Formal_Ontology_2.0&oldid=64767"