PhD Position F/M PhD Position F/M Towards Automated Standpoint-Sensitive Reasoning

Contexte et atouts du poste

This project will take place within the mOeX team at the INRIA centre at the University Grenoble Alpes. It will be funded by the ANR JCJC project SPARK (ANR-25-CE23-2478) coordinated by Lucía Gómez Álvarez.

Mission confiée

Context and background

Achieving knowledge interoperability — the integration of independently developed ontologies, knowledge graphs, and databases — is a central challenge in the Semantic Web. These knowledge sources implicitly reflect the perspectives of their creators, leading to conflicts when merged. For example, one hospital may model a tumour as a cellular process, while a laboratory annotates it as a lump of tissue. Naively merging these views yields an inconsistency that makes the combined knowledge base unusable for automated reasoning.

Standpoint Logic (SL) is a multi-modal logic, developed by the project coordinator, that represents knowledge...