Quentin Manière

Transforming coffee into:

About

Postdoctoral researcher

I'm a postdoctoral researcher at the knowledge representation group in Leipzig University and a member of the center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI), located in Leipzig and Dresden.
My research focuses on knowledge representation and reasoning. I'm especially interested in ontology-mediated query answering and description logics ontologies.

  • Contact: quentin.maniere@uni-leipzig.de
  • Offices: P818 (at the Uni), D03.27 (at ScaDS)
  • Adress: Löhrs Carré
    Humboldtstraße 25
    04105 Leipzig
    Germany

Publications

International Conferences

C. Lutz, Q. Manière, R. Nolte. Querying Circumscribed Description Logic Knowledge Bases

KR 2023

PDF and BibTeX available here (or try this PDF and this BibTeX). Long version available on arXiv or directly here. Also presented at DL 2023 as an extended abstract.

M. Bienvenu, Q. Manière, M. Thomazo. Counting Queries over ELHI⊥ Ontologies

KR 2022

PDF and BibTeX available here (or try this PDF and this BibTeX). Long version available here. Also presented at DL 2022 as an extended abstract.

M. Bienvenu, Q. Manière, M. Thomazo. Cardinality queries over DL-Lite ontologies

IJCAI 2021

PDF and BibTeX available here (or try this PDF and this BibTeX). Long version available here. Also presented at DL 2021 and BDA 2021 as extended abstracts.

M. Bienvenu, Q. Manière, M. Thomazo. Answering Counting Queries over DL-Lite Ontologies

IJCAI 2020

PDF and BibTeX available here (or try this PDF and this BibTeX). Long version available here. Also presented at DL 2020 as an extended abstract.

National Conferences

M. Bienvenu, Q. Manière, M. Thomazo. Cardinality queries over DL-Lite ontologies (Extended Abstract)

BDA 2021

Proceedings available here (or try this PDF). Extended abstract of our IJCAI 2021 paper “Cardinality queries over DL-Lite ontologies”.

International Workshops

C. Lutz, Q. Manière, R. Nolte. Querying Circumscribed Description Logic Knowledge Bases (Extended Abstract)

DL 2023

Proceedings to appear soon (or try this PDF). Extended abstract of our KR 2023 paper “Querying Circumscribed Description Logic Knowledge Bases”.

M. Bienvenu, Q. Manière, M. Thomazo. Complexity Landscape for Counting Queries (Extended Abstract)

DL 2022

PDF available here (or try this PDF). Extended abstract of our KR 2022 paper “Counting Queries over ELHI⊥ Ontologies” (yes, it's misleading :P).

M. Bienvenu, Q. Manière, M. Thomazo. Counting Queries over ELHI⊥ Ontologies

DL 2021

PDF available here (or try this PDF). Here's also a BibTeX.

  • Received the “Best Student Contribution Award”.

M. Bienvenu, Q. Manière, M. Thomazo. Cardinality queries over DL-Lite ontologies (Extended Abstract)

DL 2021

PDF available here (or try this PDF). Extended abstract of our IJCAI 2021 paper “Cardinality queries over DL-Lite ontologies”.

M. Bienvenu, Q. Manière, M. Thomazo. Answering Counting Queries over DL-Lite Ontologies (Extended Abstract)

DL 2020

PDF available here (or try this PDF). Extended abstract of our IJCAI 2020 paper “Answering Counting Queries over DL-Lite Ontologies”.

Ph.D. dissertation

Q. Manière. Counting Queries in Ontology-Based Data Access

University of Bordeaux, France, 2022

Under the direction of M. Bienvenu and M. Thomazo. PDF and BibTeX available here (or try this PDF and this BibTeX).

Teaching

Ontologies and description logics

Enseirb-Matmeca, 3rd year (M2), 2021-2022

Computer networking

University of Bordeaux, L2, 2021-2022

Introduction to computer science

University of Bordeaux, L1, 2021-2022

Database management systems

Enseirb-Matmeca, 3rd year (M2), 2020-2021

Functional programming

Enseirb-Matmeca, 2nd year (M1), 2020-2021

Logic and proofs

Enseirb-Matmeca, 1st year (L3), 2020-2021

Cryptography

Enseirb-Matmeca, 2nd year (M1), 2019-2020

Object-oriented programming

Enseirb-Matmeca, 2nd year (M1), 2019-2020

Logic and proofs

Enseirb-Matmeca, 1st year (L3), 2019-2020

Education & Academic positions

Post-Doc

2022 - Today

Leipzig University, Leipzig, Germany

Ph.D. in Computer Science

2019 - 2022

University of Bordeaux, Talence, France

  • Member of the RATIO team (Reasoning with data, knowledge, and constraints).
  • Member of the CQFD project (Complex ontological queries over federated and heterogeneous data)

Master in Mathematical Logic and Foundations of Computer Science

2018 - 2019

University Paris-Diderot (Paris VII), Paris, France

Master in Mathematics and “Agrégation de mathématiques”

2017 - 2018

University Paris-Sud (Paris XI), Orsay, France