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
- Member of the knowledge representation group.
- Member of ScaDS.AI (center for Scalable Data Analytics and Artificial Intelligence).
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