Ontology engineering

Knowledge Representation and Reasoning (2015-2016)

Year: 2015-2016 Code: CS 247 Program: Computer Science Institution: KAUST Role: Instructor Topics: Ontology engineering, Applied Ontology

Applied Ontology (2016-2017)

Year: 2016-2017 Program: Computer Science Institution: KAUST Role: Instructor Topics: Applied Ontology, Ontology engineering

Knowledge Representation and Reasoning (2017-2018)

Year: 2017-2018 Code: CS 247 Program: Computer Science Institution: KAUST Role: Instructor Topics: Ontology engineering, Applied Ontology

Applied Ontology (2018)

Year: 2018 Program: Computer Science Institution: KAUST Role: Instructor Topics: Applied Ontology, Ontology engineering

Knowledge Representation and Reasoning (2020)

Year: 2020 Code: CS 247 Program: Computer Science Institution: KAUST Role: Instructor Topics: Ontology engineering, Applied Ontology, Neuro-symbolic AI

Knowledge Representation and Reasoning (2021)

Year: 2021 Code: CS 247 Program: Computer Science Institution: KAUST Role: Instructor Topics: Ontology engineering, Applied Ontology, Neuro-symbolic AI

Knowledge Representation and Reasoning (2022)

Year: 2022 Code: CS 247 Program: Computer Science Institution: KAUST Role: Instructor Topics: Ontology engineering, Applied Ontology, Neuro-symbolic AI

Knowledge Representation and Reasoning (2024)

Year: 2024 Code: CS 247 Program: Computer Science Institution: KAUST Role: Instructor Topics: Ontology engineering, Applied Ontology, Neuro-symbolic AI

Knowledge Representation and Reasoning (2026)

Year: 2026 Code: CS 247 Program: Computer Science Institution: KAUST Role: Instructor Topics: Ontology engineering, Applied Ontology, Neuro-symbolic AI
crg explainable ml ontologies

Towards sound, complete, and explainable machine learning with biomedical ontologies (CRG11)

Faithful, complete, and explainable machine-learning methods on biomedical ontologies. Grant URF/1/5041-01-01 activated Apr 2023. Period: 2023–2026 Funding KAUST Competitive Research Grant (CRG11) — Grant ID: URF/1/5041-01-01 (PI) Team Robert Hoehndorf — PI (KAUST (Professor of Computer Science)) Fernando Zhapa-Camacho — PhD (alumnus), Postdoc (KAUST) Mahdi Bu Ali — MSc (alumnus) Tengwei Song — Postdoc (KAUST) Software AbermOWL — Cloud-based federated reasoning system combining AberOWL with mOWL for symbolic + approximate neuro-symbolic reasoning over SROIQ(D). https://github.com/bio-ontology