8:30 AM - 9:30 AM
Atrium (Faculty of Science - D8 building)
Schedule
* All times are based on Canada/Eastern EDT.
8:30 AM
Canada/Eastern
Breakfast
9:30 AM
Canada/Eastern
C2.1 Ontological Analysis III
Top-level ontologies: DOLCE and UFO Presented by Giancarlo Guizzardi
10:15 AM
Canada/Eastern
C2.2 Logical Foundations III
SROIQ in 2700 seconds: A crash course in description logics Presented by Oliver Kutz
11:00 AM
Canada/Eastern
Coffee Break
11:30 AM
Canada/Eastern
C2.3 Cognitive Aspects and Ontology I
Concept combination: Cognitive aspects and logical challenges Presented by Oliver Kutz
12:30 PM
Canada/Eastern
C2.4 Methods and Applications II
Towards principles and methods for good ontologies Presented by Maria Keet
1:15 PM
Canada/Eastern
Lunch
3:30 PM
Canada/Eastern
C2.5 BFO (Basic Formal Ontology) Tutorial
Introduction to Basic Formal Ontology Presented by Barry Smith
