Basic Formal Ontology 2.0: Difference between revisions
mNo edit summary |
mNo edit summary |
||
| Line 27: | Line 27: | ||
:*BFO in OWL | :*BFO in OWL | ||
:::Uses of BFO in OWL | :::Uses of BFO in OWL | ||
:*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. | 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. | ||
| Line 32: | Line 33: | ||
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 in the [http://ncorwiki.buffalo.edu/index.php/Introduction_to_Prot%C3%A9g%C3%A9 Introduction to Protégé] course is encouraged. | ||
'''PARTICIPATION:''' | '''PARTICIPATION:''' | ||
| Line 47: | Line 44: | ||
::Course credits can be applied to the UB [http://philosophy.buffalo.edu/graduate/areas_of_study/ma_ontology/ Masters] and [http://philosophy.buffalo.edu/graduate/areas_of_study/phd_ontology/ 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 [mailto:phismith@buffalo.edu Barry Smith] | ::Course credits can be applied to the UB [http://philosophy.buffalo.edu/graduate/areas_of_study/ma_ontology/ Masters] and [http://philosophy.buffalo.edu/graduate/areas_of_study/phd_ontology/ 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 [mailto:phismith@buffalo.edu Barry Smith] | ||
::Registration details for University at Buffalo (UB) students are [http://myub.buffalo.edu/course/public/scripts/crs_sched.cgi?switch=showclass&semester=summer&division=NON&dept=PHI®num=12518 here]. | ::Registration details for University at Buffalo (UB) students are [http://myub.buffalo.edu/course/public/scripts/crs_sched.cgi?switch=showclass&semester=summer&division=NON&dept=PHI®num=12518 here]. | ||
::Registration details for external (non-UB) participants 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. | ::Registration details for external (non-UB) participants 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. | ||
Revision as of 15:12, 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
- 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 Participation in the Introduction to Protégé course is encouraged.
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.
