Basic Formal Ontology 2.0: Difference between revisions
mNo edit summary |
mNo edit summary |
||
Line 11: | Line 11: | ||
Topics to be treated will include: | Topics to be treated will include: | ||
:*The main idea of BFO | :*The main idea of BFO | ||
:*The development of BFO 2.0 | |||
:*Examples of uses of BFO | :*Examples of uses of BFO | ||
:*The BFO architecture | :*The BFO architecture | ||
::Instances and universals | :::Instances and universals | ||
: | :::Continuants and occurrents | ||
: | :::Dependence and independence | ||
: | :::Generic dependence and information entities | ||
: | :::Processes and process profiles | ||
:*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. | 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. |
Revision as of 15:03, 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.
Topics to be treated will include:
- The main idea of BFO
- The development of BFO 2.0
- Examples of uses of BFO
- The BFO architecture
- Instances and universals
- Continuants and occurrents
- Dependence and independence
- Generic dependence and information entities
- Processes and process profiles
- 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.