Phd Position F - M Phd Position F - M Towards Automated Standpoint-Sensitive Reasoning H/F - INRIA

A propos d'Inria

Inria est l'institut national de recherche dédié aux sciences et technologies du numérique. Il emploie 2600 personnes. Ses 215 équipes-projets agiles, en général communes avec des partenaires académiques, impliquent plus de 3900 scientifiques pour relever les défis du numérique, souvent à l'interface d'autres disciplines. L'institut fait appel à de nombreux talents dans plus d'une quarantaine de métiers différents. 900 personnels d'appui à la recherche et à l'innovation contribuent à faire émerger et grandir des projets scientifiques ou entrepreneuriaux qui impactent le monde. Inria travaille avec de nombreuses entreprises et a accompagné la création de plus de 200 start-up. L'institut s'eorce ainsi de répondre aux enjeux de la transformation numérique de la science, de la société et de l'économie.
PhD Position F/M PhD Position F/M Towards Automated Standpoint-Sensitive Reasoning
Le descriptif de l'offre ci-dessous est en Anglais
Type de contrat : CDD

Niveau de diplôme exigé : Bac +5 ou équivalent

Fonction : Doctorant

A propos du centre ou de la direction fonctionnelle

The Centre Inria de l'Université de Grenoble groups together almost 450 people in 26 research teams and 9 research support departments.

Staff is present on three campuses in Grenoble, in close collaboration with other research and higher education institutions (Université Grenoble Alpes, CNRS, CEA, INRAE, ...), but also with key economic players in the area.

The Centre Inria de l'Université Grenoble Alpes is active in the fields of high-performance computing, verification and embedded systems, modeling of the environment at multiple levels, and data science and artificial intelligence. The center is a top-level scientific institute with an extensive network of international collaborations in Europe and the rest of the world

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 relative to diverse, possibly conflicting standpoints using modal operators. This allows heterogeneous sources to be safely integrated without sacrificing consistency. Recent results show that standpoint extensions of widely-used description logics such as EL and SHIQ preserve their original computational complexity, making the framework both expressive and attractive for applications [1-4].

Objectives

The main objective of this thesis is to establish efficient algorithms and develop reasoning support for Standpoint Logic and apply those to solving knowledge integration problems in the Semantic Web. Concretely, the work will include:

- OWL reasoning via DL translations: design and implement equisatisfiable translations from standpoint description logics (Standpoint-SHIQ, Standpoint-SROIQ) to their base DL, enabling the use of existing optimised OWL reasoners.
- Dedicated algorithms for standpoint reasoning: Establish algorithms based, for instance, on tableau methods or Datalog calculus. Implement and optimise reasoners based on those, either on top of high-performance Datalog engines or extending existing DL reasoners.
- Standpoint-aware ontology alignment: investigate how can SL support richer, multi-perspective alignments between ontologies and entities, going beyond the single unified output of classical matching. Results will be evaluated using synthetic data and/or benchmarks such as those from the Ontology Alignment Evaluation Initiative (OAEI).

Principales activités

- Literature review
- Writeresearch articles and thesis manuscript
- Proposealgorithmsforautomated reasoning tasks
- Develop and validate programs/applications
- Participate to seminars, workshopsand international conferences

Compétences

Languages : A good level of written and spoken English is required

Avantages

- Subsidized meals
- Partial reimbursement of public transport costs
- Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
- Possibility of teleworking and flexible organization of working hours
- Professional equipment available (videoconferencing, loan of computer equipment, etc.)
- Social, cultural and sports events and activities
- Access to vocational training
- Social security coverage under conditions

Rémunération

2300 euros gross salary /month