Basic Formal Ontology 2.0: Difference between revisions
mNo edit summary |
mNo edit summary |
||
| Line 11: | Line 11: | ||
'''SCHEDULE:''' | '''SCHEDULE:''' | ||
<u>Saturday, August 18</u> | <u>Saturday, August 18: 9am-5pm</u> | ||
:*The main idea of BFO | :*The main idea of BFO | ||
:*The development of BFO 2.0 | :*The development of BFO 2.0 | ||
| Line 21: | Line 21: | ||
:::Processes and process profiles | :::Processes and process profiles | ||
<u>Sunday, August 19</u> | <u>Sunday, August 19: 9am-5pm</u> | ||
:*Examples of uses of BFO | :*Examples of uses of BFO | ||
:*Creating a domain ontology by extending BFO | :*Creating a domain ontology by extending BFO | ||
Revision as of 15:08, 11 June 2012
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: 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
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.
