* All times are based on Canada/Eastern EDT.

  • 08:30

    Canada/Eastern

    08:30 - 09:30 EDT
    Atrium (Faculty of Science - D8 building)

    Breakfast

    09:30

    Canada/Eastern

    09: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