École d'été ISAO 2023

The full program for the ISAO 2023 Summer School is available.

Du 10 au 14 juillet 2023
Université de Sherbrooke, Sherbrooke, Québec, Canada

Faculté des sciences de l'Université de Sherbrooke

L’ Interdisciplinary School on Applied Ontology (ISAO) est le premier forum éducatif visant l'acquisition et l'approfondissement des connaissances dans le domaine de l'ontologie - ses fondements, ses applications et ses interconnexions avec des domaines connexes.

Sections de cette page

Public cible

  • Personnes étudiantes au doctorat;
  • Personnes postdoctorantes, chercheurs et chercheuses
  • Ontologistes provenant du milieu des affaires, de l'industrie et de la société.

D'éminents experts en ontologie appliquée, en ontologie formelle, en modélisation, en sémantique et d’autres domaines connexes offrent divers cours de base et s'engagent dans des communications interactives avec les personnes participantes afin de leur permettre d’approfondir leurs connaissances, offrant ainsi une expérience d'immersion complète dans l'ontologie appliquée pour tous les niveaux d'expertise. Jusqu'à présent, les animateurs sont Michael Gruniger, Giancarlo Guizzardi, Robert Hoehndorf, Maria Keet et Barry Smith (plus d'information ci-dessous).

Dates importantes et horaire

(à partir de la mi-mai 2023, sous réserve de modifications mineures dans les détails)

  • Ouverture des inscriptions : 1 mai 2023
  • Fin de l'inscription hâtive : 11 juin 2023 (UTC-4)
  • Fermeture des inscriptions : 11 juillet 2023
  • Événement du 10 au 14 juillet
    • environ 3 jours (10 - 12 juillet) de cours (plutôt introductifs);
    • environ 2 jours (13 et 14 juillet) de communications interactives (niveau débutant à avancé).

Program Content

Ontological Analysis

[Nicola Guarino, Giancarlo Guizzardi]

  • Methods of formal ontological analysis
  • Top-level ontological distinctions, categories and relations
  • Foundational ontologies
  • OntoUML hands-on

Introduction to the Basic Formal Ontology (BFO)

[Barry Smith]

  • Self-contained tutorial
  • Shared session with the EINS summer school

Logical Foundations

[Michael Gruninger, Oliver Kutz]

  • Introductory
    • Writing first-order logic (FOL) sentences
    • Proofs and models
    • Description logics (DLs), incl. relations to the Semantic Web
  • Advanced
    • Ontology verification
    • Concept combination, debugging, weakening in DL

Cognitive Aspects and Ontology

[Nicola Guarino, Giancarlo Guizzardi, Oliver Kutz]

  • Conceptual modeling and applied ontology
  • Concepts in cognitive science, semantics and philosophy

Methods and Applications

[Robert Hoehndorf, Maria Keet, Asiyah Yu Lin]

  • les applications
    • Developing good ontologies
    • Building ontologies hands-on
    • Machine learning/neuro-symbolic AI, semantic similarity and ont.
    • Ontology reviewing
  • Applications
    • Introduction to biomedical ontologies and their use
    • Bio-ontology tool demonstration
    • accès aux données basé sur l’ontologie;

Special Session

  • What are good applied ontology papers? (panel)

Social Program

  • Social dinner
  • Excursion
  • Pub quiz

Facilitateurs et facilitatrices

  • Michael Gruninger, Semantic Technologies Lab, Toronto, Canada
  • Nicola Guarino, Laboratory for Applied Ontology (LOA), ISTC-CNR, Trento, Italie
  • Giancarlo Guizzardi, Semantics, Cybersecurity and Services, Université de Twente, Pays-Bas
  • Robert Hoehndorf, Bio-Ontology Research Group, Université des sciences et technologies du roi Abdallah, Thuwal, Arabie Saoudite
  • Maria Keet, Knowledge Engineering, Cape Town, Afrique du Sud
  • Oliver KutzCognitive and Conceptual Modeling Research Group, Université libre de Bozen-Bolzano, Italie
  • Asiyah Yu Lin, Office of Data Science and Emerging Technologies, NIAID, NIH, Rockville, Maryland, États-Unis
  • Barry Smith, Department of Philosophy, University at Buffalo and National Center for Ontological Research, Buffalo, États-Unis

Grille tarifaire

Lettre d'invitation

Pour demander une lettre d'invitation pour ISAO 2023 une fois votre inscription faite, veuillez nous écrire à fois.2023@usherbrooke.ca en prenant soin d'indiquer votre adresse postale complète au travail.

Suite la réception de votre demande, veuillez allouer un délai de 3 jours ouvrables pour obtenir une réponse.

Événements associés

Ont lieu au même endroit :

  • précède la conférence FOIS 2023 (la conférence internationale sur l'ontologie formelle dans les systèmes d'information aura lieu sur place du 17 au 20 juillet et en ligne, du 18 au 20 septembre)
  • sessions sélectionnées partagées avec EINS 2023 (il s'agit de la première édition de l'École interdicisplinsire en numérique de la santé).
    (

En complément de ESAO, les Educational Series of Applied Ontology, une série continue de sessions éducatives virtuelles.

Votre séjour

Voir les détails sur la page Votre séjour.

Contact

 Pour plus d'information, veuillez envoyer un courriel à iaoa.isao2023@gmail.com

Campus de l'université de Sherbrooke

Organisation

La série ISAO est dirigée par l'International Association for Ontology and its Applications (IAOA) et a lieu tous les deux ans, conjointement avec la conférence FOIS, généralement dans la semaine qui la précède. ISAO 2023 est la cinquième édition (les éditions précédentes ont eu lieu en 2012, 2014, 2016 et 2018) et est organisée par l'Université de Sherbrooke, Québec, Canada.

Grâce au soutien du comité d'organisation locale composé de :

  • Sarah Bilodeau
  • Anne-Marie Cloutier
  • Maryse Couture
  • Jean-François Ethier
  • Karine Gagnon
  • Angèle Gosselin
  • Christina Khnaisser
  • Jeanne Morin

Responsables généraux

Frank Loebe, Université de Leipzig, Allemagne

Daniele Porello, Université de Gênes, Italie

Nos partenaires

Nos commanditaires

Destination Sherbrooke
cafe Geogene