The full program for the ISAO 2023 Summer School is available.
Du 10 au 14 juillet 2023
Université de Sherbrooke, Sherbrooke, Québec, Canada

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
- Dates importantes et horaire
- Program Content
- Facilitateurs et facilitatrices
- Grille tarifaire
- Lettre d'invitation
- Événements associés
- Votre séjour
- Contact
- Organisation
- Responsables généraux
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

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




