* All times are based on Canada/Eastern EDT.

  • 8:30 AM

    Canada/Eastern

    8:30 AM - 9:30 AM EDT
    Atrium (Faculty of Science - D8 building)

    Breakfast

    9:30 AM

    Canada/Eastern

    9:30 AM - 10:15 AM 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 AM

    Canada/Eastern

    10:15 AM - 11:00 AM 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 AM

    Canada/Eastern

    11:00 AM - 11:30 AM EDT
    D7-2018 (Faculty of Sciences - Biology Department))

    Coffee Break

    11:30 AM

    Canada/Eastern

    11:30 AM - 12:15 PM 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 PM

    Canada/Eastern

    12:30 PM - 1:15 PM 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

    1:15 PM

    Canada/Eastern

    1:15 PM - 3:00 PM EDT
    Atrium (Faculty of Science - D8 building)

    Lunch

    3:30 PM

    Canada/Eastern

    3:30 PM - 6:00 PM 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