Michaël Thomazo

67 papers A* 18A 3B 1C 1Journal 25Unranked 17
YearRankTypeTitle / Venue / Authors
2026 J jnl
No Cliques Allowed: The Next Step Towards BDD/FC Conjecture.
CoRR
Lucas Larroque, Piotr Ostropolski-Nalewaja, Michaël Thomazo
2025 — conf
Analysing Temporal Reasoning in Description Logics Using Formal Grammars (Extended Abstract).
DL
Camille Bourgaux, Anton R. Gnatenko, Michaël Thomazo
2025 A conf
Analysing Temporal Reasoning in Description Logics Using Formal Grammars.
ECAI
Camille Bourgaux, Anton R. Gnatenko, Michaël Thomazo
2025 J jnl
Analysing Temporal Reasoning in Description Logics Using Formal Grammars.
CoRR
Camille Bourgaux, Anton R. Gnatenko, Michaël Thomazo
2025 — conf
No Cliques Allowed: The Next Step Towards BDD/FC Conjecture (Extended Abstract).
DL
Lucas Larroque, Piotr Ostropolski-Nalewaja, Michaël Thomazo
2025 J jnl
No Cliques Allowed: The Next Step Towards BDD/FC Conjecture.
Proc. ACM Manag. Data
Lucas Larroque, Piotr Ostropolski-Nalewaja, Michaël Thomazo
2025 — conf
Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable (Extended Abstract).
DL
David Carral, Lucas Larroque, Michaël Thomazo
2025 — conf
Restricted Chase Termination: You Want More Than Fairness (Extended Abstract).
DL
David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo
2025 J jnl
Restricted Chase Termination: You Want More than Fairness.
CoRR
David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo
2025 J jnl
Restricted Chase Termination: You Want More than Fairness.
Proc. ACM Manag. Data
David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo
2025 J jnl
Toward Interpretable Evaluation Measures for Time Series Segmentation.
CoRR
Félix Chavelli, Paul Boniol, Michaël Thomazo
2024 A* conf
Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable.
KR
David Carral, Lucas Larroque, Michaël Thomazo
2023 — conf
Compact Query Rewritings for Ontology-Based Query Answering.
RW
Michaël Thomazo
2023 — book
Ontology-Based Query Answering: Expressivity and Extensions. (Interrogation de données au travers d'une ontologie: expressivité et extensions).
Michaël Thomazo
2022 A* conf
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract).
IJCAI
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
2022 — conf
Complexity Landscape for Counting Queries (Extended Abstract).
Description Logics
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2022 A* conf
Counting Queries over ELHI⊥ Ontologies.
KR
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2022 A* conf
Normalisations of Existential Rules: Not so Innocuous!
KR
David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo
2022 J jnl
Normalisations of Existential Rules: Not so Innocuous!
CoRR
David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo
2022 A* conf
Revisiting Semiring Provenance for Datalog.
KR
Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo
2022 J jnl
Revisiting Semiring Provenance for Datalog.
CoRR
Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo
2021 A* conf
Capturing Homomorphism-Closed Decidable Queries with Existential Rules.
KR
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
2021 J jnl
Capturing Homomorphism-Closed Decidable Queries with Existential Rules.
CoRR
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
2021 — conf
Cardinality Queries over DL-Lite Ontologies (Extended abstract).
Description Logics
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2021 A* conf
Cardinality Queries over DL-Lite Ontologies.
IJCAI
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2021 — conf
Counting Queries over ELHI⊥ Ontologies.
Description Logics
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2021 A* conf
Parallelisable Existential Rules: a Story of Pieces.
KR
Maxime Buron, Marie-Laure Mugnier, Michaël Thomazo
2021 J jnl
Parallelisable Existential Rules: a Story of Pieces.
CoRR
Maxime Buron, Marie-Laure Mugnier, Michaël Thomazo
2020 — conf
Answering Counting Queries over DL-Lite Ontologies (Extended Abstract).
Description Logics
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2020 A* conf
Answering Counting Queries over DL-Lite Ontologies.
IJCAI
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2020 J jnl
Answering Counting Queries over DL-Lite Ontologies.
CoRR
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2019 A conf
A Single Approach to Decide Chase Termination on Linear Existential Rules.
ICDT
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
2019 J jnl
On the height of towers of subsequences and prefixes.
Inf. Comput.
Stepan Holub, Tomás Masopust, Michaël Thomazo
2019 A* conf
Reasoning about Disclosure in Data Integration in the Presence of Source Constraints.
IJCAI
Michael Benedikt, Pierre Bourhis, Louis Jachiet, Michaël Thomazo
2019 J jnl
Reasoning about disclosure in data integration in the presence of source constraints.
CoRR
Michael Benedikt, Pierre Bourhis, Louis Jachiet, Michaël Thomazo
2018 — conf
A Single Approach to Decide Chase Termination on Linear Existential Rules.
Description Logics
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
2018 J jnl
A Single Approach to Decide Chase Termination on Linear Existential Rules.
CoRR
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
2017 A* conf
Answering Conjunctive Regular Path Queries over Guarded Existential Rules.
IJCAI
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Michaël Thomazo
2017 J jnl
Complexity of universality and related problems for partially ordered NFAs.
Inf. Comput.
Markus Krötzsch, Tomás Masopust, Michaël Thomazo
2017 J jnl
On Boolean combinations forming piecewise testable languages.
Theor. Comput. Sci.
Tomás Masopust, Michaël Thomazo
2017 J jnl
On the Height of Towers of Subsequences and Prefixes.
CoRR
Stepan Holub, Tomás Masopust, Michaël Thomazo
2016 J jnl
Complexity of Universality and Related Problems for Partially Ordered NFAs.
CoRR
Markus Krötzsch, Tomás Masopust, Michaël Thomazo
2016 A* conf
Expressivity of Datalog Variants - Completing the Picture.
IJCAI
Sebastian Rudolph, Michaël Thomazo
2016 J jnl
Mixed-instance querying: a lightweight integration architecture for data journalism.
Proc. VLDB Endow.
Raphaël Bonaque, Tien Duc Cao, Bogdan Cautis, François Goasdoué, Javier Letelier, Ioana Manolescu, Oscar Mendoza, Swen Ribeiro, Xavier Tannier, Michaël Thomazo
2016 — conf
On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules.
RR
Meghyn Bienvenu, Michaël Thomazo
2016 B conf
On the Complexity of Universality for Partially Ordered NFAs.
MFCS
Markus Krötzsch, Tomás Masopust, Michaël Thomazo
2015 A* conf
Characterization of the Expressivity of Existential Rule Queries.
IJCAI
Sebastian Rudolph, Michaël Thomazo
2015 C conf
On the Complexity of k-Piecewise Testability and the Depth of Automata.
DLT
Tomás Masopust, Michaël Thomazo
2015 J jnl
Sound, complete and minimal UCQ-rewriting for existential rules.
Semantic Web
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
2015 — conf
What Is a Reasonable Argumentation Semantics?
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Sarah Alice Gaggl, Sebastian Rudolph, Michaël Thomazo
2014 J jnl
Alternating Towers and Piecewise Testable Separators.
CoRR
Stepan Holub, Tomás Masopust, Michaël Thomazo
2014 — conf
An Introduction to Ontology-Based Query Answering with Existential Rules.
Reasoning Web
Marie-Laure Mugnier, Michaël Thomazo
2014 A conf
Mixing Materialization and Query Rewriting for Existential Rules.
ECAI
Michaël Thomazo, Sebastian Rudolph
2014 J jnl
On $k$-piecewise testability (preliminary report).
CoRR
Tomás Masopust, Michaël Thomazo
2014 J jnl
Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses.
CoRR
Sebastian Rudolph, Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier
2013 A* conf
Compact Rewritings for Existential Rules.
IJCAI
Michaël Thomazo
2013 — —
Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and Algorithms.
Michaël Thomazo
2013 — conf
On the Exploration of the Query Rewriting Space with Existential Rules.
RR
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
2013 A* conf
Ontology Based Query Answering with Existential Rules.
IJCAI
Michaël Thomazo
2013 J jnl
Sound, Complete and Minimal UCQ-Rewriting for Existential Rules.
CoRR
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
2013 A* conf
Sound, Complete, and Minimal Query Rewriting for Existential Rules.
IJCAI
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
2012 A* conf
A Generic Querying Algorithm for Greedy Sets of Existential Rules.
KR
Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
2012 — conf
A Sound and Complete Backward Chaining Algorithm for Existential Rules.
RR
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
2012 — conf
From EL to Tractable Existential Rules with Complex Role Inclusions.
Description Logics
Michaël Thomazo
2012 J jnl
On the complexity of entailment in existential conjunctive first-order logic with atomic negation.
Inf. Comput.
Marie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo
2011 — conf
Towards Farsighted Dependencies for Existential Rules.
RR
Jean-François Baget, Marie-Laure Mugnier, Michaël Thomazo
2011 A* conf
Walking the Complexity Lines for Generalized Guarded Existential Rules.
IJCAI
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo