Schedule

* All times are based on Canada/Eastern EDT.

    •

    Monday

    July 10

    Tuesday

    July 11

    Wednesday

    July 12

    Thursday

    July 13

    Friday

    July 14

    8:30

    Canada/Eastern
    8:30 - 9:30 EDT
    Atrium (Faculty of Science - D8 building)

    Breakfast

    9:30

    Canada/Eastern
    9:30 - 10:15 EDT
    D7-2018 (Faculty of Sciences - Biology Department))
      Conference

    C2.1 Ontological Analysis III

    Top-level ontologies: DOLCE and UFO Presented by Giancarlo Guizzardi

    10:15

    Canada/Eastern
    10:15 - 11:00 EDT
    D7-2018 (Faculty of Sciences - Biology Department))
      Conference

    C2.2 Logical Foundations III

    SROIQ in 2700 seconds: A crash course in description logics Presented by Oliver Kutz

    11:00

    Canada/Eastern
    11:00 - 11:30 EDT
    D7-2018 (Faculty of Sciences - Biology Department))

    Coffee Break

    11:30

    Canada/Eastern
    11:30 - 12:15 EDT
    D7-2018 (Faculty of Sciences - Biology Department))
      Conference

    C2.3 Cognitive Aspects and Ontology I

    Concept combination: Cognitive aspects and logical challenges Presented by Oliver Kutz

    12:30

    Canada/Eastern
    12:30 - 13:15 EDT
    D7-2018 (Faculty of Sciences - Biology Department))
      Conference

    C2.4 Methods and Applications II

    Towards principles and methods for good ontologies Presented by Maria Keet

    13:15

    Canada/Eastern
    13:15 - 15:00 EDT
    Atrium (Faculty of Science - D8 building)

    Lunch

    15:30

    Canada/Eastern
    15:30 - 18:00 EDT
    A8-122 (Faculty of Law A8 building)
      Conference

    C2.5 BFO (Basic Formal Ontology) Tutorial

    Introduction to Basic Formal Ontology Presented by Barry Smith

    Powered by